| de.uka.ilkd.key.java.reference.ReferenceSuffix
All known Subclasses: de.uka.ilkd.key.java.reference.SuperReference, de.uka.ilkd.key.java.reference.SuperConstructorReference, de.uka.ilkd.key.java.reference.SchematicFieldReference, de.uka.ilkd.key.java.reference.MetaClassReference, de.uka.ilkd.key.logic.op.ProgramVariable, de.uka.ilkd.key.java.reference.FieldReference, de.uka.ilkd.key.java.expression.operator.New, de.uka.ilkd.key.logic.ProgramElementName, 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.reference.ArrayLengthReference,
|
|