de.uka.ilkd.key.java

Interface NonTerminalProgramElement

All Superinterfaces:

ModelElement, ProgramElement, SourceElement, SVSubstitute

All Known Subinterfaces:

Branch, ConstructorReference, Declaration, ExpressionContainer, IGuard, IProgramMethod, MemberDeclaration, MemberReference, MethodOrConstructorReference, NamedProgramElement, NameReference, PackageReferenceContainer, ParameterContainer, ProgramConstruct, ProgramPrefix, ScopeDefiningElement, StatementContainer, TypeDeclarationContainer, TypeReference, TypeReferenceContainer, TypeReferenceInfix, TypeScope, VariableScope

All Known Implementing Classes:

AllFields, AllObjects, AnnotationUseSpecification, ArrayDeclaration, ArrayInitializer, ArrayLength, ArrayLengthReference, ArrayPostDecl, ArrayReference, Assert, Assignment, BinaryAnd, BinaryAndAssignment, BinaryNot, BinaryOperator, BinaryOr, BinaryOrAssignment, BinaryXOr, BinaryXOrAssignment, BranchImp, BranchStatement, Break, Case, Catch, CatchAllStatement, ClassDeclaration, ClassInitializer, ComparativeOperator, CompilationUnit, Conditional, ConstructorCall, ConstructorDeclaration, ContextStatementBlock, Continue, CopyAssignment, CreateObject, Default, Divide, DivideAssignment, DLEmbeddedExpression, Do, DoBreak, Else, EnhancedFor, EnhancedForElimination, EnumClassDeclaration, Equals, EvaluateArgs, ExactInstanceof, ExecutionContext, ExpandMethodBody, ExpressionJumpStatement, Extends, FieldDeclaration, FieldReference, FieldSpecification, Finally, For, ForInitUnfoldTransformer, ForToWhile, ForUpdates, GreaterOrEquals, GreaterThan, Guard, If, Implements, ImplicitFieldSpecification, Import, InheritanceSpecification, InitArray, InitArrayCreation, Instanceof, InterfaceDeclaration, Intersect, IsStatic, JavaDeclaration, JavaNonTerminalProgramElement, JavaStatement, JumpStatement, LabeledStatement, LabelJumpStatement, LessOrEquals, LessThan, LocalVariableDeclaration, LogicalAnd, LogicalNot, LogicalOr, LoopInit, LoopScopeBlock, LoopStatement, MergePointStatement, MetaClassReference, MethodBodyStatement, MethodCall, MethodDeclaration, MethodFrame, MethodReference, Minus, MinusAssignment, Modulo, ModuloAssignment, MultipleVarDecl, Negative, New, NewArray, NotEquals, Operator, PackageReference, PackageSpecification, ParameterDeclaration, ParenthesizedExpression, PassiveExpression, Plus, PlusAssignment, Positive, PostDecrement, PostIncrement, PostWork, PreDecrement, PreIncrement, ProgramMethod, ProgramSV, ProgramTransformer, Return, SchematicFieldReference, SchemaTypeReference, SeqConcat, SeqGet, SeqIndexOf, SeqLength, SeqReverse, SeqSingleton, SeqSub, SetMinus, SetUnion, ShiftLeft, ShiftLeftAssignment, ShiftRight, ShiftRightAssignment, Singleton, SpecialConstructorCall, SpecialConstructorReference, StatementBlock, StaticInitialisation, SuperArrayDeclaration, SuperConstructorReference, SuperReference, Switch, SwitchToIf, SynchronizedBlock, Then, ThisConstructorReference, ThisReference, Throw, Throws, Times, TimesAssignment, TransactionStatement, Try, TypeCast, TypeDeclaration, TypeOf, TypeOperator, TypeRef, TypeReferenceImp, Unpack, UnsignedShiftRight, UnsignedShiftRightAssignment, UnwindLoop, VariableDeclaration, VariableReference, VariableSpecification, While

public interface NonTerminalProgramElement
extends ProgramElement

Non terminal program element. taken from COMPOST and changed to achieve an immutable structure

Method Summary

Modifier and Type	Method and Description
ProgramElement	getChildAt(int index) Returns the child at the specified index in this node's "virtual" child array.
int	getChildCount() Returns the number of children of this node.

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

getChildCount

int getChildCount()

Returns the number of children of this node.

Returns:

an int giving the number of children of this node

getChildAt

ProgramElement getChildAt(int index)

Returns the child at the specified index in this node's "virtual" child array.

Parameters:

index - an index into this node's "virtual" child array

Returns:

the program element at the given position

Throws:

java.lang.ArrayIndexOutOfBoundsException - if index is out of bounds