Examples with Token de.be4.classicalb.core.parser.node.Token used on opensource projects

Example 41 with Token

use of de.be4.classicalb.core.parser.node.Token in project probparsers by bendisposto.

the class PrologCtlGenerator method caseAActionCtl.

@Override
public void caseAActionCtl(final AActionCtl node) {
    final Token token = node.getOperation();
    p.openTerm("action");
    helper.parseTransitionPredicate(UniversalToken.createToken(token));
    p.closeTerm();
}

Example 42 with Token

use of de.be4.classicalb.core.parser.node.Token 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;
}

Example 43 with Token

use of de.be4.classicalb.core.parser.node.Token in project probparsers by bendisposto.

the class PrologGenerator method caseAWeakFairLtl.

@Override
public void caseAWeakFairLtl(final AWeakFairLtl node) {
    final Token token = node.getOperation();
    helper.weak_fair(UniversalToken.createToken(token));
}

Example 44 with Token

use of de.be4.classicalb.core.parser.node.Token in project probparsers by bendisposto.

the class PrologGenerator method caseAAvailableLtl.

@Override
public void caseAAvailableLtl(final AAvailableLtl node) {
    final Token token = node.getOperation();
    helper.available(UniversalToken.createToken(token));
}

Example 45 with Token

use of de.be4.classicalb.core.parser.node.Token in project probparsers by bendisposto.

the class PrologGenerator method caseAOpActions.

@Override
public void caseAOpActions(AOpActions node) {
    final Token token = node.getOperation();
    helper.parseTransitionPredicate(UniversalToken.createToken(token));
}