Examples with Parser de.be4.eventb.core.parser.parser.Parser used on opensource projects

Example 26 with Parser

use of de.be4.eventb.core.parser.parser.Parser in project probparsers by bendisposto.

the class FilePragmaTest method getTreeAsString.

private String getTreeAsString(final String testMachine) throws BCompoundException {
    // System.out.println("Parsing \"" + testMachine + "\"");
    final BParser parser = new BParser("testcase");
    parser.getOptions().setGrammar(RulesGrammar.getInstance());
    final Start startNode = parser.parse(testMachine, false);
    // startNode.apply(new ASTPrinter());
    final Ast2String ast2String = new Ast2String();
    startNode.apply(ast2String);
    final String string = ast2String.toString();
    // System.out.println(string);
    return string;
}

Example 27 with Parser

use of de.be4.eventb.core.parser.parser.Parser in project probparsers by bendisposto.

the class ParseTestUtil method parse.

private static String parse(final String input) throws BCompoundException {
    final BParser parser = new BParser();
    final Start ast = parser.parse(input, false);
    final Ast2String ast2String = new Ast2String();
    ast.apply(ast2String);
    return ast2String.toString();
}

Example 28 with Parser

use of de.be4.eventb.core.parser.parser.Parser in project probparsers by bendisposto.

the class PositionAspectTest method testHasGetMethods.

@Test
public void testHasGetMethods() throws Exception {
    final String testMachine = "#EXPRESSION 1+2";
    final BParser parser = new BParser("testcase");
    final Start startNode = parser.parse(testMachine, true);
    startNode.getStartPos();
    startNode.getEndPos();
}

Example 29 with Parser

use of de.be4.eventb.core.parser.parser.Parser in project probparsers by bendisposto.

the class PositionAspectTest method testSimpleNode.

@Test
public void testSimpleNode() throws Exception {
    final String testMachine = "#EXPRESSION x";
    final BParser parser = new BParser("testcase");
    final Start startNode = parser.parse(testMachine, true);
    final PExpression expression = ((AExpressionParseUnit) startNode.getPParseUnit()).getExpression();
    final SourcePosition startPos = expression.getStartPos();
    final SourcePosition endPos = expression.getEndPos();
    assertNotNull(startNode);
    assertNotNull(endPos);
    assertEquals(1, startPos.getLine());
    assertEquals(13, startPos.getPos());
    assertEquals(1, endPos.getLine());
    assertEquals(14, endPos.getPos());
}

Example 30 with Parser

use of de.be4.eventb.core.parser.parser.Parser in project probparsers by bendisposto.

the class DefinitionFilesTest method testCircleReference.

/*
	 * test circles references between def files
	 */
@Test
public void testCircleReference() throws Exception {
    final String testMachine = "MACHINE Test\nDEFINITIONS \"DefFile3\"\nEND";
    final BParser parser = new BParser("testcase");
    try {
        parser.parse(testMachine, false, this);
        fail("Expected PreParseException missing");
    } catch (final BCompoundException e) {
        assertTrue(e.getCause() instanceof PreParseException);
    }
}