Examples with LtlStartContext de.bmoth.antlr.BMoThParser.LtlStartContext used on opensource projects

Example 1 with LtlStartContext

use of de.bmoth.antlr.BMoThParser.LtlStartContext in project bmoth by hhu-stups.

the class Parser method getLTLFormulaAsSemanticAst.

public static LTLFormula getLTLFormulaAsSemanticAst(String inputString) throws ParserException {
    Parser parser = new Parser();
    try {
        LtlStartContext context;
        context = parser.parseLTLFormula(inputString);
        LTLFormula ltlFormulaAst = parser.getLTLFormulaAst(context);
        TypeChecker.typecheckLTLFormulaNode(ltlFormulaAst);
        return ltlFormulaAst;
    } catch (ParseErrorException | ScopeException | TypeErrorException e) {
        throw new ParserException(e);
    }
}