jtabwbx.prop.parser

Class PropositionalFormulaParser

java.lang.Object

jtabwbx.prop.parser.PropositionalFormulaParser

public class PropositionalFormulaParser
extends java.lang.Object

A parser for propositional formulas. Formulas must be defined as follows:

• Propositional variables. ["_","a"-"z","A"-"Z"] | (["_","a"-"z","A"-"Z"] | ["0"-"9"])*
• Logical constants. Listed in order of precedence (from highest to lowest):
  • true, false
  • ~ (not): prefix, unary
  • & (and): infix, binary
  • | (or): infix, binary
  • <=> (iff): infix, binary

Author:

Mauro Ferrari

Constructor Summary

Constructors

Constructor and Description
PropositionalFormulaParser() Constructs a parser.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getDescription() Returns a description of the parser.
java.lang.String	getName() Returns the parser name.
org.antlr.v4.runtime.tree.ParseTree	parse(java.lang.String str) Parses the string given as argument and returns the corresponding ParseTree.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PropositionalFormulaParser

public PropositionalFormulaParser()

Constructs a parser.

Method Detail

parse

public org.antlr.v4.runtime.tree.ParseTree parse(java.lang.String str)
                                          throws FormulaParseException

Parses the string given as argument and returns the corresponding ParseTree.

Parameters:

str - the string describing the formula.

Returns:

the parse tree.

Throws:

FormulaParseException - if an error occurs during parsing.

getName

public java.lang.String getName()

Returns the parser name.

Returns:

the parser name.

getDescription

public java.lang.String getDescription()

Returns a description of the parser.

Returns:

the string describing the parser.