Search in sources :

Example 1 with AConstructorFreetypeConstructor

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

the class ASTPrologTest method testFreeType.

@Test
public void testFreeType() throws BCompoundException {
    final AConstructorFreetypeConstructor multi = new AConstructorFreetypeConstructor(new TIdentifierLiteral("multi"), new APowSubsetExpression(new AIntegerSetExpression()));
    final AConstructorFreetypeConstructor single = new AConstructorFreetypeConstructor(new TIdentifierLiteral("single"), new AIntegerSetExpression());
    final AFreetype freetype = new AFreetype(new TIdentifierLiteral("T"), Arrays.<PFreetypeConstructor>asList(multi, single));
    AFreetypesMachineClause clause = new AFreetypesMachineClause(Arrays.<PFreetype>asList(freetype));
    final StringWriter swriter = new StringWriter();
    NodeIdAssignment nodeids = new NodeIdAssignment();
    clause.apply(nodeids);
    IPrologTermOutput pout = new PrologTermOutput(new PrintWriter(swriter), false);
    PositionPrinter pprinter = new ClassicalPositionPrinter(nodeids);
    ASTProlog prolog = new ASTProlog(pout, pprinter);
    clause.apply(prolog);
    String code = swriter.toString();
    assertFalse(code.isEmpty());
    assertEquals("freetypes(0,[freetype(1,'T',[constructor(2,multi,pow_subset(3,integer_set(4))),constructor(5,single,integer_set(6))])])", code);
}
Also used : ClassicalPositionPrinter(de.be4.classicalb.core.parser.analysis.prolog.ClassicalPositionPrinter) PrologTermOutput(de.prob.prolog.output.PrologTermOutput) IPrologTermOutput(de.prob.prolog.output.IPrologTermOutput) PositionPrinter(de.be4.classicalb.core.parser.analysis.prolog.PositionPrinter) ClassicalPositionPrinter(de.be4.classicalb.core.parser.analysis.prolog.ClassicalPositionPrinter) AIntegerSetExpression(de.be4.classicalb.core.parser.node.AIntegerSetExpression) TIdentifierLiteral(de.be4.classicalb.core.parser.node.TIdentifierLiteral) NodeIdAssignment(de.be4.classicalb.core.parser.analysis.prolog.NodeIdAssignment) ASTProlog(de.be4.classicalb.core.parser.analysis.prolog.ASTProlog) StringWriter(java.io.StringWriter) AConstructorFreetypeConstructor(de.be4.classicalb.core.parser.node.AConstructorFreetypeConstructor) APowSubsetExpression(de.be4.classicalb.core.parser.node.APowSubsetExpression) AFreetypesMachineClause(de.be4.classicalb.core.parser.node.AFreetypesMachineClause) AFreetype(de.be4.classicalb.core.parser.node.AFreetype) IPrologTermOutput(de.prob.prolog.output.IPrologTermOutput) PrintWriter(java.io.PrintWriter) Test(org.junit.Test)

Example 2 with AConstructorFreetypeConstructor

use of de.be4.classicalb.core.parser.node.AConstructorFreetypeConstructor 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));
}
Also used : AElementFreetypeConstructor(de.be4.classicalb.core.parser.node.AElementFreetypeConstructor) AConstructorFreetypeConstructor(de.be4.classicalb.core.parser.node.AConstructorFreetypeConstructor) AFreetypesMachineClause(de.be4.classicalb.core.parser.node.AFreetypesMachineClause) ABoolSetExpression(de.be4.classicalb.core.parser.node.ABoolSetExpression) AIntSetExpression(de.be4.classicalb.core.parser.node.AIntSetExpression) TIdentifierLiteral(de.be4.classicalb.core.parser.node.TIdentifierLiteral) AFreetype(de.be4.classicalb.core.parser.node.AFreetype)

Aggregations

AConstructorFreetypeConstructor (de.be4.classicalb.core.parser.node.AConstructorFreetypeConstructor)2 AFreetype (de.be4.classicalb.core.parser.node.AFreetype)2 AFreetypesMachineClause (de.be4.classicalb.core.parser.node.AFreetypesMachineClause)2 TIdentifierLiteral (de.be4.classicalb.core.parser.node.TIdentifierLiteral)2 ASTProlog (de.be4.classicalb.core.parser.analysis.prolog.ASTProlog)1 ClassicalPositionPrinter (de.be4.classicalb.core.parser.analysis.prolog.ClassicalPositionPrinter)1 NodeIdAssignment (de.be4.classicalb.core.parser.analysis.prolog.NodeIdAssignment)1 PositionPrinter (de.be4.classicalb.core.parser.analysis.prolog.PositionPrinter)1 ABoolSetExpression (de.be4.classicalb.core.parser.node.ABoolSetExpression)1 AElementFreetypeConstructor (de.be4.classicalb.core.parser.node.AElementFreetypeConstructor)1 AIntSetExpression (de.be4.classicalb.core.parser.node.AIntSetExpression)1 AIntegerSetExpression (de.be4.classicalb.core.parser.node.AIntegerSetExpression)1 APowSubsetExpression (de.be4.classicalb.core.parser.node.APowSubsetExpression)1 IPrologTermOutput (de.prob.prolog.output.IPrologTermOutput)1 PrologTermOutput (de.prob.prolog.output.PrologTermOutput)1 PrintWriter (java.io.PrintWriter)1 StringWriter (java.io.StringWriter)1 Test (org.junit.Test)1