Class SuperReference

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

public class SuperReference extends JavaExpression
A use of super.