Module org.logicng.parsers

Package org.logicng.io.parsers

Class FormulaParser

java.lang.Object

org.logicng.io.parsers.FormulaParser

Direct Known Subclasses:

PropositionalParser, PseudoBooleanParser

public abstract class FormulaParser
extends Object

Super class for a formula parser.

Since:

1.2

Version:

1.2

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	FormulaParser(org.logicng.formulas.FormulaFactory f)	Constructor.

Method Summary

Modifier and Type	Method	Description
org.logicng.formulas.FormulaFactory	factory()	Returns the factory of this parser.
org.logicng.formulas.Formula	parse(InputStream inputStream)	Parses and returns a given input stream.
org.logicng.formulas.Formula	parse(String in)	Parses and returns a given string.
protected void	setLexerAndParser(org.antlr.v4.runtime.Lexer lexer, ParserWithFormula parser)	Sets the internal lexer and the parser.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FormulaParser

protected FormulaParser(org.logicng.formulas.FormulaFactory f)

Constructor.

Parameters:

f - the formula factory

Method Detail

setLexerAndParser

protected void setLexerAndParser(org.antlr.v4.runtime.Lexer lexer,
                                 ParserWithFormula parser)

Sets the internal lexer and the parser.

Parameters:

lexer - the lexer

parser - the parser

parse

public org.logicng.formulas.Formula parse(InputStream inputStream)
                                   throws ParserException

Parses and returns a given input stream.

Parameters:

inputStream - an input stream

Returns:

the Formula representation of this stream

Throws:

ParserException - if there was a problem with the input stream

parse

public org.logicng.formulas.Formula parse(String in)
                                   throws ParserException

Parses and returns a given string.

Parameters:

in - a string

Returns:

the Formula representation of this string

Throws:

ParserException - if the string was not a valid formula

factory

public org.logicng.formulas.FormulaFactory factory()

Returns the factory of this parser.

Returns:

the factory of this parser

toString

public String toString()

Overrides:

toString in class Object