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