de.prob.tmparser.TheoryMappingParser Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of theorymapping Show documentation

Part of the ProB Parser library

There is a newer version: 2.13.5

package de.prob.tmparser;

import java.io.FileReader;
import java.io.IOException;
import java.io.PushbackReader;
import java.io.Reader;
import java.util.Collection;

import de.prob.core.theorymapping.lexer.Lexer;
import de.prob.core.theorymapping.lexer.LexerException;
import de.prob.core.theorymapping.node.Start;
import de.prob.core.theorymapping.parser.Parser;
import de.prob.core.theorymapping.parser.ParserException;
import de.prob.tmparser.internal.MappingVisitor;

public class TheoryMappingParser {
	static public Collection parseTheoryMapping(
			String theoryName, String filename) throws IOException {
		final Reader input = new FileReader(filename);
		return parseTheoryMapping(theoryName, input);
	}

	static public Collection parseTheoryMapping(
			String theoryName, Reader input) throws IOException {
		Start ast;
		try {
			ast = parse(input);
		} catch (ParserException e) {
			throw new TheoryMappingException(e);
		} catch (LexerException e) {
			throw new TheoryMappingException(e);
		}
		return extractMappings(ast, theoryName);
	}

	static private Start parse(Reader input) throws ParserException,
			LexerException, IOException {
		final Lexer lexer = new Lexer(new PushbackReader(input));
		final Parser parser = new Parser(lexer);
		return parser.parse();
	}

	static private Collection extractMappings(Start ast,
			String theoryName) {
		MappingVisitor visitor = new MappingVisitor(theoryName);
		ast.apply(visitor);
		return visitor.getMappings();
	}

}