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

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

Direct Known Subclasses:

TypeSystem.ConstructorInvocation, TypeSystem.MethodInvocation

Enclosing class:

TypeSystem

public abstract static class TypeSystem.FunctionInvocation
extends java.lang.Object

Abstraction of the result of a method or constructor lookup

Constructor Summary

protected

TypeSystem.FunctionInvocation(java.lang.Iterable<? extends Type> typeArgs, java.lang.Iterable<? extends Expression> args, java.lang.Iterable<? extends Type> thrown)

Method Summary

java.lang.Iterable<? extends Expression>	args()
java.lang.Iterable<? extends Type>	thrown()
java.lang.Iterable<? extends Type>	typeArgs()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeSystem.FunctionInvocation

protected TypeSystem.FunctionInvocation(java.lang.Iterable<? extends Type> typeArgs,
                                        java.lang.Iterable<? extends Expression> args,
                                        java.lang.Iterable<? extends Type> thrown)

Method Detail

typeArgs

public java.lang.Iterable<? extends Type> typeArgs()

Returns:

The (possible inferred) type arguments used in the invocation

args

public java.lang.Iterable<? extends Expression> args()

Returns:

The arguments, wrapped in any necessary promotions so that each expression has the same type as its corresponding formal parameter.

thrown

public java.lang.Iterable<? extends Type> thrown()

Returns:

The declared thrown types of the invocation