Package | Description |
---|---|
fmrisc.ProgramExplorer.InOut | |
fmrisc.ProgramExplorer.Syntax | |
fmrisc.ProgramExplorer.Syntax.Logic |
Modifier and Type | Method and Description |
---|---|
void |
Breaks.visit(Constant exp) |
void |
PrettyPrinter.visit(Constant exp) |
Modifier and Type | Method and Description |
---|---|
void |
ASTVisitor.visit(Constant tree) |
void |
ASTPrinter.visit(Constant exp) |
void |
ASTVisitorBase.visit(Constant tree) |
Modifier and Type | Class and Description |
---|---|
class |
BitFalse
A literal denoting the bit value "0".
|
class |
BitLiteral
A bit (i.e., 0,1) value.
|
class |
BitTrue
A literal denoting the bit value "1".
|
class |
BooleanLiteral
A logical (i.e.
|
class |
False
A literal denoting the boolean value "false".
|
class |
IntLiteral
A natural number.
|
class |
NewState
A state literal referring to the new (successor) state.
|
class |
OldState
A state literal referring to the old (predecessor) state.
|
class |
StateLiteral
A literal referring to a state.
|
class |
StringLiteral
A natural number.
|
class |
True
A literal denoting the boolean value "true".
|