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

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

Enclosing class:

TypeSystem

public static class TypeSystem.StaticMethodInvocation
extends TypeSystem.MethodInvocation

The result of a static method lookup

Constructor Summary

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

Method Summary

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.StaticMethodInvocation

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