edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv Class Reference

Inherits edu::mit::csail::sdg::squander::spec::ForgeEnv.

Collaboration diagram for edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv:

[legend]

List of all members.

Public Member Functions
ForgeExpression	arg (int i)
JType.Unary	classForDomain (ForgeDomain domain)
ForgeExpression	arrayElems (JType type)
ForgeExpression	arrayLength (JType type)
ForgeExpression	globalVar (GlobalVariable var)
LocalVariable	newLocalVar (String name, ForgeType type)
ForgeType	integerType ()
ForgeType	nullType ()
ForgeExpression	intExpr (int i)
ForgeType	booleanType ()
ForgeExpression	trueExpr ()
ForgeExpression	falseExpr ()
LocalDecls	emptyDecls ()
ForgeExpression	returnVar ()
LocalVariable	thisVar ()
ForgeExpression	throwVar ()
ForgeEnv	setPreStateMode ()
ForgeExpression	stringExpr (String text)
ForgeType	stringType ()
ForgeEnv	addLocal (LocalVariable var)
ForgeDomain.Unary	ensureDomain (JType.Unary clz)
ForgeDomain.Unary	typeForCls (JType.Unary clz, boolean includeNull)
GlobalVariable	ensureGlobal (JField field)
GlobalVariable	ensureConst (String name)
LocalVariable	findLocal (String name)
void	ensureAllInts ()
void	ensureInt (int i)
void	ensureNum (ForgeType type)
Package Functions
	MyEnv (LocalVariable thisVar, Map< String, LocalVariable > locals)
Private Member Functions
	MyEnv (State state, LocalVariable thisVar, Map< String, LocalVariable > locals)
ForgeExpression	getThrowVar ()
Private Attributes
final ForgeEnv.State	state
final Map< String, LocalVariable >	locals
LocalVariable	myThisVar

---

Detailed Description

Definition at line 386 of file ForgeScene.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.MyEnv	(	LocalVariable	thisVar,
		Map< String, LocalVariable >	locals
	)			[package]

Definition at line 392 of file ForgeScene.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.addLocal(), and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.setPreStateMode().

edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.MyEnv	(	State	state,
		LocalVariable	thisVar,
		Map< String, LocalVariable >	locals
	)			[private]

Definition at line 396 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.myThisVar.

---

Member Function Documentation

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

(

LocalVariable

var

)

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

Definition at line 476 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.locals, edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.MyEnv(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.myThisVar, and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.state.

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.arg

(

int

i

)

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

Definition at line 403 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.args().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.arrayElems

(

JType

type

)

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

Definition at line 413 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.JType.domain(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureGlobal(), edu.mit.csail.sdg.squander.spec.ClassSpec.findField(), edu.mit.csail.sdg.squander.spec.JavaScene.findSpec(), edu.mit.csail.sdg.squander.spec.ForgeScene.javaScene, and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.state.

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.arrayLength

(

JType

type

)

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

Definition at line 420 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.JType.domain(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureGlobal(), edu.mit.csail.sdg.squander.spec.ClassSpec.findField(), edu.mit.csail.sdg.squander.spec.JavaScene.findSpec(), edu.mit.csail.sdg.squander.spec.ForgeScene.javaScene, and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.state.

ForgeType edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.booleanType

(

)

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

Definition at line 442 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.program().

JType.Unary edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.classForDomain

(

ForgeDomain

domain

)

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

Definition at line 408 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.findClassForDomain().

LocalDecls edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.emptyDecls

(

)

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

Definition at line 445 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.program().

void edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureAllInts

(

)

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

Definition at line 509 of file ForgeScene.java.

GlobalVariable edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureConst

(

String

name

)

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

Definition at line 499 of file ForgeScene.java.

ForgeDomain.Unary edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureDomain

(

JType.Unary

clz

)

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

Definition at line 484 of file ForgeScene.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.stringType().

GlobalVariable edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureGlobal

(

JField

field

)

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

Definition at line 494 of file ForgeScene.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.arrayElems(), and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.arrayLength().

void edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureInt

(

int

i

)

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

Definition at line 514 of file ForgeScene.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.intExpr().

void edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureNum

(

ForgeType

type

)

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

Definition at line 519 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.numTypes().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.falseExpr

(

)

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

Definition at line 444 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.program().

LocalVariable edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.findLocal

(

String

name

)

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

Definition at line 504 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.locals.

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.getThrowVar

(

)

[private]

Definition at line 523 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.locals, edu.mit.csail.sdg.squander.spec.ForgeScene.program(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.throwVar(), and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.typeForCls().

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.throwVar().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.globalVar

(

GlobalVariable

var

)

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

Definition at line 427 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.state.

ForgeType edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.integerType

(

)

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

Definition at line 439 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.program().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.intExpr

(

int

i

)

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

Definition at line 441 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureInt(), and edu.mit.csail.sdg.squander.spec.ForgeScene.program().

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

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

Definition at line 435 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.program().

ForgeType edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.nullType

(

)

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

Definition at line 440 of file ForgeScene.java.

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.returnVar

(

)

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

Definition at line 447 of file ForgeScene.java.

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

(

)

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

Definition at line 452 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.locals, edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.MyEnv(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.myThisVar, and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.state.

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.stringExpr

(

String

text

)

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

Definition at line 459 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.litCnt, edu.mit.csail.sdg.squander.spec.ForgeScene.program(), edu.mit.csail.sdg.squander.spec.ForgeScene.str2lit, and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.stringType().

ForgeType edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.stringType

(

)

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

Definition at line 471 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.ensureDomain().

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.stringExpr().

LocalVariable edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.thisVar

(

)

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

Definition at line 448 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.myThisVar.

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.throwVar

(

)

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

Definition at line 449 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.getThrowVar().

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.getThrowVar().

ForgeExpression edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.trueExpr

(

)

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

Definition at line 443 of file ForgeScene.java.

References edu.mit.csail.sdg.squander.spec.ForgeScene.program().

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

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

Definition at line 489 of file ForgeScene.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.getThrowVar().

---

Member Data Documentation

final Map<String, LocalVariable> edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.locals [private]

Definition at line 389 of file ForgeScene.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.addLocal(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.findLocal(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.getThrowVar(), and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.setPreStateMode().

LocalVariable edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.myThisVar [private]

Definition at line 390 of file ForgeScene.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.addLocal(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.MyEnv(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.setPreStateMode(), and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.thisVar().

final ForgeEnv.State edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.state [private]

Definition at line 388 of file ForgeScene.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.addLocal(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.arrayElems(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.arrayLength(), edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.globalVar(), and edu.mit.csail.sdg.squander.spec.ForgeScene.MyEnv.setPreStateMode().

---

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

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