edu.mit.csail.sdg.squander.spec.CompositeSpecProvider Class Reference
[Specification]
Inherits edu::mit::csail::sdg::squander::spec::ISpecProvider.
Public Member Functions | |
| CompositeSpecProvider (ISpecProvider...providers) | |
| List< Source > | extractClassSpec (JType.Unary jtype) |
| List< Source > | extractFieldSpec (Field field, JType.Unary declaringType) |
| MethodSpec | extractMethodSpec (Method method, NameSpace ns) |
Private Attributes | |
| final ISpecProvider[] | providers |
Detailed Description
Definition at line 12 of file CompositeSpecProvider.java.
Constructor & Destructor Documentation
| edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.CompositeSpecProvider | ( | ISpecProvider... | providers | ) |
Definition at line 16 of file CompositeSpecProvider.java.
References edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.providers.
Member Function Documentation
| List<Source> edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.extractClassSpec | ( | JType.Unary | jtype | ) |
Implements edu.mit.csail.sdg.squander.spec.ISpecProvider.
Definition at line 21 of file CompositeSpecProvider.java.
References edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.providers.
| List<Source> edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.extractFieldSpec | ( | Field | field, | |
| JType.Unary | declaringType | |||
| ) |
Definition at line 29 of file CompositeSpecProvider.java.
References edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.providers.
| MethodSpec edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.extractMethodSpec | ( | Method | method, | |
| NameSpace | ns | |||
| ) |
Implements edu.mit.csail.sdg.squander.spec.ISpecProvider.
Definition at line 37 of file CompositeSpecProvider.java.
References edu.mit.csail.sdg.squander.spec.MethodSpec.cases, and edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.providers.
Member Data Documentation
final ISpecProvider [] edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.providers [private] |
Definition at line 14 of file CompositeSpecProvider.java.
Referenced by edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.CompositeSpecProvider(), edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.extractClassSpec(), edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.extractFieldSpec(), and edu.mit.csail.sdg.squander.spec.CompositeSpecProvider.extractMethodSpec().
The documentation for this class was generated from the following file:
- src/edu/mit/csail/sdg/squander/spec/CompositeSpecProvider.java
