edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider Class Reference
[Specification]
Inherits edu::mit::csail::sdg::squander::spec::ISpecProvider.
Classes | |
| class | MyVisitor |
Public Member Functions | |
| List< Source > | extractFieldSpec (Field field, JType.Unary declaringType) |
| MethodSpec | extractMethodSpec (Method method, NameSpace ns) |
| List< Source > | extractClassSpec (JType.Unary jtype) |
Private Member Functions | |
| URL | findSpecFile (Class<?> clazz) |
| Node | parse (URL specFile) |
Detailed Description
Definition at line 27 of file SpecFileSpecProvider.java.
Member Function Documentation
| List<Source> edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.extractClassSpec | ( | JType.Unary | jtype | ) |
Implements edu.mit.csail.sdg.squander.spec.ISpecProvider.
Definition at line 118 of file SpecFileSpecProvider.java.
References edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.findSpecFile(), and edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.parse().
| List<Source> edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.extractFieldSpec | ( | Field | field, | |
| JType.Unary | declaringType | |||
| ) |
Definition at line 108 of file SpecFileSpecProvider.java.
| MethodSpec edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.extractMethodSpec | ( | Method | method, | |
| NameSpace | ns | |||
| ) |
Implements edu.mit.csail.sdg.squander.spec.ISpecProvider.
Definition at line 113 of file SpecFileSpecProvider.java.
| URL edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.findSpecFile | ( | Class<?> | clazz | ) | [private] |
Definition at line 126 of file SpecFileSpecProvider.java.
Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.extractClassSpec().
| Node edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.parse | ( | URL | specFile | ) | [private] |
Definition at line 138 of file SpecFileSpecProvider.java.
References edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.setTreeAdaptor(), and edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.specfile().
Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.extractClassSpec().
The documentation for this class was generated from the following file:
- src/edu/mit/csail/sdg/squander/spec/SpecFileSpecProvider.java
