Class StatementFactory
- java.lang.Object
-
- ru.ispras.microtesk.translator.nml.antlrex.WalkerFactoryBase
-
- ru.ispras.microtesk.translator.nml.antlrex.StatementFactory
-
- All Implemented Interfaces:
WalkerContext
public final class StatementFactory extends WalkerFactoryBase
-
-
Constructor Summary
Constructors Constructor Description StatementFactory(WalkerContext context)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Statement
createAssert(Where where, Expr condition, java.lang.String message)
Statement
createAssignment(Where where, Expr leftExpr, Expr right)
Statement
createAttributeCall(Where where, java.lang.String attributeName)
Statement
createAttributeCall(Where where, java.lang.String calleeName, java.lang.String attributeName)
Statement
createAttributeCall(Where where, Instance calleeInstance, 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()
-
Methods inherited from class ru.ispras.microtesk.translator.nml.antlrex.WalkerFactoryBase
getIr, getReporter, getSymbols, getThisArgs, raiseError, raiseError
-
-
-
-
Constructor Detail
-
StatementFactory
public StatementFactory(WalkerContext context)
-
-
Method Detail
-
createAssignment
public Statement createAssignment(Where where, Expr leftExpr, Expr right) throws SemanticException
- Throws:
SemanticException
-
createCondition
public java.util.List<Statement> createCondition(java.util.List<ru.ispras.fortress.util.Pair<Expr,java.util.List<Statement>>> blocks)
-
createAttributeCall
public Statement createAttributeCall(Where where, java.lang.String attributeName) throws SemanticException
- Throws:
SemanticException
-
createAttributeCall
public Statement createAttributeCall(Where where, java.lang.String calleeName, java.lang.String attributeName) throws SemanticException
- Throws:
SemanticException
-
createAttributeCall
public Statement createAttributeCall(Where where, Instance calleeInstance, java.lang.String attributeName) throws SemanticException
- Throws:
SemanticException
-
createCallNode
public ru.ispras.fortress.expression.Node createCallNode(StatementAttributeCall call)
-
createFormat
public Statement createFormat(Where where, java.lang.String format, java.util.List<ru.ispras.fortress.expression.Node> args) throws SemanticException
- Throws:
SemanticException
-
createTrace
public Statement createTrace(Where where, java.lang.String format, java.util.List<ru.ispras.fortress.expression.Node> args) throws SemanticException
- Throws:
SemanticException
-
createUnpredicted
public Statement createUnpredicted()
-
createUndefined
public Statement createUndefined()
-
-