| java.lang.Object
 de.uka.ilkd.key.java.JavaSourceElement
de.uka.ilkd.key.java.JavaProgramElement
de.uka.ilkd.key.java.JavaNonTerminalProgramElement
All known Subclasses: de.uka.ilkd.key.java.reference.PackageReference, de.uka.ilkd.key.java.statement.MethodBodyStatement, de.uka.ilkd.key.java.statement.Guard, de.uka.ilkd.key.java.expression.Operator, de.uka.ilkd.key.java.reference.SuperReference, de.uka.ilkd.key.java.reference.MetaClassReference, de.uka.ilkd.key.java.CompilationUnit, de.uka.ilkd.key.java.statement.LoopInit, de.uka.ilkd.key.java.reference.ExecutionContext, de.uka.ilkd.key.java.statement.JavaStatement, de.uka.ilkd.key.java.declaration.Throws, de.uka.ilkd.key.java.reference.ArrayReference, de.uka.ilkd.key.java.declaration.VariableSpecification, de.uka.ilkd.key.java.statement.ForUpdates, de.uka.ilkd.key.java.statement.BranchImp, de.uka.ilkd.key.java.declaration.JavaDeclaration, de.uka.ilkd.key.java.reference.VariableReference, de.uka.ilkd.key.java.statement.CatchAllStatement, de.uka.ilkd.key.java.reference.ThisReference, de.uka.ilkd.key.java.reference.MethodReference, de.uka.ilkd.key.java.Import, de.uka.ilkd.key.java.reference.TypeReferenceImp, de.uka.ilkd.key.java.declaration.InheritanceSpecification, de.uka.ilkd.key.java.PackageSpecification, de.uka.ilkd.key.java.expression.ArrayInitializer, de.uka.ilkd.key.rule.metaconstruct.ProgramMetaConstruct, de.uka.ilkd.key.java.reference.SpecialConstructorReference, de.uka.ilkd.key.java.reference.ArrayLengthReference,
| JavaNonTerminalProgramElement | | public JavaNonTerminalProgramElement()(Code) | | Java program element.
|
| JavaNonTerminalProgramElement | | public JavaNonTerminalProgramElement(ExtList list)(Code) | | Java program element.
Parameters:
list - as ExtList with children of the node |
| compatibleBlockSize | | protected boolean compatibleBlockSize(int pos, int max)(Code) | | used by @link matchChildren to decide if a found match is valid or if there are remaining
source elements that have not been matched (in which case the match failed)
|
| equalsModRenaming | | public boolean equalsModRenaming(SourceElement se, NameAbstractionTable nat)(Code) | | commented in interface SourceElement. Overwrites the default
method implementation in ProgramElement by descending down to
the children.
|
| getArrayPos | | protected int getArrayPos(ArrayOfProgramElement arr, ProgramElement el)(Code) | | returns the index of element el in array arr
Parameters:
arr - the array where the element is looked for
Parameters:
el - the element to look for the index of the element (-1 if not found) |
| hashCode | | public int hashCode()(Code) | | |
| match | | public MatchConditions match(SourceData source, MatchConditions matchCond)(Code) | | matches the source "text" (@link SourceData#getSource()) against the pattern represented
by this object. In case of a successful match the resulting
MatchConditions with
the found instantiations of the schemavariables. If the match
failed, null is returned instead.
Parameters:
source - the SourceData with the program element to match
Parameters:
matchCond - the MatchConditions found up to this point the resulting match conditions or null if the match failed |
| matchChildren | | protected MatchConditions matchChildren(SourceData source, MatchConditions matchCond, int offset)(Code) | | matches successively all children of this current node. Thereby the
offset-th child is matched against source.getSource(). The call
source.next has to be done in the @link ProgramElement#match method
of the currently matched child in case of a successful match. This is
not done here (rationale: schemavariables matching on lists can be
implemented easy).
Parameters:
source - the SourceData with the children to be matched
Parameters:
matchCond - the MatchConditions found so far
Parameters:
offset - the int denoting the index of the child to start with the resulting match conditions or null if matching failed |
|
|