Examples with DeclarationNode de.bmoth.parser.ast.nodes.DeclarationNode used on opensource projects

Example 76 with DeclarationNode

use of de.bmoth.parser.ast.nodes.DeclarationNode in project bmoth by hhu-stups.

the class SetOperationsTest method choiceTest.

@Test
@Ignore
public void choiceTest() throws ParserException {
    String formula = "x :: 4 .. 10";
    FormulaNode formulaNode = Parser.getFormulaAsSemanticAst(formula);
    assertEquals(PREDICATE_FORMULA, formulaNode.getFormulaType());
    DeclarationNode declarationNode = formulaNode.getImplicitDeclarations().get(0);
    assertEquals("x", declarationNode.getName());
    assertEquals(INTEGER, declarationNode.getType().toString());
}

Example 77 with DeclarationNode

use of de.bmoth.parser.ast.nodes.DeclarationNode in project bmoth by hhu-stups.

the class SetOperationsTest method nonEmptyFiniteSubsetsTest.

@Test
@Ignore
public void nonEmptyFiniteSubsetsTest() throws ParserException {
    String formula = "x = FIN1({4,5})";
    FormulaNode formulaNode = Parser.getFormulaAsSemanticAst(formula);
    assertEquals(PREDICATE_FORMULA, formulaNode.getFormulaType());
    DeclarationNode declarationNode = formulaNode.getImplicitDeclarations().get(0);
    assertEquals("x", declarationNode.getName());
    assertEquals(POW_INTEGER_INTEGER, declarationNode.getType().toString());
}

Example 78 with DeclarationNode

use of de.bmoth.parser.ast.nodes.DeclarationNode in project bmoth by hhu-stups.

the class SetOperationsTest method intersectionTest.

@Test
public void intersectionTest() throws ParserException {
    String formula = "x = 4 .. 10 /\\ 5 .. 7";
    FormulaNode formulaNode = Parser.getFormulaAsSemanticAst(formula);
    assertEquals(PREDICATE_FORMULA, formulaNode.getFormulaType());
    DeclarationNode declarationNode = formulaNode.getImplicitDeclarations().get(0);
    assertEquals("x", declarationNode.getName());
    assertEquals(POW_INTEGER, declarationNode.getType().toString());
}

Example 79 with DeclarationNode

use of de.bmoth.parser.ast.nodes.DeclarationNode in project bmoth by hhu-stups.

the class SetOperationsTest method generalizedIntersectionTest.

@Test
public void generalizedIntersectionTest() throws ParserException {
    String formula = "x = inter({{4,5}, {1,2}})";
    FormulaNode formulaNode = Parser.getFormulaAsSemanticAst(formula);
    assertEquals(PREDICATE_FORMULA, formulaNode.getFormulaType());
    DeclarationNode declarationNode = formulaNode.getImplicitDeclarations().get(0);
    assertEquals("x", declarationNode.getName());
    assertEquals(POW_INTEGER, declarationNode.getType().toString());
}

Example 80 with DeclarationNode

use of de.bmoth.parser.ast.nodes.DeclarationNode in project bmoth by hhu-stups.

the class SetOperationsTest method nonProperSubsetTest.

@Test
public void nonProperSubsetTest() throws ParserException {
    String formula = "x /<<: 4 .. 10";
    FormulaNode formulaNode = Parser.getFormulaAsSemanticAst(formula);
    assertEquals(PREDICATE_FORMULA, formulaNode.getFormulaType());
    DeclarationNode declarationNode = formulaNode.getImplicitDeclarations().get(0);
    assertEquals("x", declarationNode.getName());
    assertEquals(POW_INTEGER, declarationNode.getType().toString());
}