Class ApxParser


  • public class ApxParser
    extends AbstractDungParser
    Parses abstract argumentation frameworks in the logic programming format which is given by the following BNF (start symbol is S):

    S ::== "" | "arg" "(" ARGUMENT ")" "\n" S | "att" "(" ARGUMENT "," ARGUMENT ")" "\n" S
    where "ARGUMENT" represents any string (without blanks) as a terminal symbol.
    Author:
    Matthias Thimm
    • Constructor Detail

      • ApxParser

        public ApxParser()
    • Method Detail

      • parse

        public DungTheory parse​(java.io.Reader reader)
                         throws java.io.IOException
        Description copied from class: AbstractDungParser
        Parses the given file into an abstract argumentation framework
        Specified by:
        parse in class AbstractDungParser
        Parameters:
        reader - some reader
        Returns:
        an abstract argumentation framework
        Throws:
        java.io.IOException - for all errors concerning file reading.