de.uka.ilkd.key.smt

Class LocSetQuery

java.lang.Object

de.uka.ilkd.key.smt.AbstractQuery

de.uka.ilkd.key.smt.LocSetQuery

All Implemented Interfaces:

Query

class LocSetQuery
extends AbstractQuery

Query for checking if a location is in a location set.

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	fieldID
private java.lang.String	locSetID
private java.lang.String	objectID

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
LocSetQuery(java.lang.String locSetID, java.lang.String objectID, java.lang.String fieldID)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getFieldID()
java.lang.String	getLocSetID()
java.lang.String	getObjectID()
java.lang.String	getQuery()
void	setResult(java.lang.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

locSetID

private java.lang.String locSetID

objectID

private java.lang.String objectID

fieldID

private java.lang.String fieldID

Constructor Detail

LocSetQuery

public LocSetQuery(java.lang.String locSetID,
                   java.lang.String objectID,
                   java.lang.String fieldID)

Method Detail

getLocSetID

public java.lang.String getLocSetID()

getObjectID

public java.lang.String getObjectID()

getFieldID

public java.lang.String getFieldID()

getQuery

public java.lang.String getQuery()

setResult

public void setResult(java.lang.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