| java.lang.Object
 de.uka.ilkd.key.rule.inst.ProgramSVInstantiation
| ProgramSVInstantiation | | public class ProgramSVInstantiation (Code) | | this class wrapps a MapFromSchemaVariableToJavaProgramElement and
is used to store instantiations of schemavariables. The class is
immutable, this means changing its content will result in creating
a new object.
|
| add | | public ProgramSVInstantiation add(SchemaVariable sv, JavaProgramElement prgElement)(Code) | | adds the given pair to the instantiations. If the given
SchemaVariable has been instantiated already, the new pair is
taken without a warning.
Parameters:
sv - the SchemaVariable to be instantiated
Parameters:
prgElement - the JavaProgramElement The SchemaVariable isinstantiated with ProgramSVInstantiation the new ProgramSVInstantiationcontaining the given pair |
| equals | | public boolean equals(Object obj)(Code) | | returns true if the given object and this one have the same
listpings
true if the given object and this one have the samelistpings |
| getInstantiation | | public JavaProgramElement getInstantiation(SchemaVariable sv)(Code) | | returns the instantiation of the given SchemaVariable
the JavaProgramElement the SchemaVariable will beinstantiated with, null if no instantiation is stored |
| hashCode | | public int hashCode()(Code) | | |
| isInstantiated | | public boolean isInstantiated(SchemaVariable sv)(Code) | | returns true iff the sv has been instantiated already
true iff the sv has been instantiated already |
| iterator | | public IteratorOfProgramSVEntry iterator()(Code) | | returns iterator of the listped pair (SchemaVariables,
JavaProgramElement)
theIteratorOfEntryOfSchemaVariableAndJavaProgramElement |
| replace | | public ProgramSVInstantiation replace(SchemaVariable sv, JavaProgramElement prgElement)(Code) | | replaces the given pair in the instantiations. If the given
SchemaVariable has been instantiated already, the new pair is
taken without a warning.
Parameters:
sv - the SchemaVariable to be instantiated
Parameters:
prgElement - the JavaProgramElement The SchemaVariable isinstantiated with ProgramSVInstantiation the new ProgramSVInstantiationcontaining the given pair |
| size | | public int size()(Code) | | returns the number of SchemaVariables of which an
instantiation is known
int that is the number of SchemaVariables of which aninstantiation is known |
|
|