de.uka.ilkd.key.rule.inst

Class ProgramSVEntry

java.lang.Object

de.uka.ilkd.key.rule.inst.ProgramSVEntry

All Implemented Interfaces:

java.io.Serializable

public class ProgramSVEntry
extends java.lang.Object
implements java.io.Serializable

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.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private SchemaVariable	key the SchemaVariable
private static long	serialVersionUID
private JavaProgramElement	value the JavaProgramElement

Constructor Summary

Constructors

Constructor and Description
ProgramSVEntry(SchemaVariable key, JavaProgramElement value) creates a new entry encapsulating the SchemaVariable key and its JavaProgramElement instantiation value

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o) returns true iff the keys and the mapped values are equal
int	hashCode()
SchemaVariable	key() returns the SchemaVariable to be instantiated
java.lang.String	toString() toString
JavaProgramElement	value() returns the instantiation of the SchemaVariable

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

key

private SchemaVariable key

the SchemaVariable

value

private JavaProgramElement value

the JavaProgramElement

Constructor Detail

ProgramSVEntry

public ProgramSVEntry(SchemaVariable key,
                      JavaProgramElement value)

creates a new entry encapsulating the SchemaVariable key and its JavaProgramElement instantiation value

Parameters:

key - the SchemaVariable that is instantiated

value - the JavaProgramElement

Method Detail

key

public SchemaVariable key()

returns the SchemaVariable to be instantiated

Returns:

the SchemaVariable to be instantiated

equals

public boolean equals(java.lang.Object o)

returns true iff the keys and the mapped values are equal

Overrides:

equals in class java.lang.Object

Returns:

true iff the keys and the mapped values are equal

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

value

public JavaProgramElement value()

returns the instantiation of the SchemaVariable

Returns:

the instantiation of the SchemaVariable

toString

public java.lang.String toString()

toString

Overrides:

toString in class java.lang.Object