edu.mit.csail.sdg.squander.spec.ForgeEnv Interface Reference
[Specification]

Inherited by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

List of all members.

Public Types
enum	State { PRE, POST }
Public Member Functions
ForgeEnv	setPreStateMode ()
ForgeEnv	addLocal (LocalVariable var)
ForgeType	integerType ()
ForgeType	booleanType ()
ForgeType	stringType ()
ForgeType	nullType ()
ForgeExpression	intExpr (int i)
ForgeExpression	stringExpr (String text)
ForgeExpression	trueExpr ()
ForgeExpression	falseExpr ()
ForgeExpression	returnVar ()
ForgeExpression	throwVar ()
LocalVariable	thisVar ()
ForgeExpression	arg (int i)
ForgeExpression	arrayLength (JType jtype)
ForgeExpression	arrayElems (JType jtype)
ForgeExpression	globalVar (GlobalVariable var)
JType.Unary	classForDomain (ForgeDomain domain)
LocalDecls	emptyDecls ()
LocalVariable	newLocalVar (String name, ForgeType type)
LocalVariable	findLocal (String name)
GlobalVariable	ensureGlobal (JField field)
GlobalVariable	ensureConst (String name)
ForgeDomain.Unary	ensureDomain (JType.Unary clz)
ForgeDomain.Unary	typeForCls (JType.Unary clz, boolean includeNull)
void	ensureNum (ForgeType type)
void	ensureInt (int i)
void	ensureAllInts ()

---

Detailed Description

Definition at line 14 of file ForgeEnv.java.

---

Member Enumeration Documentation

enum edu::mit::csail::sdg::squander::spec::ForgeEnv::State

Enumerator:

PRE
POST

Definition at line 16 of file ForgeEnv.java.

---

Member Function Documentation

ForgeEnv edu.mit.csail.sdg.squander.spec.ForgeEnv.addLocal

(

LocalVariable

var

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitQuantification().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.arg

(

int

i

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitArgument().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.arrayElems

(

JType

jtype

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitBracket().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.arrayLength

(

JType

jtype

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

ForgeType edu.mit.csail.sdg.squander.spec.ForgeEnv.booleanType

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitBooleanType().

JType.Unary edu.mit.csail.sdg.squander.spec.ForgeEnv.classForDomain

(

ForgeDomain

domain

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitBracket().

LocalDecls edu.mit.csail.sdg.squander.spec.ForgeEnv.emptyDecls

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitQuantification().

void edu.mit.csail.sdg.squander.spec.ForgeEnv.ensureAllInts

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitBinary().

GlobalVariable edu.mit.csail.sdg.squander.spec.ForgeEnv.ensureConst

(

String

name

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitName().

ForgeDomain.Unary edu.mit.csail.sdg.squander.spec.ForgeEnv.ensureDomain

(

JType.Unary

clz

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitArrayType(), and edu.mit.csail.sdg.squander.spec.Tr.visitRefType().

GlobalVariable edu.mit.csail.sdg.squander.spec.ForgeEnv.ensureGlobal

(

JField

field

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitFieldRelation(), and edu.mit.csail.sdg.squander.spec.Tr.visitName().

void edu.mit.csail.sdg.squander.spec.ForgeEnv.ensureInt

(

int

i

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitUnary().

void edu.mit.csail.sdg.squander.spec.ForgeEnv.ensureNum

(

ForgeType

type

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitUnary().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.falseExpr

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitFalse().

LocalVariable edu.mit.csail.sdg.squander.spec.ForgeEnv.findLocal

(

String

name

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitName().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.globalVar

(

GlobalVariable

var

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitFieldRelation(), and edu.mit.csail.sdg.squander.spec.Tr.visitName().

ForgeType edu.mit.csail.sdg.squander.spec.ForgeEnv.integerType

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitFieldDeclaration(), and edu.mit.csail.sdg.squander.spec.Tr.visitIntegralType().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.intExpr

(

int

i

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitDecimal(), and edu.mit.csail.sdg.squander.spec.Tr.visitQuantification().

LocalVariable edu.mit.csail.sdg.squander.spec.ForgeEnv.newLocalVar	(	String	name,
		ForgeType	type
	)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitQuantification().

ForgeType edu.mit.csail.sdg.squander.spec.ForgeEnv.nullType

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitNull().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.returnVar

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitReturn().

ForgeEnv edu.mit.csail.sdg.squander.spec.ForgeEnv.setPreStateMode

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitOld().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.stringExpr

(

String

text

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitString().

ForgeType edu.mit.csail.sdg.squander.spec.ForgeEnv.stringType

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

LocalVariable edu.mit.csail.sdg.squander.spec.ForgeEnv.thisVar

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.translateSpecs(), and edu.mit.csail.sdg.squander.spec.Tr.visitThis().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.throwVar

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitThrow().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeEnv.trueExpr

(

)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitFrame(), edu.mit.csail.sdg.squander.spec.Tr.visitQuantification(), and edu.mit.csail.sdg.squander.spec.Tr.visitTrue().

ForgeDomain.Unary edu.mit.csail.sdg.squander.spec.ForgeEnv.typeForCls	(	JType.Unary	clz,
		boolean	includeNull
	)

Implemented in edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.

Referenced by edu.mit.csail.sdg.squander.spec.Tr.visitName().

---

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

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