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

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

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

[legend]

List of all members.

Public Member Functions
MethodSpec	extractMethodSpec (Method method, NameSpace ns)
List< Source >	extractClassSpec (JType.Unary jtype)
List< Source >	extractFieldSpec (Field field, JType.Unary declType)
Private Member Functions
void	extractMethodSpec (Method method, MethodSpec result, NameSpace ns)
void	extractMethodSpecNonRecursive (Method method, MethodSpec result, NameSpace ns)
List< String >	convertArray (String[] strs)
String	clause (Collection< String > clauses)
String	frame (Collection< String > frames)
Private Attributes
final String	TYPE_EXCEPTIONAL = "EXCEPTIONAL"
final String	CLAUSE_DEFAULT = "true"
final String	RETURNS_FORMAT = "return = (%s)"
final String	NONNULL_FORMAT = "(%s) != null"

---

Detailed Description

Definition at line 38 of file ReflectiveSpecProvider.java.

---

Member Function Documentation

String edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.clause

(

Collection< String >

clauses

)

[private]

Definition at line 190 of file ReflectiveSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.CLAUSE_DEFAULT.

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpecNonRecursive().

List<String> edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.convertArray

(

String[]

strs

)

[private]

Extracts elements of a string array annotation

Definition at line 180 of file ReflectiveSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpecNonRecursive().

List<Source> edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractClassSpec

(

JType.Unary

jtype

)

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

Definition at line 144 of file ReflectiveSpecProvider.java.

List<Source> edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractFieldSpec	(	Field	field,
		JType.Unary	declType
	)

Definition at line 164 of file ReflectiveSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.NONNULL_FORMAT.

void edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpec	(	Method	method,
		MethodSpec	result,
		NameSpace	ns
	)			[private]

Definition at line 53 of file ReflectiveSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpec(), and edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpecNonRecursive().

MethodSpec edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpec	(	Method	method,
		NameSpace	ns
	)

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

Definition at line 47 of file ReflectiveSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpec().

void edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpecNonRecursive	(	Method	method,
		MethodSpec	result,
		NameSpace	ns
	)			[private]

Definition at line 72 of file ReflectiveSpecProvider.java.

References edu.mit.csail.sdg.squander.spec.MethodSpec.addCase(), edu.mit.csail.sdg.squander.spec.MethodSpec.addFreshObj(), edu.mit.csail.sdg.squander.spec.MethodSpec.addOptions(), edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.clause(), edu.mit.csail.sdg.squander.annotations.FreshObjects.cls(), edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.convertArray(), edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.frame(), edu.mit.csail.sdg.squander.spec.MethodSpec.makePure(), edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.NONNULL_FORMAT, edu.mit.csail.sdg.squander.annotations.FreshObjects.num(), edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.RETURNS_FORMAT, edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.TYPE_EXCEPTIONAL, edu.mit.csail.sdg.squander.annotations.FreshObjects.typeParams(), and edu.mit.csail.sdg.squander.annotations.Fresh.value().

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpec().

String edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.frame

(

Collection< String >

frames

)

[private]

Definition at line 203 of file ReflectiveSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpecNonRecursive().

---

Member Data Documentation

final String edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.CLAUSE_DEFAULT = "true" [private]

Definition at line 43 of file ReflectiveSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.clause().

final String edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.NONNULL_FORMAT = "(%s) != null" [private]

Definition at line 45 of file ReflectiveSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractFieldSpec(), and edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpecNonRecursive().

final String edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.RETURNS_FORMAT = "return = (%s)" [private]

Definition at line 44 of file ReflectiveSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpecNonRecursive().

final String edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.TYPE_EXCEPTIONAL = "EXCEPTIONAL" [private]

Definition at line 40 of file ReflectiveSpecProvider.java.

Referenced by edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider.extractMethodSpecNonRecursive().

---

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

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