Class AbaParser<T extends Formula>

java.lang.Object
org.tweetyproject.commons.Parser<AbaTheory<T>,Formula>
org.tweetyproject.arg.aba.parser.AbaParser<T>
Type Parameters:
T - the type of formulas (language) that the ABA theory ranges over

public class AbaParser<T extends Formula> extends Parser<AbaTheory<T>,Formula>
Parses a Assumption Based Argumentation System out of an input text. With standard symbols, every line contains one of the following:
<rule> ::= <head> '<-' <body>?
<head> ::= <word>
<body> ::= 'true' | <word> (',' <word>)*
<assumption> ::= <word>
<assumptions> ::= '{' <assumption> (',' <assumption>)* '}'
with <word> in the theory's language.
Author:
Nils Geilen
  • Constructor Details

    • AbaParser

      public AbaParser(Parser<? extends BeliefBase,? extends Formula> formulaparser)
      Creates a new ABA parser
      Parameters:
      formulaparser - parses formulae of the language
  • Method Details

    • parseBeliefBase

      public AbaTheory<T> parseBeliefBase(Reader reader) throws IOException, ParserException
      Description copied from class: Parser
      Parses the given reader into a belief base of the given type.
      Specified by:
      parseBeliefBase in class Parser<AbaTheory<T extends Formula>,Formula>
      Parameters:
      reader - a reader
      Returns:
      a belief base
      Throws:
      IOException - if some IO issue occurred.
      ParserException - some parsing exceptions may be added here.
    • parseFormula

      public Formula parseFormula(Reader reader) throws IOException, ParserException
      Description copied from class: Parser
      Parses the given reader into a formula of the given type.
      Specified by:
      parseFormula in class Parser<AbaTheory<T extends Formula>,Formula>
      Parameters:
      reader - a reader
      Returns:
      a formula
      Throws:
      IOException - if some IO issue occurred.
      ParserException - some parsing exceptions may be added here.
    • getSymbolTrue

      public String getSymbolTrue()
      Returns:
      the symbolTrue
    • setSymbolTrue

      public void setSymbolTrue(String symbolTrue)
      Parameters:
      symbolTrue - the symbolTrue to set
    • getSymbolArrow

      public String getSymbolArrow()
      Returns:
      the symbolArrow
    • setSymbolArrow

      public void setSymbolArrow(String symbolArrow)
      Parameters:
      symbolArrow - the symbolArrow to set
    • getSymbolComma

      public String getSymbolComma()
      Returns:
      the symbolComma
    • setSymbolComma

      public void setSymbolComma(String symbolComma)
      Parameters:
      symbolComma - the symbolComma to set