Examples with SemanticAstCreator de.bmoth.parser.ast.SemanticAstCreator used on opensource projects

Example 1 with SemanticAstCreator

use of de.bmoth.parser.ast.SemanticAstCreator in project bmoth by hhu-stups.

the class Parser method getLTLFormulaAst.

private LTLFormula getLTLFormulaAst(LtlStartContext context) throws ScopeException {
    LTLFormulaAnalyser formulaAnalyser = new LTLFormulaAnalyser(context);
    SemanticAstCreator astCreator = new SemanticAstCreator(formulaAnalyser);
    return (LTLFormula) astCreator.getAstNode();
}

Example 2 with SemanticAstCreator

use of de.bmoth.parser.ast.SemanticAstCreator in project bmoth by hhu-stups.

the class Parser method getFormulaAst.

private FormulaNode getFormulaAst(FormulaContext formula) throws ScopeException {
    FormulaAnalyser formulaAnalyser = new FormulaAnalyser(formula);
    SemanticAstCreator astCreator = new SemanticAstCreator(formulaAnalyser);
    return (FormulaNode) astCreator.getAstNode();
}

Example 3 with SemanticAstCreator

use of de.bmoth.parser.ast.SemanticAstCreator in project bmoth by hhu-stups.

the class Parser method getMachineAst.

private MachineNode getMachineAst(StartContext start) throws ScopeException, ParseErrorException {
    MachineAnalyser machineAnalyser = new MachineAnalyser(start);
    SemanticAstCreator astCreator = new SemanticAstCreator(machineAnalyser);
    return (MachineNode) astCreator.getAstNode();
}