| de.uka.ilkd.key.java.ExpressionContainer
All known Subclasses: de.uka.ilkd.key.java.statement.LoopStatement, de.uka.ilkd.key.java.statement.Case, de.uka.ilkd.key.java.statement.If, de.uka.ilkd.key.java.statement.ExpressionJumpStatement, de.uka.ilkd.key.java.expression.Operator, de.uka.ilkd.key.java.statement.Switch, de.uka.ilkd.key.java.reference.SuperReference, de.uka.ilkd.key.java.reference.SchematicFieldReference, de.uka.ilkd.key.java.expression.ArrayInitializer, de.uka.ilkd.key.java.reference.FieldReference, de.uka.ilkd.key.java.reference.ArrayReference, de.uka.ilkd.key.java.statement.Assert, de.uka.ilkd.key.java.declaration.VariableSpecification, de.uka.ilkd.key.java.statement.SynchronizedBlock, de.uka.ilkd.key.java.statement.ForUpdates,
| ExpressionContainer | | public interface ExpressionContainer extends NonTerminalProgramElement(Code) | | Expression container.
taken from COMPOST and changed to achieve an immutable structure
|
| getExpressionCount | | int getExpressionCount()(Code) | | Get the number of expressions in this container.
the number of expressions. |
|
|