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