Package | Description |
---|---|
de.uka.ilkd.key.logic |
provides a representation for the term and sequent
structure.
|
Modifier and Type | Class and Description |
---|---|
class |
MethodStackInfo |
Modifier and Type | Method and Description |
---|---|
static NameCreationInfo |
MethodStackInfo.create(ProgramElement program) |
NameCreationInfo |
ProgramElementName.getCreationInfo() |
Modifier and Type | Method and Description |
---|---|
protected ProgramElementName |
VariableNamer.createName(java.lang.String basename,
int index,
NameCreationInfo creationInfo)
creates a ProgramElementName object to be used for permanent names
|
static ProgramElementName |
VariableNamer.parseName(java.lang.String name,
NameCreationInfo creationInfo) |
static ProgramElementName |
VariableNamer.parseName(java.lang.String name,
NameCreationInfo creationInfo,
Comment[] comments)
parses the passed string and creates a suitable program element name
(this does *not* make the name unique - if that is necessary, use either
getTemporaryNameProposal() or getProposal())
|
Constructor and Description |
---|
ProgramElementName(java.lang.String name,
NameCreationInfo creationInfo) |
ProgramElementName(java.lang.String name,
NameCreationInfo creationInfo,
Comment[] c) |
Copyright © 2003-2019 The KeY-Project.