Package | Description |
---|---|
de.uka.ilkd.key.api |
This package gives an high-level entry point to the KeY world.
|
Modifier and Type | Method and Description |
---|---|
static VariableAssignments.VarType |
VariableAssignments.VarType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static VariableAssignments.VarType[] |
VariableAssignments.VarType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.String,VariableAssignments.VarType> |
VariableAssignments.getTypeMap()
Returns the map of ID -> Type mappings
|
Modifier and Type | Method and Description |
---|---|
void |
VariableAssignments.addAssignmentWithType(java.lang.String varName,
java.lang.Object value,
VariableAssignments.VarType type)
Add a variable assignment with type and value
|
void |
VariableAssignments.addType(java.lang.String varName,
VariableAssignments.VarType type)
TODO better exception
Add a new type declaration
|
Copyright © 2003-2019 The KeY-Project.