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

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

[legend]

List of all members.

Public Member Functions
String	name ()
JType	type ()
JType.Unary	owningType ()
JType.Unary	declaringType ()
Field	getJavaField ()
boolean	isStatic ()
boolean	isSpec ()
boolean	isFunc ()
boolean	isPureAbstract ()
ForgeExpression	getDomain ()
Invariant	getAbsFun ()
Invariant	getBound ()
Frame	getFrame ()
void	setDomain (ForgeExpression dom)
void	setAbsFun (Invariant absFun)
void	setBound (Invariant bound)
void	setFrame (Frame frame)
void	setFuncFlag (boolean flag)
boolean	equals (Object obj)
int	hashCode ()
String	fullName ()
Unary[][]	getTypeParams ()
String	toString ()
Static Public Member Functions
static JField	newSpecField (String name, Class<?> owner, Class<?> declarer, JType type)
static JField	newSpecField (String name, Unary owningType, Unary declaringType, JType type)
static JField	newJavaField (Field f)
static Unary[]	getTypeParams (Type genericType)
static Unary	convertToJType (Type t)
Package Functions
	JField (String name, JType type, Unary owningType, Unary declaringType, Field javaField)
Private Attributes
final JType	type
final JType.Unary	owningType
final JType.Unary	declaringType
final String	name
final Field	javaField
ForgeExpression	domain
Invariant	absFun
Invariant	bound
Frame	frame
boolean	funcFlag = false
Static Private Attributes
static final Factory	factory = JType.Factory.instance
static Map< Type, JType.Unary >	cache = new HashMap<Type, Unary>()

---

Detailed Description

Author:

kuat

Aleksandar Milicevic

Definition at line 25 of file JField.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.spec.JField.JField	(	String	name,
		JType	type,
		Unary	owningType,
		Unary	declaringType,
		Field	javaField
	)			[package]

Definition at line 61 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.newJavaField(), and edu.mit.csail.sdg.squander.spec.JField.newSpecField().

---

Member Function Documentation

static Unary edu.mit.csail.sdg.squander.spec.JField.convertToJType

(

Type

t

)

[static]

Definition at line 149 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.cache, and edu.mit.csail.sdg.squander.spec.JField.getTypeParams().

Referenced by edu.mit.csail.sdg.squander.spec.JField.getTypeParams().

JType.Unary edu.mit.csail.sdg.squander.spec.JField.declaringType

(

)

Definition at line 72 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.newJavaField(), edu.mit.csail.sdg.squander.spec.JField.newSpecField(), and edu.mit.csail.sdg.squander.spec.JField.toString().

boolean edu.mit.csail.sdg.squander.spec.JField.equals

(

Object

obj

)

Definition at line 91 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.toString().

String edu.mit.csail.sdg.squander.spec.JField.fullName

(

)

Definition at line 104 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.name(), edu.mit.csail.sdg.squander.spec.JField.owningType(), and edu.mit.csail.sdg.squander.spec.JType.simpleName().

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.ensureGlobal(), and edu.mit.csail.sdg.squander.spec.ForgeScene.global().

Invariant edu.mit.csail.sdg.squander.spec.JField.getAbsFun

(

)

Definition at line 80 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.absFun.

Referenced by edu.mit.csail.sdg.squander.spec.Spec.fieldConstraint().

Invariant edu.mit.csail.sdg.squander.spec.JField.getBound

(

)

Definition at line 81 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.bound.

Referenced by edu.mit.csail.sdg.squander.spec.Spec.fieldConstraint(), and edu.mit.csail.sdg.squander.spec.ForgeScene.isOneField().

ForgeExpression edu.mit.csail.sdg.squander.spec.JField.getDomain

(

)

Definition at line 79 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.domain.

Frame edu.mit.csail.sdg.squander.spec.JField.getFrame

(

)

Definition at line 82 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.frame.

Field edu.mit.csail.sdg.squander.spec.JField.getJavaField

(

)

Definition at line 73 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.javaField.

Referenced by edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.concrFunc().

static Unary [] edu.mit.csail.sdg.squander.spec.JField.getTypeParams

(

Type

genericType

)

[static]

Definition at line 135 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.convertToJType().

Unary [][] edu.mit.csail.sdg.squander.spec.JField.getTypeParams

