public final class StatementFactory extends WalkerFactoryBase
Constructor and Description |
---|
StatementFactory(WalkerContext context) |
Modifier and Type | Method and Description |
---|---|
Statement |
createAssert(Where where,
Expr condition,
java.lang.String message) |
Statement |
createAssignment(Where where,
Expr leftExpr,
Expr right) |
Statement |
createAttributeCall(Where where,
Instance calleeInstance,
java.lang.String attributeName) |
Statement |
createAttributeCall(Where where,
java.lang.String attributeName) |
Statement |
createAttributeCall(Where where,
java.lang.String calleeName,
java.lang.String attributeName) |
ru.ispras.fortress.expression.Node |
createCallNode(StatementAttributeCall call) |
java.util.List<Statement> |
createCondition(java.util.List<ru.ispras.fortress.util.Pair<Expr,java.util.List<Statement>>> blocks) |
Statement |
createExceptionCall(Where where,
java.lang.String text) |
Statement |
createFormat(Where where,
java.lang.String format,
java.util.List<ru.ispras.fortress.expression.Node> args) |
Statement |
createMark(Where where,
java.lang.String text) |
Statement |
createTrace(Where where,
java.lang.String format,
java.util.List<ru.ispras.fortress.expression.Node> args) |
Statement |
createUndefined() |
Statement |
createUnpredicted() |
getIr, getReporter, getSymbols, getThisArgs, raiseError, raiseError
public StatementFactory(WalkerContext context)
public Statement createAssignment(Where where, Expr leftExpr, Expr right) throws SemanticException
SemanticException
public java.util.List<Statement> createCondition(java.util.List<ru.ispras.fortress.util.Pair<Expr,java.util.List<Statement>>> blocks)
public Statement createAttributeCall(Where where, java.lang.String attributeName) throws SemanticException
SemanticException
public Statement createAttributeCall(Where where, java.lang.String calleeName, java.lang.String attributeName) throws SemanticException
SemanticException
public Statement createAttributeCall(Where where, Instance calleeInstance, java.lang.String attributeName) throws SemanticException
SemanticException
public ru.ispras.fortress.expression.Node createCallNode(StatementAttributeCall call)
public Statement createFormat(Where where, java.lang.String format, java.util.List<ru.ispras.fortress.expression.Node> args) throws SemanticException
SemanticException
public Statement createTrace(Where where, java.lang.String format, java.util.List<ru.ispras.fortress.expression.Node> args) throws SemanticException
SemanticException
public Statement createUnpredicted()
public Statement createUndefined()