Package | Description |
---|---|
fmrisc.ProgramExplorer.InOut | |
fmrisc.ProgramExplorer.Judgements | |
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Logic |
Modifier and Type | Method and Description |
---|---|
void |
PrettyMathML.visit(IntLiteral exp) |
Modifier and Type | Method and Description |
---|---|
static IntLiteral |
ExpressionLogic.intLiteral(java.lang.String digits)
Construct integer literal.
|
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(IntLiteral tree) |
void |
ASTCloner.visit(IntLiteral tree) |
void |
ASTVisitorBase.visit(IntLiteral tree) |
Modifier and Type | Method and Description |
---|---|
static IntLiteral |
IntLiteral.construct(java.lang.String digits)
Construct number with denoted sequence of digits.
|
IntLiteral |
SelectorNumber.getNumber()
Get identifier.
|
Modifier and Type | Method and Description |
---|---|
static SelectorNumber |
SelectorNumber.construct(IntLiteral number)
Construct selector from identifier number.
|