class ArrayFieldQuery extends AbstractQuery
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
heapID |
private int |
index |
private int |
intBound |
private java.lang.String |
objectID |
result
Constructor and Description |
---|
ArrayFieldQuery(java.lang.String heapID,
java.lang.String objectID,
int index,
int bound) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getHeapID() |
int |
getIndex() |
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 int index
private int intBound
public ArrayFieldQuery(java.lang.String heapID, java.lang.String objectID, int index, int bound)
public java.lang.String getHeapID()
public java.lang.String getObjectID()
public int getIndex()
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