de.uka.ilkd.key.smt

Class ExactInstanceQuery

java.lang.Object

de.uka.ilkd.key.smt.AbstractQuery

de.uka.ilkd.key.smt.ExactInstanceQuery

All Implemented Interfaces:

Query

class ExactInstanceQuery
extends AbstractQuery

Query for finding out if an object is an exact instance of its sort.

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
private String	objectId
private Sort	sort

Fields inherited from class de.uka.ilkd.key.smt.AbstractQuery

result

Fields inherited from interface de.uka.ilkd.key.smt.Query

SELECT_ID

Constructor Summary

Constructors

Constructor and Description
ExactInstanceQuery(String objectId, Sort sort)

Method Summary

Modifier and Type	Method and Description
String	getObjectId()
String	getQuery()
Sort	getSort()
void	setResult(String s) Stores the result from the z3 solver.

Methods inherited from class de.uka.ilkd.key.smt.AbstractQuery

echo, enclose, getResult, getVal

Methods inherited from class java.lang.Object

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

Field Detail

objectId

private String objectId

sort

private Sort sort

Constructor Detail

ExactInstanceQuery

public ExactInstanceQuery(String objectId,
                          Sort sort)

Method Detail

getObjectId

public String getObjectId()

getSort

public Sort getSort()

getQuery

public String getQuery()

setResult

public void setResult(String s)

Description copied from interface: Query

Stores the result from the z3 solver.

Specified by:

setResult in interface Query

Overrides:

setResult in class AbstractQuery

Parameters:

s - the result to set