Package org.tweetyproject.arg.adf.parser.test

Class KppADFFormatParserTest

java.lang.Object

org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

public class KppADFFormatParserTest
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
KppADFFormatParserTest()

Method Summary

Modifier and Type	Method	Description
void	testAllKppADFInstances()
void	testAllValid()
void	testMissingDot1()
void	testMissingDot2()
void	testMissingDot3()
void	testMissingDot4()
void	testNoLinebreak()
void	testNoWhitespace()
void	testUndefinedArgumentInACC()

Methods inherited from class java.lang.Object

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

Field Details

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

• Constant Field Values

Constructor Details

KppADFFormatParserTest

public KppADFFormatParserTest()

Method Details

testAllValid

public void testAllValid()
                  throws IOException

Throws:

IOException

testAllKppADFInstances

public void testAllKppADFInstances()
                            throws IOException

Throws:

IOException

testNoLinebreak

public void testNoLinebreak()
                     throws IOException

Throws:

IOException

testNoWhitespace

public void testNoWhitespace()
                      throws IOException

Throws:

IOException

testMissingDot4

public void testMissingDot4()
                     throws IOException

Throws:

IOException

testMissingDot3

public void testMissingDot3()
                     throws IOException

Throws:

IOException

testMissingDot2

public void testMissingDot2()
                     throws IOException

Throws:

IOException

testMissingDot1

public void testMissingDot1()
                     throws IOException

Throws:

IOException

testUndefinedArgumentInACC

public void testUndefinedArgumentInACC()
                                throws IOException

Throws:

IOException