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.