de.uka.ilkd.key.testgen.oracle

Class OracleVariable

java.lang.Object

de.uka.ilkd.key.testgen.oracle.OracleVariable

All Implemented Interfaces:

OracleTerm

public class OracleVariable
extends java.lang.Object
implements OracleTerm

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	name
private Sort	sort

Constructor Summary

Constructors

Constructor and Description
OracleVariable(java.lang.String name, Sort sort)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.lang.String	getName()
Sort	getSort()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

private java.lang.String name

sort

private Sort sort

Constructor Detail

OracleVariable

public OracleVariable(java.lang.String name,
                      Sort sort)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getName

public java.lang.String getName()

getSort

public Sort getSort()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object