Class KppADFFormatParserTest
- java.lang.Object
-
- net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
-
public class KppADFFormatParserTest extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description static 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()
-
-
-
Field Detail
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT
- See Also:
- Constant Field Values
-
-
Method Detail
-
testAllValid
public void testAllValid() throws java.io.IOException, ParserException
- Throws:
java.io.IOException
ParserException
-
testAllKppADFInstances
public void testAllKppADFInstances() throws java.io.IOException, ParserException
- Throws:
java.io.IOException
ParserException
-
testNoLinebreak
public void testNoLinebreak() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
testNoWhitespace
public void testNoWhitespace() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
testMissingDot4
public void testMissingDot4() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
testMissingDot3
public void testMissingDot3() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
testMissingDot2
public void testMissingDot2() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
testMissingDot1
public void testMissingDot1() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
testUndefinedArgumentInACC
public void testUndefinedArgumentInACC() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
-