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

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

[legend]

List of all members.

Public Member Functions
NameSpace	addLocal (String name, JType.Unary type)
NameSpace	addScope (JType.Unary clz)
JField	findField (String name, JavaScene scene)
JType.Unary	findLocal (String name)
boolean	inArray ()
JMethod	method ()
JType.Unary	scope ()
JType.Unary	declarer ()
Static Public Member Functions
static NameSpace	forMethod (JMethod method)
static NameSpace	forClass (Unary type)
Private Member Functions
	NameSpace (JMethod method, Map< String, Unary > locals, List< Unary > scopes)
Private Attributes
final Map< String, JType.Unary >	locals
final List< JType.Unary >	scopes
final JMethod	method

---

Detailed Description

Definition at line 14 of file NameSpace.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.spec.NameSpace.NameSpace	(	JMethod	method,
		Map< String, Unary >	locals,
		List< Unary >	scopes
	)			[private]

Definition at line 42 of file NameSpace.java.

Referenced by edu.mit.csail.sdg.squander.spec.NameSpace.addLocal(), edu.mit.csail.sdg.squander.spec.NameSpace.addScope(), edu.mit.csail.sdg.squander.spec.NameSpace.forClass(), and edu.mit.csail.sdg.squander.spec.NameSpace.forMethod().

---

Member Function Documentation

NameSpace edu.mit.csail.sdg.squander.spec.NameSpace.addLocal	(	String	name,
		JType.Unary	type
	)

Definition at line 48 of file NameSpace.java.

References edu.mit.csail.sdg.squander.spec.NameSpace.locals, edu.mit.csail.sdg.squander.spec.NameSpace.method(), edu.mit.csail.sdg.squander.spec.NameSpace.NameSpace(), and edu.mit.csail.sdg.squander.spec.NameSpace.scopes.

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

NameSpace edu.mit.csail.sdg.squander.spec.NameSpace.addScope

(

JType.Unary

clz

)

Definition at line 55 of file NameSpace.java.

References edu.mit.csail.sdg.squander.spec.NameSpace.locals, edu.mit.csail.sdg.squander.spec.NameSpace.method(), edu.mit.csail.sdg.squander.spec.NameSpace.NameSpace(), and edu.mit.csail.sdg.squander.spec.NameSpace.scopes.

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitAmbiguous(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitBracket(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitFieldRelation(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitFrame(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitJoin(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitJoinReflexive().

JType.Unary edu.mit.csail.sdg.squander.spec.NameSpace.declarer

(

)

Definition at line 91 of file NameSpace.java.

References edu.mit.csail.sdg.squander.spec.NameSpace.scopes.

Referenced by edu.mit.csail.sdg.squander.spec.NameSpace.findField(), edu.mit.csail.sdg.squander.spec.TypeChecker.resolveType(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitThis().

JField edu.mit.csail.sdg.squander.spec.NameSpace.findField	(	String	name,
		JavaScene	scene
	)

Definition at line 62 of file NameSpace.java.

References edu.mit.csail.sdg.squander.spec.NameSpace.declarer(), edu.mit.csail.sdg.squander.spec.JavaScene.ensureClass(), edu.mit.csail.sdg.squander.spec.ClassSpec.ensureField(), and edu.mit.csail.sdg.squander.spec.NameSpace.scope().

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.resolveField().

JType.Unary edu.mit.csail.sdg.squander.spec.NameSpace.findLocal

(

String

name

)

Definition at line 70 of file NameSpace.java.

References edu.mit.csail.sdg.squander.spec.NameSpace.locals.

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

static NameSpace edu.mit.csail.sdg.squander.spec.NameSpace.forClass

(

Unary

type

)

[static]

Definition at line 30 of file NameSpace.java.

References edu.mit.csail.sdg.squander.spec.NameSpace.locals, edu.mit.csail.sdg.squander.spec.NameSpace.NameSpace(), and edu.mit.csail.sdg.squander.spec.NameSpace.scopes.

Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.MyVisitor.MyVisitor().

static NameSpace edu.mit.csail.sdg.squander.spec.NameSpace.forMethod

(

JMethod

method

)

[static]

Definition at line 24 of file NameSpace.java.

References edu.mit.csail.sdg.squander.spec.JMethod.declaringClass, edu.mit.csail.sdg.squander.spec.NameSpace.NameSpace(), edu.mit.csail.sdg.squander.spec.JMethod.params, and edu.mit.csail.sdg.squander.spec.NameSpace.scopes.

boolean edu.mit.csail.sdg.squander.spec.NameSpace.inArray

(

)

Definition at line 74 of file NameSpace.java.

References edu.mit.csail.sdg.squander.spec.NameSpace.scope().

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

JMethod edu.mit.csail.sdg.squander.spec.NameSpace.method

(

)

Definition at line 81 of file NameSpace.java.

Referenced by edu.mit.csail.sdg.squander.spec.NameSpace.addLocal(), and edu.mit.csail.sdg.squander.spec.NameSpace.addScope().

JType.Unary edu.mit.csail.sdg.squander.spec.NameSpace.scope

(

)

Definition at line 85 of file NameSpace.java.

References edu.mit.csail.sdg.squander.spec.NameSpace.scopes.

Referenced by edu.mit.csail.sdg.squander.spec.NameSpace.findField(), edu.mit.csail.sdg.squander.spec.NameSpace.inArray(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitBracket().

---

Member Data Documentation

final Map<String, JType.Unary> edu.mit.csail.sdg.squander.spec.NameSpace.locals [private]

Definition at line 16 of file NameSpace.java.

Referenced by edu.mit.csail.sdg.squander.spec.NameSpace.addLocal(), edu.mit.csail.sdg.squander.spec.NameSpace.addScope(), edu.mit.csail.sdg.squander.spec.NameSpace.findLocal(), and edu.mit.csail.sdg.squander.spec.NameSpace.forClass().

final JMethod edu.mit.csail.sdg.squander.spec.NameSpace.method [private]

Definition at line 18 of file NameSpace.java.

Referenced by edu.mit.csail.sdg.squander.spec.TypeChecker.visitArgument(), edu.mit.csail.sdg.squander.spec.TypeChecker.visitReturn(), and edu.mit.csail.sdg.squander.spec.TypeChecker.visitThis().

final List<JType.Unary> edu.mit.csail.sdg.squander.spec.NameSpace.scopes [private]

Definition at line 17 of file NameSpace.java.

Referenced by edu.mit.csail.sdg.squander.spec.NameSpace.addLocal(), edu.mit.csail.sdg.squander.spec.NameSpace.addScope(), edu.mit.csail.sdg.squander.spec.NameSpace.declarer(), edu.mit.csail.sdg.squander.spec.NameSpace.forClass(), edu.mit.csail.sdg.squander.spec.NameSpace.forMethod(), and edu.mit.csail.sdg.squander.spec.NameSpace.scope().

---

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

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