public interface CallOps extends ProcedureCallOps, ExprOps
Modifier and Type | Method and Description |
---|---|
Type |
findContainer(TypeSystem ts,
MethodInstance mi)
Used to find the missing static target of a static method call.
|
ReferenceType |
findTargetType() |
Node |
typeCheckNullTarget(TypeChecker tc,
java.util.List<Type> argTypes)
Typecheck the Call when the target is null.
|
printArgs
constantValue, constantValueSet, isConstant
Type findContainer(TypeSystem ts, MethodInstance mi)
ReferenceType findTargetType() throws SemanticException
SemanticException
Node typeCheckNullTarget(TypeChecker tc, java.util.List<Type> argTypes) throws SemanticException
argTypes
- list of Type
s of the argumentsSemanticException