Class AspicParser<T extends Invertable>

java.lang.Object
org.tweetyproject.commons.Parser<AspicArgumentationTheory<T>,Formula>
org.tweetyproject.arg.aspic.parser.AspicParser<T>
Type Parameters:
T - is the type of the language that the ASPIC theory's rules range over

public class AspicParser<T extends Invertable> extends Parser<AspicArgumentationTheory<T>,Formula>
Parses a Aspic Argumentation System out of an input text. Every line contains one of the following:
<order> ::= <identifier> ( '<' <identifier> )+
<ordinary premise> ::= '=>' '-'? <identifier>
<axiom> ::= '->' '-'? <identifier>
<defeasible rule> ::= ( <identifier> ':' )? <identifier> ( ',' <identifier> )* '=>' (-)? <identifier>
<static rule> ::= <identifier> ( ',' <identifier> )* '->' (-)? <identifier>
Author:
Nils Geilen
  • Constructor Details

    • AspicParser

      public AspicParser(Parser<? extends BeliefBase,? extends Formula> formulaparser, RuleFormulaGenerator<T> rfg)
      Constructs a new instance
      Parameters:
      formulaparser - parses the bodies and the heads of the ASPIC argumentation systems rules
      rfg - a generator, that transforms InferenceRule<T> into T
  • Method Details

    • setSymbolStrict

      public void setSymbolStrict(String symbolStrict)
      Sets a new symbol used for parsing strict function arrows
      Parameters:
      symbolStrict - is the new symbol
    • setSymbolDefeasible

      public void setSymbolDefeasible(String symbolDefeasible)
      Sets a new symbol used for parsing defeasible function arrows
      Parameters:
      symbolDefeasible - is the new symbol
    • setSymbolComma

      public void setSymbolComma(String symbolComma)
      Sets a new symbol used for parsing parameter separators
      Parameters:
      symbolComma - is the new symbol
    • parseBeliefBase

      public AspicArgumentationTheory<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<AspicArgumentationTheory<T extends Invertable>,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<AspicArgumentationTheory<T extends Invertable>,Formula>
      Parameters:
      reader - a reader
      Returns:
      a formula
      Throws:
      IOException - if some IO issue occurred.
      ParserException - some parsing exceptions may be added here.
    • parseSimpleOrder

      public SimpleAspicOrder<T> parseSimpleOrder(String line)
      Extracts and Constructs a SimpleAspicOrder out of a string
      Parameters:
      line - the source string
      Returns:
      the parsed order