Package | Description |
---|---|
de.uka.ilkd.key.logic.label |
Modifier and Type | Method and Description |
---|---|
static int |
FormulaTermLabel.getMajorId(java.lang.String id)
Returns the major part of the given ID.
|
static int |
FormulaTermLabel.getMinorId(java.lang.String id)
Returns the minor part of the given ID.
|
static java.util.List<java.lang.String> |
FormulaTermLabel.getValidBeforeIds(java.lang.String beforeIds)
Returns the optional previous IDs if they are all valid.
|
T |
SingletonLabelFactory.parseInstance(java.util.List<java.lang.String> arguments,
TermServices services)
Parses the arguments and produces a term label.
|
OriginTermLabel |
OriginTermLabelFactory.parseInstance(java.util.List<java.lang.String> arguments,
TermServices services) |
BlockContractValidityTermLabel |
BlockContractValidityTermLabelFactory.parseInstance(java.util.List<java.lang.String> parameters,
TermServices services)
Parses the arguments and produces a term label.
|
FormulaTermLabel |
FormulaTermLabelFactory.parseInstance(java.util.List<java.lang.String> parameters,
TermServices services)
Parses the arguments and produces a term label.
|
T |
TermLabelFactory.parseInstance(java.util.List<java.lang.String> arguments,
TermServices services)
Parses the arguments and produces a term label.
|
SymbolicExecutionTermLabel |
SymbolicExecutionTermLabelFactory.parseInstance(java.util.List<java.lang.String> parameters,
TermServices services)
Parses the arguments and produces a term label.
|
TermLabel |
TermLabelManager.parseLabel(java.lang.String name,
java.util.List<java.lang.String> args,
TermServices services)
Get a term label for string parameters.
|
Constructor and Description |
---|
FormulaTermLabel(java.lang.String id)
Constructor.
|
FormulaTermLabel(java.lang.String id,
java.lang.String beforeIds)
Constructor.
|
Copyright © 2003-2019 The KeY-Project.