Package org.tweetyproject.arg.dung

Class ProboTest

java.lang.Object
org.tweetyproject.arg.dung.ProboTest
public class ProboTest extends Object
Tests parsing and writing functionalities for different formats of Dung's argumentation frameworks using the AbstractDungParser and AbstractDungWriter within the TweetyProject framework.

  • Constructor Summary

    Constructors
    Constructor
    Description
    ProboTest()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    ParserTest()
    Prepares and parses argumentation frameworks from files in different formats (TGF and APX), then asserts correct parsing by checking the number of attacks and nodes.
    void
    WriterTest()
    Tests the functionality of the AbstractDungWriter to ensure it correctly formats arguments into a string based on a DungTheory object.

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • ProboTest

      public ProboTest()

  • Method Details

    • ParserTest

      public void ParserTest() throws Exception
      Prepares and parses argumentation frameworks from files in different formats (TGF and APX), then asserts correct parsing by checking the number of attacks and nodes.
      Throws:
      Exception - if the file paths are incorrect or files are not readable.

    • WriterTest

      public void WriterTest() throws Exception
      Tests the functionality of the AbstractDungWriter to ensure it correctly formats arguments into a string based on a DungTheory object.
      Throws:
      Exception - if there are issues creating the writer or writing the data.