de.uka.ilkd.key.smt

Class ArrayFieldQuery

java.lang.Object

de.uka.ilkd.key.smt.AbstractQuery

de.uka.ilkd.key.smt.ArrayFieldQuery

All Implemented Interfaces:

Query

class ArrayFieldQuery
extends AbstractQuery

Query for the value of an array field of an object in a heap.

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
private String	heapID
private int	index
private int	intBound
private 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
ArrayFieldQuery(String heapID, String objectID, int index, int bound)

Method Summary

Modifier and Type	Method and Description
String	getHeapID()
int	getIndex()
String	getObjectID()
String	getQuery()
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

heapID

private String heapID

objectID

private String objectID

index

private int index

intBound

private int intBound

Constructor Detail

ArrayFieldQuery

public ArrayFieldQuery(String heapID,
                       String objectID,
                       int index,
                       int bound)

Method Detail

getHeapID

public String getHeapID()

getObjectID

public String getObjectID()

getIndex

public int getIndex()

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