de.uka.ilkd.key.testgen.oracle

Class OracleLocation

java.lang.Object

de.uka.ilkd.key.testgen.oracle.OracleLocation

public class OracleLocation
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	ALL_FIELDS
private String	field
private String	object

Constructor Summary

Constructors

Constructor and Description
OracleLocation(String object)
OracleLocation(String object, String field)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
String	getField()
String	getObject()
boolean	isAllFields()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

ALL_FIELDS

public static String ALL_FIELDS

object

private String object

field

private String field

Constructor Detail

OracleLocation

public OracleLocation(String object,
                      String field)

OracleLocation

public OracleLocation(String object)

Method Detail

getObject

public String getObject()

getField

public String getField()

isAllFields

public boolean isAllFields()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object