de.uka.ilkd.key.smt

Class AbstractQuery

java.lang.Object

de.uka.ilkd.key.smt.AbstractQuery

All Implemented Interfaces:

Query

Direct Known Subclasses:

ArrayFieldQuery, ConstantQuery, ExactInstanceQuery, FieldQuery, FunValueQuery, LocSetQuery, ObjectLengthQuery, ObjectTypeQuery, SeqFieldQuery, SeqLengthQuery

abstract class AbstractQuery
extends java.lang.Object
implements Query

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	result

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

SELECT_ID

Constructor Summary

Constructors

Constructor and Description
AbstractQuery()

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	echo(java.lang.String arg)
protected java.lang.String	enclose(java.lang.String arg)
java.lang.String	getResult() Returns the stored result.
protected java.lang.String	getVal(java.lang.String arg)
void	setResult(java.lang.String result) Stores the result from the z3 solver.

Methods inherited from class java.lang.Object

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

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

getQuery

Field Detail

result

protected java.lang.String result

Constructor Detail

AbstractQuery

public AbstractQuery()

Method Detail

getResult

public java.lang.String getResult()

Description copied from interface: Query

Returns the stored result.

Specified by:

getResult in interface Query

Returns:

the result

setResult

public void setResult(java.lang.String result)

Description copied from interface: Query

Stores the result from the z3 solver.

Specified by:

setResult in interface Query

Parameters:

result - the result to set

enclose

protected java.lang.String enclose(java.lang.String arg)

echo

protected java.lang.String echo(java.lang.String arg)

getVal

protected java.lang.String getVal(java.lang.String arg)