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

Example 1 with PrologGenerator

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

the class PrologGeneratorHelper method det.

public void det(ADetLtl node, PrologGenerator gen) {
    LinkedList<PActions> list = node.getArgs();
    pto.openTerm("ap");
    pto.openTerm("det");
    pto.openList();
    for (PActions pLtl : list) {
        pLtl.apply(gen);
    }
    pto.closeList();
    pto.closeTerm();
    pto.closeTerm();
}

Example 2 with PrologGenerator

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

the class CtlParser method applyPrologGenerator.

@Override
protected void applyPrologGenerator(StructuredPrologOutput pto, String stateID, ProBParserBase specParser, Start ast) {
    final PrologCtlGenerator prologGenerator = new PrologCtlGenerator(pto, stateID, specParser);
    ast.apply(prologGenerator);
}

Example 3 with PrologGenerator

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

the class LtlParser method applyPrologGenerator.

@Override
protected void applyPrologGenerator(StructuredPrologOutput pto, String stateID, ProBParserBase specParser, Start ast) {
    final PrologGenerator prologGenerator = new PrologGenerator(pto, stateID, specParser);
    ast.apply(prologGenerator);
}

Example 4 with PrologGenerator

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

the class PrologGeneratorHelper method dlk.

public void dlk(ADlkLtl node, PrologGenerator gen) {
    LinkedList<PActions> list = node.getArgs();
    pto.openTerm("ap");
    pto.openTerm("dlk");
    pto.openList();
    for (PActions pLtl : list) {
        pLtl.apply(gen);
    }
    pto.closeList();
    pto.closeTerm();
    pto.closeTerm();
}

Example 5 with PrologGenerator

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

the class PrologGeneratorHelper method ctrl.

public void ctrl(ACtrlLtl node, PrologGenerator gen) {
    LinkedList<PActions> list = node.getArgs();
    pto.openTerm("ap");
    pto.openTerm("ctrl");
    pto.openList();
    for (PActions pLtl : list) {
        pLtl.apply(gen);
    }
    pto.closeList();
    pto.closeTerm();
    pto.closeTerm();
}