class ObjectTypeQuery extends AbstractQuery
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
objectId |
private Sort |
sort |
result
Constructor and Description |
---|
ObjectTypeQuery(java.lang.String objectId,
Sort sort) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getObjectId() |
java.lang.String |
getQuery() |
Sort |
getSort() |
void |
setResult(java.lang.String s)
Stores the result from the z3 solver.
|
echo, enclose, getResult, getVal
private java.lang.String objectId
private Sort sort
public ObjectTypeQuery(java.lang.String objectId, Sort sort)
public java.lang.String getObjectId()
public Sort getSort()
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