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

Example 56 with BCompoundException

use of de.be4.classicalb.core.parser.exceptions.BCompoundException 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 57 with BCompoundException

use of de.be4.classicalb.core.parser.exceptions.BCompoundException in project prob2 by bendisposto.

the class TLAFactory method parseFile.

/**
 * Parse a file into an AST {@link Start}.
 *
 * @param model
 *            {@link File} containing B machine
 * @param bparser
 *            {@link BParser} for parsing
 * @return {@link Start} AST after parsing model with {@link BParser}
 *         bparser
 * @throws IOException if an I/O error occurred
 * @throws BCompoundException if the file could not be parsed
 */
public Start parseFile(final File model, final BParser bparser) throws IOException, BCompoundException {
    logger.trace("Parsing main file '{}'", model.getAbsolutePath());
    Start ast = null;
    ast = bparser.parseFile(model, false);
    return ast;
}

Example 58 with BCompoundException

use of de.be4.classicalb.core.parser.exceptions.BCompoundException in project prob2 by bendisposto.

the class ClassicalBFactory method parseFile.

/**
 * Parse a file into an AST {@link Start}.
 *
 * @param model
 *            {@link File} containing B machine
 * @param bparser
 *            {@link BParser} for parsing
 * @return {@link Start} AST after parsing model with {@link BParser} bparser
 * @throws IOException
 *             if an I/O error occurred
 * @throws ProBError
 *             if the file could not be parsed
 */
public Start parseFile(final File model, final BParser bparser) throws IOException {
    try {
        logger.trace("Parsing main file '{}'", model.getAbsolutePath());
        Start ast = null;
        ast = bparser.parseFile(model, false);
        return ast;
    } catch (BCompoundException e) {
        throw new ProBError(e);
    }
}

Example 59 with BCompoundException

use of de.be4.classicalb.core.parser.exceptions.BCompoundException in project prob2 by bendisposto.

the class ProBError method convertParserExceptionToErrorItems.

private static List<ErrorItem> convertParserExceptionToErrorItems(BCompoundException e) {
    List<ErrorItem> errorItems = new ArrayList<>();
    for (BException bException : e.getBExceptions()) {
        List<ErrorItem.Location> errorItemlocations = new ArrayList<>();
        if (bException.getFilename() != null && bException.getCause() != null) {
            List<BException.Location> parserlocations = bException.getLocations();
            for (BException.Location location : parserlocations) {
                ErrorItem.Location loc = new ErrorItem.Location(bException.getFilename(), location.getStartLine(), location.getStartColumn(), location.getEndLine(), location.getEndColumn());
                errorItemlocations.add(loc);
            }
        }
        ErrorItem item = new ErrorItem(bException.getMessage(), ErrorItem.Type.ERROR, errorItemlocations);
        errorItems.add(item);
    }
    return errorItems;
}

Example 60 with BCompoundException

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

the class SubstitutionTest method getTreeAsString.

private String getTreeAsString(final String testMachine) throws BCompoundException {
    // System.out.println("Parsing \"" + testMachine + "\"");
    final BParser parser = new BParser("testcase");
    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;
}