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

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

Direct Known Subclasses:

TypeSystem.ObjectMethodInvocation, TypeSystem.StaticMethodInvocation

Enclosing class:

TypeSystem

public abstract static class TypeSystem.MethodInvocation
extends TypeSystem.FunctionInvocation

Abstraction of the result of a static or non-static method lookup

Constructor Summary

protected

TypeSystem.MethodInvocation(DJMethod method, Type returnType, java.lang.Iterable<? extends Type> typeArgs, java.lang.Iterable<? extends Expression> args, java.lang.Iterable<? extends Type> thrown)

Method Summary

DJMethod	method()
Type	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.MethodInvocation

protected TypeSystem.MethodInvocation(DJMethod method,
                                      Type returnType,
                                      java.lang.Iterable<? extends Type> typeArgs,
                                      java.lang.Iterable<? extends Expression> args,
                                      java.lang.Iterable<? extends Type> thrown)

Method Detail

method

public DJMethod method()

Returns:

The reflection object corresponding to the invoked method

returnType

public Type returnType()

Returns:

The return type of the invocation (before capture)