edu.mit.csail.sdg.squander.spec.MyExprEvaluator Class Reference
[Specification]

Inherits forge::program::ExpressionVisitor< ForgeConstant >.

Collaboration diagram for edu.mit.csail.sdg.squander.spec.MyExprEvaluator:

[legend]

List of all members.

Classes
interface	BinFunc< R, T >
class	StackElem
Public Member Functions
	MyExprEvaluator (ForgeBounds bounds)
Protected Member Functions
ForgeConstant	visit (BinaryExpression expr)
ForgeConstant	visit (ConditionalExpression expr)
ForgeConstant	visit (ForgeVariable expr)
ForgeConstant	visit (ProjectionExpression expr)
ForgeConstant	visit (QuantifyExpression expr)
ForgeConstant	visit (UnaryExpression expr)
abstract ForgeConstant	visitGlobalVariable (GlobalVariable var)
abstract ForgeConstant	visitLocalVariable (LocalVariable var)
StackElem	searchStack (LocalVariable var)
Protected Attributes
ForgeBounds	bounds
final Stack< StackElem >	quantStack = new Stack<StackElem>()
Package Functions
private< R > ForgeConstant	visitIntBinExpr (BinaryExpression expr, BinFunc< R, Integer > f)
Private Member Functions
ForgeConstant	visitEquals (BinaryExpression expr)
ForgeConstant	visitJoin (BinaryExpression expr)
ForgeConstant	visitProduct (BinaryExpression expr)
ForgeConstant	visitRelUnion (BinaryExpression expr)
ForgeConstant	visitDiff (BinaryExpression expr)
ForgeConstant	visitSubset (BinaryExpression expr)
ForgeConstant	visitClosure (ForgeConstant res)
ForgeConstant	visitBoolBinExpr (BinaryExpression expr, BinFunc< Boolean, Boolean > f)
ForgeConstant	visitUnion (QuantifyExpression expr)
ForgeConstant	visitAll (QuantifyExpression expr)
ForgeConstant	visitExists (QuantifyExpression expr)

---

Detailed Description

Definition at line 27 of file MyExprEvaluator.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.spec.MyExprEvaluator.MyExprEvaluator

(

ForgeBounds

bounds

)

Definition at line 63 of file MyExprEvaluator.java.

---

Member Function Documentation

StackElem edu.mit.csail.sdg.squander.spec.MyExprEvaluator.searchStack

(

LocalVariable

var

)

[protected]

Definition at line 193 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.quantStack.

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit

(

UnaryExpression

expr

)

[protected]

Definition at line 154 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.bounds, and edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitClosure().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit

(

QuantifyExpression

expr

)

[protected]

Definition at line 140 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitAll(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitExists(), and edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitUnion().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit

(

ProjectionExpression

expr

)

[protected]

Definition at line 134 of file MyExprEvaluator.java.

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit

(

ForgeVariable

expr

)

[protected]

Definition at line 126 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitGlobalVariable(), and edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitLocalVariable().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit

(

ConditionalExpression

expr

)

[protected]

Definition at line 116 of file MyExprEvaluator.java.

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit

(

BinaryExpression

expr

)

[protected]

Definition at line 68 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitBoolBinExpr(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitDiff(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitEquals(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitIntBinExpr(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitJoin(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitProduct(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitRelUnion(), and edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitSubset().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitAll

(

QuantifyExpression

expr

)

[private]

Definition at line 297 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.bounds, and edu.mit.csail.sdg.squander.spec.MyExprEvaluator.quantStack.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitBoolBinExpr	(	BinaryExpression	expr,
		BinFunc< Boolean, Boolean >	f
	)			[private]

Definition at line 253 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.bounds.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitClosure

(

ForgeConstant

res

)

[private]

Definition at line 239 of file MyExprEvaluator.java.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitDiff

(

BinaryExpression

expr

)

[private]

Definition at line 226 of file MyExprEvaluator.java.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitEquals

(

BinaryExpression

expr

)

[private]

Definition at line 202 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.bounds.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitExists

(

QuantifyExpression

expr

)

[private]

Definition at line 312 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.bounds, and edu.mit.csail.sdg.squander.spec.MyExprEvaluator.quantStack.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

abstract ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitGlobalVariable

(

GlobalVariable

var

)

[protected, pure virtual]

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

private<R> ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitIntBinExpr	(	BinaryExpression	expr,
		BinFunc< R, Integer >	f
	)			[package]

Definition at line 264 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.bounds.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitJoin

(

BinaryExpression

expr

)

[private]

Definition at line 208 of file MyExprEvaluator.java.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

abstract ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitLocalVariable

(

LocalVariable

var

)

[protected, pure virtual]

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitProduct

(

BinaryExpression

expr

)

[private]

Definition at line 214 of file MyExprEvaluator.java.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitRelUnion

(

BinaryExpression

expr

)

[private]

Definition at line 220 of file MyExprEvaluator.java.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitSubset

(

BinaryExpression

expr

)

[private]

Definition at line 233 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.bounds.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

ForgeConstant edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitUnion

(

QuantifyExpression

expr

)

[private]

Definition at line 280 of file MyExprEvaluator.java.

References edu.mit.csail.sdg.squander.spec.MyExprEvaluator.bounds, and edu.mit.csail.sdg.squander.spec.MyExprEvaluator.quantStack.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit().

---

Member Data Documentation

ForgeBounds edu.mit.csail.sdg.squander.spec.MyExprEvaluator.bounds [protected]

Definition at line 60 of file MyExprEvaluator.java.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visit(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitAll(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitBoolBinExpr(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitEquals(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitExists(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitIntBinExpr(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitSubset(), and edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitUnion().

final Stack<StackElem> edu.mit.csail.sdg.squander.spec.MyExprEvaluator.quantStack = new Stack<StackElem>() [protected]

Definition at line 61 of file MyExprEvaluator.java.

Referenced by edu.mit.csail.sdg.squander.spec.MyExprEvaluator.searchStack(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitAll(), edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitExists(), and edu.mit.csail.sdg.squander.spec.MyExprEvaluator.visitUnion().

---

The documentation for this class was generated from the following file:

• src/edu/mit/csail/sdg/squander/spec/MyExprEvaluator.java