Uses of Class
org.jmlspecs.jmlrac.qexpr.QSet

Packages that use QSet

org.jmlspecs.jmlrac.qexpr

Translates JML quantified expressions into Java source code to evaluate them at runtime.

Uses of QSet in org.jmlspecs.jmlrac.qexpr

Subclasses of QSet in org.jmlspecs.jmlrac.qexpr

private static class	QSet.Composite An abstract qset class consisting of two other qset objects, e.g., union or intersection qsets.
private static class	QSet.Intersection A concrete qset class representating a qset that is an intersection of two qsets.
private static class	QSet.Leaf A concrete qset class consisting of only one JML expression.
private static class	QSet.Top A special, concrete qset class that represents the universe of all objects.
private static class	QSet.Union A concrete qset class representating a union of two qsets.

Fields in org.jmlspecs.jmlrac.qexpr declared as QSet

static QSet	QSet.TOP
protected QSet	QSet.Composite.left left operand of the composite (union and intersection)
protected QSet	QSet.Composite.right right operand of the composite (union and intersection)

Methods in org.jmlspecs.jmlrac.qexpr that return QSet

static QSet	QSet.build(JExpression expr, String var) Returns a new qset built from a JML expression and a quantified variable.
QSet	QSet.union(QSet s) Returns a qset representing the union of this and argument.
QSet	QSet.intersect(QSet s) Returns a qset representing the intersection of this and argument.
private static QSet	QSet.calculate(JExpression expr, String var) Returns the qset of an expression expr with respect to the quantified variable var.
private static QSet	QSet.calculate(JMethodCallExpression expr, String var) Returns the qset of a method call expression expr with respect to the quantified variable var.
QSet	QSet.Top.union(QSet s) Return a qset representing the union of this and the argument.
QSet	QSet.Top.intersect(QSet s) Return a qset representing the intersection of this and the argument

Methods in org.jmlspecs.jmlrac.qexpr with parameters of type QSet

QSet	QSet.union(QSet s) Returns a qset representing the union of this and argument.
QSet	QSet.intersect(QSet s) Returns a qset representing the intersection of this and argument.
QSet	QSet.Top.union(QSet s) Return a qset representing the union of this and the argument.
QSet	QSet.Top.intersect(QSet s) Return a qset representing the intersection of this and the argument

Constructors in org.jmlspecs.jmlrac.qexpr with parameters of type QSet

QSet.Composite(QSet left, QSet right)
Constructs a new Composite object.

QSet.Union(QSet left, QSet right)
Constructs a new Union object.

QSet.Intersection(QSet left, QSet right)
Constructs a new Intersection object.