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.literal |
This package contains representations for the various Java literal types.
|
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 |
---|---|
boolean |
JavaNonTerminalProgramElement.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
commented in interface SourceElement.
|
boolean |
SourceElement.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
This method returns true if two program parts are equal modulo
renaming.
|
boolean |
JavaProgramElement.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
commented in interface SourceElement.
|
boolean |
StatementBlock.equalsModRenaming(SourceElement se,
NameAbstractionTable nat) |
boolean |
Comment.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
comments can be ignored
|
Modifier and Type | Method and Description |
---|---|
boolean |
VariableSpecification.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
equals modulo renaming is described in the corresponding
comment in class SourceElement.
|
Modifier and Type | Method and Description |
---|---|
boolean |
EmptySeqLiteral.equalsModRenaming(SourceElement o,
NameAbstractionTable nat) |
boolean |
StringLiteral.equalsModRenaming(SourceElement o,
NameAbstractionTable nat) |
boolean |
DoubleLiteral.equalsModRenaming(SourceElement o,
NameAbstractionTable nat)
tests if equals
|
boolean |
EmptySetLiteral.equalsModRenaming(SourceElement o,
NameAbstractionTable nat) |
boolean |
RealLiteral.equalsModRenaming(SourceElement o,
NameAbstractionTable nat)
tests if equals
|
boolean |
FloatLiteral.equalsModRenaming(SourceElement o,
NameAbstractionTable nat)
tests if equals
|
boolean |
BooleanLiteral.equalsModRenaming(SourceElement o,
NameAbstractionTable nat)
tests if equals
|
boolean |
AbstractIntegerLiteral.equalsModRenaming(SourceElement o,
NameAbstractionTable nat) |
boolean |
EmptyMapLiteral.equalsModRenaming(SourceElement o,
NameAbstractionTable nat) |
Modifier and Type | Method and Description |
---|---|
boolean |
LabeledStatement.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
testing if programelements are equal modulo renaming abstract
from names.
|
boolean |
TransactionStatement.equalsModRenaming(SourceElement source,
NameAbstractionTable nat) |
Modifier and Type | Method and Description |
---|---|
boolean |
JavaBlock.equalsModRenaming(java.lang.Object o,
NameAbstractionTable nat)
returns true if the given ProgramElement is equal to the
one of the JavaBlock modulo renaming (see comment in SourceElement)
|
boolean |
ProgramElementName.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
equals modulo renaming is described in the corresponding
comment in class SourceElement.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ProgramVariable.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
equals modulo renaming is described in the corresponding
comment in class SourceElement.
|
boolean |
ProgramMethod.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
equals modulo renaming is described in class SourceElement.
|
boolean |
ProgramSV.equalsModRenaming(SourceElement se,
NameAbstractionTable nat)
this method tests on object identity
|
Copyright © 2003-2019 The KeY-Project.