Class MethodCall

java.lang.Object
org.checkerframework.dataflow.expression.JavaExpression
org.checkerframework.dataflow.expression.MethodCall

public class MethodCall extends JavaExpression
A call to a @Deterministic method.