edu.rice.cs.dynamicjava.symbol
Class TypeSystem.ObjectFieldReference

java.lang.Object
  edu.rice.cs.dynamicjava.symbol.TypeSystem.FieldReference
      edu.rice.cs.dynamicjava.symbol.TypeSystem.ObjectFieldReference

Enclosing class:

TypeSystem

public static class TypeSystem.ObjectFieldReference
extends TypeSystem.FieldReference

The result of a non-static field lookup

Constructor Summary

TypeSystem.ObjectFieldReference(DJField field, Type type, Expression object)

Method Summary

Expression

object()

Methods inherited from class edu.rice.cs.dynamicjava.symbol.TypeSystem.FieldReference

equals, field, hashCode, type

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeSystem.ObjectFieldReference

public TypeSystem.ObjectFieldReference(DJField field,
                                       Type type,
                                       Expression object)

Method Detail

object

public Expression object()

Returns:

The object whose field is accessed, wrapped in any necessary promotions so that the type is the type whose declared member is the matched field.