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

java.lang.Object
  edu.rice.cs.dynamicjava.symbol.TypeSystem.FunctionInvocation
      edu.rice.cs.dynamicjava.symbol.TypeSystem.MethodInvocation
          edu.rice.cs.dynamicjava.symbol.TypeSystem.ObjectMethodInvocation

Enclosing class:

TypeSystem

public static class TypeSystem.ObjectMethodInvocation
extends TypeSystem.MethodInvocation

The result of a non-static method lookup

Constructor Summary

TypeSystem.ObjectMethodInvocation(DJMethod method, Type returnType, Expression object, Iterable<? extends Type> typeArgs, Iterable<? extends Expression> args, Iterable<? extends Type> thrown)

Method Summary

Expression

object()

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

method, returnType

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

args, thrown, typeArgs

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeSystem.ObjectMethodInvocation

public TypeSystem.ObjectMethodInvocation(DJMethod method,
                                         Type returnType,
                                         Expression object,
                                         Iterable<? extends Type> typeArgs,
                                         Iterable<? extends Expression> args,
                                         Iterable<? extends Type> thrown)

Method Detail

object

public Expression object()

Returns:

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