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

Example 1 with ATruthPredicate

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

the class ASTPrologTest method testTrueFalse.

@Test
public void testTrueFalse() throws BCompoundException {
    checkPredicate("TRUE : BOOL", "member($,boolean_true($),bool_set($))");
    checkPredicate("FALSE : BOOL", "member($,boolean_false($),bool_set($))");
    final ADisjunctPredicate disjunction = new ADisjunctPredicate();
    disjunction.setLeft(new ATruthPredicate());
    disjunction.setRight(new AFalsityPredicate());
    checkAST(0, "disjunct($,truth($),falsity($))", disjunction);
}

Example 2 with ATruthPredicate

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

the class ASTPrologTest method testEvent.

@Test
public void testEvent() throws BCompoundException {
    final AEventBModelParseUnit model = new AEventBModelParseUnit();
    model.setName(new TIdentifierLiteral("mm"));
    final AEventsModelClause events = new AEventsModelClause();
    model.setModelClauses(Arrays.asList((PModelClause) events));
    AEvent event = new AEvent();
    events.setEvent(Arrays.asList((PEvent) event));
    event.setEventName(new TIdentifierLiteral("testevent"));
    event.setVariables(Arrays.asList(createId("param")));
    event.setGuards(Arrays.asList((PPredicate) new ATruthPredicate()));
    PSubstitution subst1 = new AAssignSubstitution(Arrays.asList(createId("x")), Arrays.asList(createId("param")));
    event.setAssignments(Arrays.asList(subst1));
    PWitness witness = new AWitness(new TIdentifierLiteral("ab"), new AEqualPredicate(createId("ab"), createId("y")));
    event.setWitness(Arrays.asList(witness));
    event.setRefines(Arrays.asList(new TIdentifierLiteral("abstract1"), new TIdentifierLiteral("abstract2")));
    checkAST(0, "event_b_model($,mm,[events($,[" + "event($,testevent,[abstract1,abstract2],[identifier($,param)],[truth($)],[]," + "[assign($,[identifier($,x)],[identifier($,param)])]," + "[witness($,identifier(%,ab),equal($,identifier($,ab),identifier($,y)))])])])", model);
}