Package net.sf.tweety.arg.aba.parser

Class ABAParser<T extends Formula>

  • Type Parameters:
    T - is the type of the language that the ABA theory ranges over
    public class ABAParser<T extends Formula>
extends Parser<ABATheory<T>,​Formula>
    Author:
    Nils Geilen 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.

    • Field Detail

      • formulaparser

        private final Parser<? extends BeliefBase,​? extends Formula> formulaparser
        Used to parse formulae

      • symbolTrue

        private java.lang.String symbolTrue
        Symbols used for parsing rules

      • symbolArrow

        private java.lang.String symbolArrow
        Symbols used for parsing rules

      • symbolComma

        private java.lang.String symbolComma
        Symbols used for parsing rules

    • Constructor Detail

      • ABAParser

        public ABAParser​(Parser<? extends BeliefBase,​? extends Formula> formulaparser)
        Create 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