Examples with LtlLexer de.be4.ltl.core.parser.internal.LtlLexer used on opensource projects

Example 1 with LtlLexer

use of de.be4.ltl.core.parser.internal.LtlLexer in project probparsers by bendisposto.

the class LTLFormulaVisitor method parseLTLFormula.

public static Start parseLTLFormula(String ltlFormula) throws ParserException, LexerException, IOException {
    StringReader reader = new StringReader(ltlFormula);
    PushbackReader r = new PushbackReader(reader);
    Lexer l = new LtlLexer(r);
    Parser p = new Parser(l);
    Start ast = null;
    ast = p.parse();
    return ast;
}

Example 2 with LtlLexer

use of de.be4.ltl.core.parser.internal.LtlLexer in project probparsers by bendisposto.

the class LtlParser method parseFormula.

protected Start parseFormula(final String formula) throws LtlParseException, IOException {
    StringReader reader = new StringReader(formula);
    PushbackReader r = new PushbackReader(reader);
    Lexer l = new LtlLexer(r);
    Parser p = new Parser(l);
    Start ast = null;
    try {
        ast = p.parse();
    } catch (ParserException e) {
        final UniversalToken token = UniversalToken.createToken(e.getToken());
        throw new LtlParseException(token, e.getLocalizedMessage());
    } catch (LexerException e) {
        throw new LtlParseException(null, e.getLocalizedMessage());
    }
    return ast;
}