| de.uka.ilkd.key.java.Expression
All known Subclasses: de.uka.ilkd.key.java.reference.SuperReference, de.uka.ilkd.key.java.reference.MetaClassReference, de.uka.ilkd.key.java.expression.Literal, de.uka.ilkd.key.java.expression.ArrayInitializer, de.uka.ilkd.key.logic.op.ProgramVariable, de.uka.ilkd.key.rule.metaconstruct.ProgramMetaConstruct, de.uka.ilkd.key.java.reference.VariableReference, de.uka.ilkd.key.rule.soundness.ProgramSVProxy, de.uka.ilkd.key.java.reference.ArrayReference, de.uka.ilkd.key.java.expression.Operator, de.uka.ilkd.key.java.reference.ThisReference, de.uka.ilkd.key.java.reference.ArrayLengthReference,
| Expression | | public interface Expression extends ProgramElement(Code) | | Expression
taken from COMPOST and changed to achieve an immutable structure
|
|
|