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

Example 1 with PlainFileContentProvider

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

the class DefinitionFilesTest method testNotExistingFile.

@Test
public void testNotExistingFile() {
    final String testMachine = "MACHINE Test\nDEFINITIONS \"DefFile\"; def1 == xx\nEND";
    try {
        new BParser("testcase").parse(testMachine, false, new PlainFileContentProvider());
        fail("Expected exception was not thrown");
    } catch (final BCompoundException e) {
    // EXPECTED
    }
}