Location (KeY API Documentation)

Fields
Modifier and Type	Field and Description
`private java.lang.String`	`fieldID`
`private java.lang.String`	`objectID`

Constructors
Constructor and Description
`Location(java.lang.String objectID, java.lang.String fieldID)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`java.lang.String`	`getFieldID()`
`java.lang.String`	`getObjectID()`
`void`	`setFieldID(java.lang.String fieldID)`
`void`	`setObjectID(java.lang.String objectID)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

public Location(java.lang.String objectID,
                java.lang.String fieldID)

public void setObjectID(java.lang.String objectID)

public void setFieldID(java.lang.String fieldID)

Class Location