| java.lang.Object de.uka.ilkd.key.rule.inst.ProgramSVEntry
ProgramSVEntry | public class ProgramSVEntry implements Serializable(Code) | | this class encapsulates a SchemaVariable and its corresponding
instantiation if it is a JavaProgramElement. The class MapFrom...cannot
be used because of the different packages of the SchemaVariable and
the JavaProgramElement.
|
ProgramSVEntry | public ProgramSVEntry(SchemaVariable key, JavaProgramElement value)(Code) | | creates a new entry encapsulating the SchemaVariable key and its
JavaProgramElement instantiation value
Parameters: key - the SchemaVariable that is instantiated Parameters: value - the JavaProgramElement |
equals | public boolean equals(Object o)(Code) | | returns true iff the keys and the mapped values are equal
true iff the keys and the mapped values are equal |
hashCode | public int hashCode()(Code) | | |
key | public SchemaVariable key()(Code) | | returns the SchemaVariable to be instantiated
the SchemaVariable to be instantiated |
value | public JavaProgramElement value()(Code) | | returns the instantiation of the SchemaVariable
the instantiation of the SchemaVariable |
|
|