Class AbaParser<T extends Formula>

  • 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 Detail

      • AbaParser

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

      • parseBeliefBase

        public AbaTheory<T> parseBeliefBase​(java.io.Reader reader)
                                     throws java.io.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:
        java.io.IOException - if some IO issue occurred.
        ParserException - some parsing exceptions may be added here.
      • parseFormula

        public Formula parseFormula​(java.io.Reader reader)
                             throws java.io.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:
        java.io.IOException - if some IO issue occurred.
        ParserException - some parsing exceptions may be added here.
      • getSymbolTrue

        public java.lang.String getSymbolTrue()
        Returns:
        the symbolTrue
      • setSymbolTrue

        public void setSymbolTrue​(java.lang.String symbolTrue)
        Parameters:
        symbolTrue - the symbolTrue to set
      • getSymbolArrow

        public java.lang.String getSymbolArrow()
        Returns:
        the symbolArrow
      • setSymbolArrow

        public void setSymbolArrow​(java.lang.String symbolArrow)
        Parameters:
        symbolArrow - the symbolArrow to set
      • getSymbolComma

        public java.lang.String getSymbolComma()
        Returns:
        the symbolComma
      • setSymbolComma

        public void setSymbolComma​(java.lang.String symbolComma)
        Parameters:
        symbolComma - the symbolComma to set