| |
|
| de.uka.ilkd.key.java.reference.ReferencePrefix
All known Subclasses: de.uka.ilkd.key.java.reference.SuperReference, de.uka.ilkd.key.java.reference.MetaClassReference, de.uka.ilkd.key.java.expression.literal.StringLiteral, de.uka.ilkd.key.logic.op.ProgramVariable, de.uka.ilkd.key.java.expression.operator.New, de.uka.ilkd.key.java.expression.ParenthesizedExpression, de.uka.ilkd.key.java.reference.VariableReference, de.uka.ilkd.key.java.reference.ArrayReference, de.uka.ilkd.key.java.reference.ThisReference, de.uka.ilkd.key.java.reference.MethodReference, de.uka.ilkd.key.java.expression.operator.NewArray,
ReferencePrefix | public interface ReferencePrefix extends ProgramElement(Code) | | Reference prefix.
author: AutoDoc |
|
|
|