class FieldQuery extends AbstractQuery
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
fieldID |
private java.lang.String |
heapID |
private java.lang.String |
objectID |
result
Constructor and Description |
---|
FieldQuery(java.lang.String heapID,
java.lang.String objectID,
java.lang.String fieldID) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getFieldID() |
java.lang.String |
getHeapID() |
java.lang.String |
getObjectID() |
java.lang.String |
getQuery() |
void |
setResult(java.lang.String s)
Stores the result from the z3 solver.
|
echo, enclose, getResult, getVal
private java.lang.String heapID
private java.lang.String objectID
private java.lang.String fieldID
public FieldQuery(java.lang.String heapID, java.lang.String objectID, java.lang.String fieldID)
public java.lang.String getHeapID()
public java.lang.String getObjectID()
public java.lang.String getFieldID()
public java.lang.String getQuery()
public void setResult(java.lang.String s)
Query
setResult
in interface Query
setResult
in class AbstractQuery
s
- the result to set