public class OracleLocation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ALL_FIELDS |
Constructor and Description |
---|
OracleLocation(java.lang.String object) |
OracleLocation(java.lang.String object,
java.lang.String field) |
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() |
public OracleLocation(java.lang.String object, java.lang.String field)
public OracleLocation(java.lang.String object)
public java.lang.String getObject()
public java.lang.String getField()
public boolean isAllFields()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.