(

)

Definition at line 109 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JType.arity(), edu.mit.csail.sdg.squander.spec.JField.javaField, edu.mit.csail.sdg.squander.spec.JType.projection(), and edu.mit.csail.sdg.squander.spec.JField.type().

Referenced by edu.mit.csail.sdg.squander.spec.JField.convertToJType(), and edu.mit.csail.sdg.squander.spec.JField.newJavaField().

int edu.mit.csail.sdg.squander.spec.JField.hashCode

(

)

Definition at line 100 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.toString().

boolean edu.mit.csail.sdg.squander.spec.JField.isFunc

(

)

Definition at line 76 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.funcFlag, and edu.mit.csail.sdg.squander.spec.JField.isSpec().

boolean edu.mit.csail.sdg.squander.spec.JField.isPureAbstract

(

)

Definition at line 77 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.absFun.

Referenced by edu.mit.csail.sdg.squander.serializer.special.DefaultObjSer.absFunc(), edu.mit.csail.sdg.squander.serializer.special.MapSer.concrFunc(), and edu.mit.csail.sdg.squander.serializer.special.ListSer.concrFunc().

boolean edu.mit.csail.sdg.squander.spec.JField.isSpec

(

)

Definition at line 75 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.javaField.

Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.addSpecField(), edu.mit.csail.sdg.squander.spec.ForgeScene.ensureGlobal(), edu.mit.csail.sdg.squander.spec.Spec.fieldConstraint(), edu.mit.csail.sdg.squander.spec.ForgeScene.getRangeForField(), edu.mit.csail.sdg.squander.spec.JField.isFunc(), edu.mit.csail.sdg.squander.spec.ForgeScene.isOneField(), and edu.mit.csail.sdg.squander.spec.JField.toString().

boolean edu.mit.csail.sdg.squander.spec.JField.isStatic

(

)

Definition at line 74 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.javaField.

Referenced by edu.mit.csail.sdg.squander.spec.Spec.fieldConstraint(), edu.mit.csail.sdg.squander.spec.TypeChecker.resolveField(), and edu.mit.csail.sdg.squander.spec.JField.toString().

String edu.mit.csail.sdg.squander.spec.JField.name

(

)

Definition at line 69 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.fullName(), edu.mit.csail.sdg.squander.spec.JField.newJavaField(), and edu.mit.csail.sdg.squander.spec.JField.toString().

static JField edu.mit.csail.sdg.squander.spec.JField.newJavaField

(

Field

f

)

[static]

Definition at line 53 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.declaringType(), edu.mit.csail.sdg.squander.spec.JField.factory, edu.mit.csail.sdg.squander.spec.JField.getTypeParams(), edu.mit.csail.sdg.squander.spec.JField.JField(), edu.mit.csail.sdg.squander.spec.JField.name(), and edu.mit.csail.sdg.squander.spec.JField.type().

Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.ensureField().

static JField edu.mit.csail.sdg.squander.spec.JField.newSpecField	(	String	name,
		Unary	owningType,
		Unary	declaringType,
		JType	type
	)			[static]

Definition at line 49 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.JField().

static JField edu.mit.csail.sdg.squander.spec.JField.newSpecField	(	String	name,
		Class<?>	owner,
		Class<?>	declarer,
		JType	type
	)			[static]

Definition at line 43 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.declaringType(), edu.mit.csail.sdg.squander.spec.JField.factory, and edu.mit.csail.sdg.squander.spec.JField.owningType().

JType.Unary edu.mit.csail.sdg.squander.spec.JField.owningType

(

)

Definition at line 71 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.fullName(), and edu.mit.csail.sdg.squander.spec.JField.newSpecField().

void edu.mit.csail.sdg.squander.spec.JField.setAbsFun

(

Invariant

absFun

)

Definition at line 85 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.translateSpecs().

void edu.mit.csail.sdg.squander.spec.JField.setBound

(

Invariant

bound

)

Definition at line 86 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.translateSpecs().

void edu.mit.csail.sdg.squander.spec.JField.setDomain

(

ForgeExpression

dom

)

Definition at line 84 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.domain.

Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.translateSpecs().

void edu.mit.csail.sdg.squander.spec.JField.setFrame

(

Frame

frame

)

Definition at line 87 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.translateSpecs().

