Examples with RecursiveMachineLoader de.be4.classicalb.core.parser.analysis.prolog.RecursiveMachineLoader used on opensource projects

Example 1 with RecursiveMachineLoader

use of de.be4.classicalb.core.parser.analysis.prolog.RecursiveMachineLoader in project probparsers by bendisposto.

the class FilePragmaTest method testFilePragma2.

@Test(expected = BCompoundException.class)
public void testFilePragma2() throws IOException, BCompoundException {
    String PATH = "src/test/resources/pragmas/filePragma/";
    String file = PATH + "Main2.mch";
    File f = new File(file);
    BParser bparser = new BParser();
    Start ast = bparser.parseFile(f, false);
    assertNotNull(ast);
    RecursiveMachineLoader rml = new RecursiveMachineLoader(PATH, bparser.getContentProvider());
    rml.loadAllMachines(f, ast, bparser.getDefinitions());
}

Example 2 with RecursiveMachineLoader

use of de.be4.classicalb.core.parser.analysis.prolog.RecursiveMachineLoader in project prob2 by bendisposto.

the class TLAFactory method parseAllMachines.

/**
 * Given an {@link Start} ast, {@link File} f, and {@link BParser} bparser,
 * all machines are loaded.
 *
 * @param ast
 *            {@link Start} representing the abstract syntax tree for the
 *            machine
 * @param f
 *            {@link File} containing machine
 * @param bparser
 *            {@link BParser} for parsing
 * @return {@link RecursiveMachineLoader} rml with all loaded machines
 * @throws BCompoundException if the machines could not be loaded
 */
public RecursiveMachineLoader parseAllMachines(final Start ast, final File f, final BParser bparser) throws BCompoundException {
    final RecursiveMachineLoader rml = new RecursiveMachineLoader(f.getParent(), bparser.getContentProvider());
    rml.loadAllMachines(f, ast, bparser.getDefinitions());
    logger.trace("Done parsing '{}'", f.getAbsolutePath());
    return rml;
}

Example 3 with RecursiveMachineLoader

use of de.be4.classicalb.core.parser.analysis.prolog.RecursiveMachineLoader in project probparsers by bendisposto.

the class AtelierBCompatibilityTest method testSysExtension.

@Test
public void testSysExtension() throws IOException, BCompoundException {
    String PATH = "src/test/resources/atelierb/sys_extension/";
    String file = PATH + "main.sys";
    File f = new File(file);
    BParser bparser = new BParser();
    Start ast = bparser.parseFile(f, false);
    assertNotNull(ast);
    RecursiveMachineLoader rml = new RecursiveMachineLoader(PATH, bparser.getContentProvider());
    rml.loadAllMachines(f, ast, bparser.getDefinitions());
}

Example 4 with RecursiveMachineLoader

use of de.be4.classicalb.core.parser.analysis.prolog.RecursiveMachineLoader in project probparsers by bendisposto.

the class FilePragmaTest method testFilePragma.

@Test
public void testFilePragma() throws IOException, BCompoundException {
    String PATH = "src/test/resources/pragmas/filePragma/";
    String file = PATH + "Main1.mch";
    File f = new File(file);
    BParser bparser = new BParser();
    Start ast = bparser.parseFile(f, false);
    assertNotNull(ast);
    RecursiveMachineLoader rml = new RecursiveMachineLoader(PATH, bparser.getContentProvider(), new ParsingBehaviour());
    rml.loadAllMachines(f, ast, bparser.getDefinitions());
}

Example 5 with RecursiveMachineLoader

use of de.be4.classicalb.core.parser.analysis.prolog.RecursiveMachineLoader in project probparsers by bendisposto.

the class BParser method printASTasProlog.

public static void printASTasProlog(final PrintStream out, final BParser parser, final File bfile, final Start tree, final ParsingBehaviour parsingBehaviour, IDefinitionFileProvider contentProvider) throws BCompoundException {
    final RecursiveMachineLoader rml = new RecursiveMachineLoader(bfile.getParent(), contentProvider, parsingBehaviour);
    rml.loadAllMachines(bfile, tree, parser.getDefinitions());
    rml.printAsProlog(new PrintWriter(out));
}