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

Inherited by edu.mit.csail.sdg.squander.spec.CompositeSpecProvider, edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider, and edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.

List of all members.

Public Member Functions
List< Source >	extractClassSpec (JType.Unary jtype)
List< Source >	extractFieldSpec (Field field, Unary declaringType)
MethodSpec	extractMethodSpec (Method method, NameSpace ns)

---

Detailed Description

Definition at line 14 of file ISpecProvider.java.

---

Member Function Documentation

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

(

JType.Unary

jtype

)

Implemented in edu.mit.csail.sdg.squander.spec.CompositeSpecProvider, edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider, and edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.

Referenced by edu.mit.csail.sdg.squander.spec.JavaScene.createClassSpec().

List<Source> edu.mit.csail.sdg.squander.spec.ISpecProvider.extractFieldSpec	(	Field	field,
		Unary	declaringType
	)

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

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

Implemented in edu.mit.csail.sdg.squander.spec.CompositeSpecProvider, edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider, and edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.

---

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

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