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

Example 1 with ABoolSetExpression

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

the class BoolType method createASTNode.

public PExpression createASTNode(Typechecker typechecker) {
    ABoolSetExpression node = new ABoolSetExpression();
    typechecker.setType(node, new SetType(this));
    return node;
}

Example 2 with ABoolSetExpression

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

the class CreateFreetypeTest method createFreetype.

private AFreetypesMachineClause createFreetype() {
    final AConstructorFreetypeConstructor cons1 = new AConstructorFreetypeConstructor(new TIdentifierLiteral(CONS_BOOL), new ABoolSetExpression());
    final AConstructorFreetypeConstructor cons2 = new AConstructorFreetypeConstructor(new TIdentifierLiteral(CONS_INT), new AIntSetExpression());
    final AElementFreetypeConstructor cons3 = new AElementFreetypeConstructor(new TIdentifierLiteral(CONS_EMPTY));
    final AFreetype freetype = new AFreetype(new TIdentifierLiteral(FREETYPE_NAME), Arrays.<PFreetypeConstructor>asList(cons1, cons2, cons3));
    return new AFreetypesMachineClause(Arrays.<PFreetype>asList(freetype));
}

Example 3 with ABoolSetExpression

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

the class CreateFreetypeTest method createOperations.

private AOperationsMachineClause createOperations() {
    final AOperation op1 = createAdd("addBool", "b", new ABoolSetExpression(), CONS_BOOL);
    final AOperation op2 = createAdd("addInt", "i", new AIntSetExpression(), CONS_INT);
    final AOperation op3 = createSimpleAdd("addEmpty");
    final AOperationsMachineClause operations = new AOperationsMachineClause(Arrays.<POperation>asList(op1, op2, op3));
    return operations;
}