Package | Description |
---|---|
fmrisc.ProgramExplorer.Parser | |
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Spec |
Modifier and Type | Method and Description |
---|---|
void |
SpecLangParser.statementspec(StatementSpec spec) |
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(StatementSpec tree) |
void |
ASTPrinter.visit(StatementSpec spec) |
void |
ASTVisitorBase.visit(StatementSpec tree) |
Modifier and Type | Method and Description |
---|---|
static StatementSpec |
StatementSpec.construct(java.lang.String text,
ErrorStream error,
SourcePosition pos)
Construct method specification from denoted text.
|