class FunValueQuery extends AbstractQuery
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
functionID |
private java.lang.String |
heapID |
private java.lang.String |
objectId |
result
Constructor and Description |
---|
FunValueQuery(java.lang.String objectId,
java.lang.String heapID,
java.lang.String functionID) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getFunctionID() |
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 objectId
private java.lang.String heapID
private java.lang.String functionID
public FunValueQuery(java.lang.String objectId, java.lang.String heapID, java.lang.String functionID)
public java.lang.String getObjectID()
public java.lang.String getHeapID()
public java.lang.String getFunctionID()
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