de.uka.ilkd.key.smt

Class SeqFieldQuery

java.lang.Object

de.uka.ilkd.key.smt.AbstractQuery

de.uka.ilkd.key.smt.SeqFieldQuery

All Implemented Interfaces:

Query

class SeqFieldQuery
extends AbstractQuery

Query for the value of a position of a sequence.

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
private int	index
private int	intBound
private Sequence	seqID

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
SeqFieldQuery(Sequence seq, int index, int bound)

Method Summary

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

seqID

private Sequence seqID

index

private int index

intBound

private int intBound

Constructor Detail

SeqFieldQuery

public SeqFieldQuery(Sequence seq,
                     int index,
                     int bound)

Method Detail

getSeq

public Sequence getSeq()

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