Package net.sf.tweety.arg.adf.parser.test

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
private KppADFFormatParser	parser

Constructor Summary

Constructors

Constructor	Description
KppADFFormatParserTest()

Method Summary

Modifier and Type	Method	Description
private void	parseAllInDirectory(java.lang.String dir)
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

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

Field Detail

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

parser

private KppADFFormatParser parser

Constructor Detail

KppADFFormatParserTest

public KppADFFormatParserTest()

Method Detail

parseAllInDirectory

private void parseAllInDirectory(java.lang.String dir)
                          throws ParserException,
                                 java.io.FileNotFoundException,
                                 java.io.IOException

Throws:

ParserException

java.io.FileNotFoundException

java.io.IOException

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