Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.declaration |
Elements of the Java syntax tree representing declarations.
|
de.uka.ilkd.key.java.expression |
Elements of the Java syntax tree representing expressions.
|
de.uka.ilkd.key.java.reference |
Elements of the Java syntax tree representing implicit or explicit (named)
references to other program elements.
|
de.uka.ilkd.key.java.statement |
Elements of the Java syntax tree representing pure statements.
|
de.uka.ilkd.key.logic |
provides a representation for the term and sequent
structure.
|
de.uka.ilkd.key.logic.op |
contains the operators of
Term s. |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
JavaNonTerminalProgramElement.match(SourceData source,
MatchConditions matchCond) |
MatchConditions |
CcatchReturnValParameterDeclaration.match(SourceData source,
MatchConditions matchCond) |
MatchConditions |
JavaProgramElement.match(SourceData source,
MatchConditions matchCond) |
MatchConditions |
ContextStatementBlock.match(SourceData source,
MatchConditions matchCond) |
MatchConditions |
ProgramElement.match(SourceData source,
MatchConditions matchCond)
matches the source "text" (@link SourceData#getSource()) against the pattern represented
by this object.
|
protected MatchConditions |
JavaNonTerminalProgramElement.matchChildren(SourceData source,
MatchConditions matchCond,
int offset)
matches successively all children of this current node.
|
Modifier and Type | Method and Description |
---|---|
MatchConditions |
VariableSpecification.match(SourceData source,
MatchConditions matchCond) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
Literal.match(SourceData source,
MatchConditions matchCond) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
SchemaTypeReference.match(SourceData source,
MatchConditions matchCond) |
MatchConditions |
TypeReferenceImp.match(SourceData source,
MatchConditions matchCond) |
MatchConditions |
SchematicFieldReference.match(SourceData source,
MatchConditions matchCond) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
TransactionStatement.match(SourceData source,
MatchConditions conditions) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
ProgramElementName.match(SourceData source,
MatchConditions matchCond) |
Modifier and Type | Method and Description |
---|---|
MatchConditions |
ProgramVariable.match(SourceData source,
MatchConditions matchCond) |
MatchConditions |
ProgramMethod.match(SourceData source,
MatchConditions matchCond) |
MatchConditions |
ProgramSV.match(SourceData source,
MatchConditions matchCond) |
Copyright © 2003-2019 The KeY-Project.