void edu.mit.csail.sdg.squander.spec.JField.setFuncFlag

(

boolean

flag

)

Definition at line 88 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.funcFlag.

Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.ensureField().

String edu.mit.csail.sdg.squander.spec.JField.toString

(

)

Definition at line 123 of file JField.java.

References edu.mit.csail.sdg.squander.spec.JField.declaringType(), edu.mit.csail.sdg.squander.spec.JField.isSpec(), edu.mit.csail.sdg.squander.spec.JField.isStatic(), edu.mit.csail.sdg.squander.spec.JField.name(), and edu.mit.csail.sdg.squander.spec.JField.type().

Referenced by edu.mit.csail.sdg.squander.spec.JField.equals(), and edu.mit.csail.sdg.squander.spec.JField.hashCode().

JType edu.mit.csail.sdg.squander.spec.JField.type

(

)

Definition at line 70 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.getTypeParams(), edu.mit.csail.sdg.squander.spec.JField.newJavaField(), and edu.mit.csail.sdg.squander.spec.JField.toString().

---

Member Data Documentation

Invariant edu.mit.csail.sdg.squander.spec.JField.absFun [private]

Definition at line 38 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.getAbsFun(), and edu.mit.csail.sdg.squander.spec.JField.isPureAbstract().

Invariant edu.mit.csail.sdg.squander.spec.JField.bound [private]

Definition at line 39 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.getBound().

Map<Type, JType.Unary> edu.mit.csail.sdg.squander.spec.JField.cache = new HashMap<Type, Unary>() [static, private]

Definition at line 133 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.convertToJType().

final JType.Unary edu.mit.csail.sdg.squander.spec.JField.declaringType [private]

Definition at line 31 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.Spec.fieldConstraint(), and edu.mit.csail.sdg.squander.spec.TypeChecker.resolveField().

ForgeExpression edu.mit.csail.sdg.squander.spec.JField.domain [private]

Definition at line 37 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.getDomain(), and edu.mit.csail.sdg.squander.spec.JField.setDomain().

final Factory edu.mit.csail.sdg.squander.spec.JField.factory = JType.Factory.instance [static, private]

Definition at line 27 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.newJavaField(), edu.mit.csail.sdg.squander.spec.JField.newSpecField(), and edu.mit.csail.sdg.squander.engine.SquanderResult.restoreEmpty().

Frame edu.mit.csail.sdg.squander.spec.JField.frame [private]

Definition at line 40 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.getFrame().

boolean edu.mit.csail.sdg.squander.spec.JField.funcFlag = false [private]

Definition at line 41 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.isFunc(), and edu.mit.csail.sdg.squander.spec.JField.setFuncFlag().

final Field edu.mit.csail.sdg.squander.spec.JField.javaField [private]

Definition at line 33 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.JField.getJavaField(), edu.mit.csail.sdg.squander.spec.JField.getTypeParams(), edu.mit.csail.sdg.squander.spec.JField.isSpec(), and edu.mit.csail.sdg.squander.spec.JField.isStatic().

final String edu.mit.csail.sdg.squander.spec.JField.name [private]

Definition at line 32 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.absstate.ObjAbsState.add(), edu.mit.csail.sdg.squander.spec.ClassSpec.addUsedField(), edu.mit.csail.sdg.squander.serializer.special.SetSer.concrFunc(), edu.mit.csail.sdg.squander.serializer.special.MapSer.concrFunc(), edu.mit.csail.sdg.squander.serializer.special.ListSer.concrFunc(), edu.mit.csail.sdg.squander.serializer.special.ArraySer.concrFunc(), edu.mit.csail.sdg.squander.absstate.ObjAbsState.getOrAddSpecField(), and edu.mit.csail.sdg.squander.absstate.FieldValue.toString().

final JType.Unary edu.mit.csail.sdg.squander.spec.JField.owningType [private]

Definition at line 30 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.createGlobalVar(), and edu.mit.csail.sdg.squander.spec.Spec.fieldConstraint().

final JType edu.mit.csail.sdg.squander.spec.JField.type [private]

Definition at line 29 of file JField.java.

Referenced by edu.mit.csail.sdg.squander.spec.ForgeScene.getRangeForField(), and edu.mit.csail.sdg.squander.spec.TypeChecker.resolveField().

---

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

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