Package | Description |
---|---|
fmrisc.ProgramExplorer.Judgements | |
fmrisc.ProgramExplorer.Parser | |
fmrisc.ProgramExplorer.Syntax.Program |
Modifier and Type | Method and Description |
---|---|
Formula |
ExpressionLogic.deriveFormula(ValueExpression exp,
java.util.Vector<Formula> pre)
Translate a program expression to an equivalent logic formula.
|
Term |
ExpressionLogic.deriveTerm(ValueExpression exp,
java.util.Vector<Formula> pre)
Translate a program expression to an equivalent logic term.
|
Modifier and Type | Method and Description |
---|---|
ValueExpression |
MiniJavaParser.valexp() |
ValueExpression |
MiniJavaParser.valexp11() |
ValueExpression |
MiniJavaParser.valexp12() |
ValueExpression |
MiniJavaParser.valexp13() |
ValueExpression |
MiniJavaParser.valexp14() |
ValueExpression |
MiniJavaParser.valexp15() |
ValueExpression |
MiniJavaParser.valexp16() |
ValueExpression |
MiniJavaParser.valexp3() |
ValueExpression |
MiniJavaParser.valexp4() |
ValueExpression |
MiniJavaParser.valexp8() |
ValueExpression |
MiniJavaParser.valexp9() |
ValueExpression |
MiniJavaParser.valexpnull() |
Modifier and Type | Method and Description |
---|---|
java.util.Vector<ValueExpression> |
MiniJavaParser.valexps() |
Modifier and Type | Class and Description |
---|---|
class |
AndExpression
A logical conjunction.
|
class |
BinaryValueExpression
The base class of binary expressions denoting values.
|
class |
BooleanLiteral
A Boolean literal.
|
class |
CharLiteral
A character literal.
|
class |
DividesExpression
A quotient expression.
|
class |
EqualsExpression
An equality.
|
class |
GreaterEqualExpression
An is-greater-than-or-equal formula.
|
class |
GreaterExpression
An is-greater-than formula.
|
class |
IntLiteral
An integer literal.
|
class |
LessEqualExpression
An is-less-than-or-equal formula.
|
class |
LessExpression
An is-less-than formula.
|
class |
MinusExpression
A difference expression.
|
class |
NegationExpression
An arithmetic negation expression.
|
class |
NewArrayExpression
Allocation of a new array.
|
class |
NotEqualsExpression
An inequality.
|
class |
NotExpression
A logical negation.
|
class |
NullLiteral
A null literal (for objects/arrays/strings)
|
class |
OrExpression
A logical disjunction.
|
class |
PercentExpression
A remainder expression.
|
class |
PlusExpression
A sum expression.
|
class |
SelectorExpression
Selection of an object component
|
class |
StringLiteral
A string literal.
|
class |
TimesExpression
A product expression.
|
class |
UnaryValueExpression
The base class of unary expressions denoting values.
|
class |
ValueExpressionBase
The base class of expressions denoting values.
|
class |
VariableValue
A variable denoting a value.
|
Modifier and Type | Field and Description |
---|---|
ValueExpression[] |
CallStatement.args |
ValueExpression |
UnaryValueExpression.base |
ValueExpression |
SelectorExpression.base |
ValueExpression |
AssertionStatement.cond |
ValueExpression |
WhileLoopStatement.cond |
ValueExpression |
ConditionalStatement.cond |
ValueExpression |
ForLoopStatement.cond |
ValueExpression |
VariableStatement.exp |
ValueExpression |
AssignmentStatement.exp |
ValueExpression |
BinaryValueExpression.first |
ValueExpression |
IndexSelector.index |
ValueExpression |
NewArrayExpression.length |
ValueExpression |
BinaryValueExpression.second |
ValueExpression |
ReturnStatement.value |
ValueExpression |
GlobalVariableDeclaration.value |
Modifier and Type | Method and Description |
---|---|
ValueExpression |
ThrowStatement.getValue()
Get the exception value.
|
Modifier and Type | Method and Description |
---|---|
static ObjectVariableDeclaration |
ObjectVariableDeclaration.construct(Identifier name,
TypeExpression type,
ValueExpression value)
Construct an object variable declaration
|
static ClassVariableDeclaration |
ClassVariableDeclaration.construct(Identifier name,
TypeExpression type,
ValueExpression value)
Construct a class variable declaration
|
static AssignCallStatement |
AssignCallStatement.construct(LeftValue lval,
Name method,
ValueExpression[] args)
Construct a call statement with a result value assigned to a variable.
|
static AssignNewStatement |
AssignNewStatement.construct(LeftValue lval,
Name type,
ValueExpression[] args)
Construct a call statement with a result value assigned to a variable.
|
static AssignmentStatement |
AssignmentStatement.construct(LeftValue lval,
ValueExpression exp)
Construct an assignment statement.
|
static ThrowStatement |
ThrowStatement.construct(Name name,
ValueExpression value)
Construct a throw (exception) statement.
|
static VoidCallStatement |
VoidCallStatement.construct(Name method,
ValueExpression[] args)
Construct a call statement without a result value.
|
static ForLoopStatement |
ForLoopStatement.construct(Statement init,
ValueExpression cond,
Statement update,
Statement body)
Construct a while loop.
|
static DeclNewStatement |
DeclNewStatement.construct(TypeExpression type,
Identifier var,
Name method,
ValueExpression[] args)
Construct a call statement with a result value assigned to a variable.
|
static DeclCallStatement |
DeclCallStatement.construct(TypeExpression type,
Identifier var,
Name method,
ValueExpression[] args)
Construct a call statement with a result value assigned to a variable.
|
static VariableStatement |
VariableStatement.construct(TypeExpression type,
Identifier var,
ValueExpression exp)
Construct a local variable declaration
|
static NewArrayExpression |
NewArrayExpression.construct(TypeExpression type,
ValueExpression length)
Allocation of a new object.
|
static IndexSelector |
IndexSelector.construct(ValueExpression index)
Construct a selection by index.
|
static AssertionStatement |
AssertionStatement.construct(ValueExpression cond)
Construct a assertion statement.
|
static ReturnStatement |
ReturnStatement.construct(ValueExpression value)
Construct a return statement.
|
static NotExpression |
NotExpression.construct(ValueExpression base)
Construct a logical negation.
|
static NegationExpression |
NegationExpression.construct(ValueExpression base)
Construct an arithmetic negation expression.
|
static SelectorExpression |
SelectorExpression.construct(ValueExpression base,
Selector[] sels)
Selection of an object component.
|
static WhileLoopStatement |
WhileLoopStatement.construct(ValueExpression cond,
Statement body)
Construct a while loop.
|
static ConditionalStatement |
ConditionalStatement.construct(ValueExpression cond,
Statement thenstat,
Statement elsestat)
Construct a conditional statement.
|
static GreaterEqualExpression |
GreaterEqualExpression.construct(ValueExpression first,
ValueExpression second)
Construct an is-greater-than-or-equal formula
|
static DividesExpression |
DividesExpression.construct(ValueExpression first,
ValueExpression second)
Construct a quotient expression.
|
static MinusExpression |
MinusExpression.construct(ValueExpression first,
ValueExpression second)
Construct a difference expression.
|
static GreaterExpression |
GreaterExpression.construct(ValueExpression first,
ValueExpression second)
Construct an is-greater-than formula
|
static PlusExpression |
PlusExpression.construct(ValueExpression first,
ValueExpression second)
Construct a sum expression.
|
static EqualsExpression |
EqualsExpression.construct(ValueExpression first,
ValueExpression second)
Construct an equality.
|
static AndExpression |
AndExpression.construct(ValueExpression first,
ValueExpression second)
Construct a logical conjunction.
|
static LessExpression |
LessExpression.construct(ValueExpression first,
ValueExpression second)
Construct an is-less-than formula
|
static PercentExpression |
PercentExpression.construct(ValueExpression first,
ValueExpression second)
Construct a remainder expression.
|
static OrExpression |
OrExpression.construct(ValueExpression first,
ValueExpression second)
Construct a logical disjunction.
|
static TimesExpression |
TimesExpression.construct(ValueExpression first,
ValueExpression second)
Construct a product expression.
|
static LessEqualExpression |
LessEqualExpression.construct(ValueExpression first,
ValueExpression second)
Construct an is-less-than-or-equal formula
|
static NotEqualsExpression |
NotEqualsExpression.construct(ValueExpression first,
ValueExpression second)
Construct an inequality.
|
static SelectorExpression |
SelectorExpression.construct(ValueExpression base,
java.util.Vector<Selector> sels)
Selection of an object component.
|
Modifier and Type | Method and Description |
---|---|
static AssignCallStatement |
AssignCallStatement.construct(LeftValue lval,
Name method,
java.util.Vector<ValueExpression> args)
Construct a call statement with a result value assigned to a variable.
|
static AssignNewStatement |
AssignNewStatement.construct(LeftValue lval,
Name type,
java.util.Vector<ValueExpression> args)
Construct a call statement with a result value assigned to a variable.
|
static VoidCallStatement |
VoidCallStatement.construct(Name method,
java.util.Vector<ValueExpression> args)
Construct a call statement without a result value.
|
static DeclNewStatement |
DeclNewStatement.construct(TypeExpression type,
Identifier var,
Name method,
java.util.Vector<ValueExpression> args)
Construct a call statement with a result value assigned to a variable.
|
static DeclCallStatement |
DeclCallStatement.construct(TypeExpression type,
Identifier var,
Name method,
java.util.Vector<ValueExpression> args)
Construct a call statement with a result value assigned to a variable.
|