de.uka.ilkd.key.java

Interface ExpressionContainer

All Superinterfaces:

ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

ConstructorReference, MemberReference, MethodOrConstructorReference, ProgramConstruct, TypeReference

All Known Implementing Classes:

AllFields, AllObjects, ArrayInitializer, ArrayLength, ArrayPostDecl, ArrayReference, Assert, Assignment, BinaryAnd, BinaryAndAssignment, BinaryNot, BinaryOperator, BinaryOr, BinaryOrAssignment, BinaryXOr, BinaryXOrAssignment, Case, ComparativeOperator, Conditional, ConstructorCall, CopyAssignment, CreateObject, Divide, DivideAssignment, DLEmbeddedExpression, Do, DoBreak, EnhancedFor, EnhancedForElimination, Equals, EvaluateArgs, ExactInstanceof, ExpandMethodBody, ExpressionJumpStatement, FieldReference, FieldSpecification, For, ForInitUnfoldTransformer, ForToWhile, ForUpdates, GreaterOrEquals, GreaterThan, If, ImplicitFieldSpecification, InitArray, InitArrayCreation, Instanceof, Intersect, IsStatic, LessOrEquals, LessThan, LogicalAnd, LogicalNot, LogicalOr, LoopScopeBlock, LoopStatement, MergePointStatement, MethodCall, MethodReference, Minus, MinusAssignment, Modulo, ModuloAssignment, MultipleVarDecl, Negative, New, NewArray, NotEquals, Operator, ParenthesizedExpression, PassiveExpression, Plus, PlusAssignment, Positive, PostDecrement, PostIncrement, PostWork, PreDecrement, PreIncrement, ProgramSV, ProgramTransformer, Return, SchematicFieldReference, SchemaTypeReference, SeqConcat, SeqGet, SeqIndexOf, SeqLength, SeqReverse, SeqSingleton, SeqSub, SetMinus, SetUnion, ShiftLeft, ShiftLeftAssignment, ShiftRight, ShiftRightAssignment, Singleton, SpecialConstructorCall, SpecialConstructorReference, StaticInitialisation, SuperConstructorReference, SuperReference, Switch, SwitchToIf, SynchronizedBlock, ThisConstructorReference, Throw, Times, TimesAssignment, TypeCast, TypeOf, TypeOperator, TypeRef, TypeReferenceImp, Unpack, UnsignedShiftRight, UnsignedShiftRightAssignment, UnwindLoop, VariableSpecification, While

public interface ExpressionContainer
extends NonTerminalProgramElement

Expression container. taken from COMPOST and changed to achieve an immutable structure

Method Summary

Modifier and Type	Method and Description
Expression	getExpressionAt(int index)
int	getExpressionCount() Get the number of expressions in this container.

Methods inherited from interface de.uka.ilkd.key.java.NonTerminalProgramElement

getChildAt, getChildCount

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit

Method Detail

getExpressionCount

int getExpressionCount()

Get the number of expressions in this container.

Returns:

the number of expressions.

getExpressionAt

Expression getExpressionAt(int index)