de.uka.ilkd.key.smt.model

Class Location

java.lang.Object

de.uka.ilkd.key.smt.model.Location

public class Location
extends Object

A Location is a pair (objectID, fieldID)

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
private String	fieldID
private String	objectID

Constructor Summary

Constructors

Constructor and Description
Location(String objectID, String fieldID)

Method Summary

Modifier and Type	Method and Description
String	getFieldID()
String	getObjectID()
void	setFieldID(String fieldID)
void	setObjectID(String objectID)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

objectID

private String objectID

fieldID

private String fieldID

Constructor Detail

Location

public Location(String objectID,
                String fieldID)

Method Detail

getObjectID

public String getObjectID()

setObjectID

public void setObjectID(String objectID)

getFieldID

public String getFieldID()

setFieldID

public void setFieldID(String fieldID)

toString

public String toString()

Overrides:

toString in class Object