Public Member Functions | |
boolean | isClause () |
boolean | isFrame () |
boolean | isDecl () |
boolean | isFuncField () |
Node | node () |
void | parse () |
void | typecheck (TypeChecker checker) |
ForgeExpression | translate (Tr tr, ForgeEnv env) |
String | toString () |
Public Attributes | |
final String | source |
final NameSpace | ns |
final Rule | rule |
final boolean | isFuncFlag |
Package Types | |
enum | Rule { CLAUSE, DECLARATION, FRAME } |
Package Functions | |
Source (String source, NameSpace ns, Rule kind) | |
Source (String source, NameSpace ns, Rule kind, boolean isFuncFlag) | |
Private Attributes | |
Node | node |
boolean | typechecked = false |
Wraps a source string and presents a type checked abstract syntax tree. The source is parsed and type-checked lazily.
Definition at line 28 of file Source.java.
enum edu::mit::csail::sdg::squander::spec::Source::Rule [package] |
Definition at line 29 of file Source.java.
Unparsed specification
Definition at line 44 of file Source.java.
edu.mit.csail.sdg.squander.spec.Source.Source | ( | String | source, | |
NameSpace | ns, | |||
Rule | kind, | |||
boolean | isFuncFlag | |||
) | [package] |
Definition at line 48 of file Source.java.
References edu.mit.csail.sdg.squander.spec.Source.node(), and edu.mit.csail.sdg.squander.spec.Source.rule.
boolean edu.mit.csail.sdg.squander.spec.Source.isClause | ( | ) |
Definition at line 58 of file Source.java.
References edu.mit.csail.sdg.squander.spec.Source.rule.
boolean edu.mit.csail.sdg.squander.spec.Source.isDecl | ( | ) |
Definition at line 60 of file Source.java.
References edu.mit.csail.sdg.squander.spec.Source.rule.
boolean edu.mit.csail.sdg.squander.spec.Source.isFrame | ( | ) |
Definition at line 59 of file Source.java.
References edu.mit.csail.sdg.squander.spec.Source.rule.
boolean edu.mit.csail.sdg.squander.spec.Source.isFuncField | ( | ) |
Definition at line 61 of file Source.java.
References edu.mit.csail.sdg.squander.spec.Source.isFuncFlag.
Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.ensureField().
Definition at line 63 of file Source.java.
References edu.mit.csail.sdg.squander.spec.Source.parse(), and edu.mit.csail.sdg.squander.spec.Source.source.
Referenced by edu.mit.csail.sdg.squander.spec.Source.parse(), edu.mit.csail.sdg.squander.spec.Source.Source(), edu.mit.csail.sdg.squander.spec.Source.translate(), and edu.mit.csail.sdg.squander.spec.Source.typecheck().
void edu.mit.csail.sdg.squander.spec.Source.parse | ( | ) |
Definition at line 76 of file Source.java.
References edu.mit.csail.sdg.squander.parser.JFSLParser.clause(), edu.mit.csail.sdg.squander.parser.JFSLParser.modifies(), edu.mit.csail.sdg.squander.spec.Source.node(), edu.mit.csail.sdg.squander.spec.Source.rule, edu.mit.csail.sdg.squander.parser.JFSLParser.setTreeAdaptor(), edu.mit.csail.sdg.squander.spec.Source.source, and edu.mit.csail.sdg.squander.parser.JFSLParser.specField().
Referenced by edu.mit.csail.sdg.squander.spec.Source.node(), and edu.mit.csail.sdg.squander.spec.Source.typecheck().
String edu.mit.csail.sdg.squander.spec.Source.toString | ( | ) |
Definition at line 149 of file Source.java.
References edu.mit.csail.sdg.squander.spec.Source.rule, and edu.mit.csail.sdg.squander.spec.Source.source.
MUST CALL "typecheck" PRIOR TO CALLING THIS METHOD
Definition at line 137 of file Source.java.
References edu.mit.csail.sdg.squander.spec.Source.node(), edu.mit.csail.sdg.squander.spec.Source.source, and edu.mit.csail.sdg.squander.spec.Source.typechecked.
Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.translateSpecs().
void edu.mit.csail.sdg.squander.spec.Source.typecheck | ( | TypeChecker | checker | ) |
Definition at line 119 of file Source.java.
References edu.mit.csail.sdg.squander.spec.Source.node(), edu.mit.csail.sdg.squander.spec.Source.ns, edu.mit.csail.sdg.squander.spec.Source.parse(), edu.mit.csail.sdg.squander.parser.JFSLParserException.setSource(), edu.mit.csail.sdg.squander.spec.Source.source, and edu.mit.csail.sdg.squander.spec.Source.typechecked.
Referenced by edu.mit.csail.sdg.squander.spec.ClassSpec.ensureField().
final boolean edu.mit.csail.sdg.squander.spec.Source.isFuncFlag |
Definition at line 37 of file Source.java.
Referenced by edu.mit.csail.sdg.squander.spec.Source.isFuncField().
Node edu.mit.csail.sdg.squander.spec.Source.node [private] |
Definition at line 40 of file Source.java.
Definition at line 35 of file Source.java.
Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.addCase(), and edu.mit.csail.sdg.squander.spec.Source.typecheck().
Definition at line 36 of file Source.java.
Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.addCase(), edu.mit.csail.sdg.squander.spec.Source.isClause(), edu.mit.csail.sdg.squander.spec.Source.isDecl(), edu.mit.csail.sdg.squander.spec.Source.isFrame(), edu.mit.csail.sdg.squander.spec.Source.parse(), edu.mit.csail.sdg.squander.spec.Source.Source(), and edu.mit.csail.sdg.squander.spec.Source.toString().
final String edu.mit.csail.sdg.squander.spec.Source.source |
Definition at line 31 of file Source.java.
Referenced by edu.mit.csail.sdg.squander.spec.MethodSpec.addCase(), edu.mit.csail.sdg.squander.spec.ClassSpec.extractSpecFieldName(), edu.mit.csail.sdg.squander.spec.Source.node(), edu.mit.csail.sdg.squander.spec.Source.parse(), edu.mit.csail.sdg.squander.spec.Source.toString(), edu.mit.csail.sdg.squander.spec.Source.translate(), and edu.mit.csail.sdg.squander.spec.Source.typecheck().
boolean edu.mit.csail.sdg.squander.spec.Source.typechecked = false [private] |
Definition at line 41 of file Source.java.
Referenced by edu.mit.csail.sdg.squander.spec.Source.translate(), and edu.mit.csail.sdg.squander.spec.Source.typecheck().