de.uka.ilkd.key.testgen.oracle

Class OracleLocation

java.lang.Object

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

public class OracleLocation
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ALL_FIELDS
private java.lang.String	field
private java.lang.String	object

Constructor Summary

Constructors

Constructor and Description
OracleLocation(java.lang.String object)
OracleLocation(java.lang.String object, java.lang.String field)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

ALL_FIELDS

public static java.lang.String ALL_FIELDS

object

private java.lang.String object

field

private java.lang.String field

Constructor Detail

OracleLocation

public OracleLocation(java.lang.String object,
                      java.lang.String field)

OracleLocation

public OracleLocation(java.lang.String object)

Method Detail

getObject

public java.lang.String getObject()

getField

public java.lang.String getField()

isAllFields

public boolean isAllFields()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object