net.sf.tweety.logics.pl.test

Class PlParserTest

java.lang.Object

net.sf.tweety.logics.pl.test.PlParserTest

public class PlParserTest
extends java.lang.Object

JUnit Test class for PlParser.

Author:

Matthias Thimm, Anna Gessler

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_TIMEOUT
(package private) PlParser	parser

Constructor Summary

Constructors

Constructor and Description
PlParserTest()

Method Summary

Modifier and Type	Method and Description
void	BrokenParenthesesTest()
void	BrokenParenthesesTest2()
void	BrokenParenthesesTest3()
void	ConjunctionTest()
void	ContradictionTest()
void	DisjunctionTest()
void	EmptyConjunctionTest()
void	EmptyDisjunctionTest()
void	EmptyParenthesesTest()
void	IllegalCharacterTest()
void	IncompleteConjunctionTest()
void	IncompleteDisjunctionTest()
void	initParser()
void	NegationTest()
void	NestedFormulaTest()
void	ParseBeliefBaseFromFileTest()
void	ParseBeliefBaseTest()
void	PropositionTest()
void	SpecialCharactersTest()
void	TautologyTest()

Methods inherited from class java.lang.Object

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

Field Detail

parser

PlParser parser

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

Constructor Detail

PlParserTest

public PlParserTest()

Method Detail

initParser

public void initParser()
                throws ParserException,
                       java.io.IOException

Throws:

ParserException

java.io.IOException

PropositionTest

public void PropositionTest()
                     throws ParserException,
                            java.io.IOException

Throws:

ParserException

java.io.IOException

NegationTest

public void NegationTest()
                  throws ParserException,
                         java.io.IOException

Throws:

ParserException

java.io.IOException

DisjunctionTest

public void DisjunctionTest()
                     throws ParserException,
                            java.io.IOException

Throws:

ParserException

java.io.IOException

ConjunctionTest

public void ConjunctionTest()
                     throws ParserException,
                            java.io.IOException

Throws:

ParserException

java.io.IOException

TautologyTest

public void TautologyTest()
                   throws ParserException,
                          java.io.IOException

Throws:

ParserException

java.io.IOException

ContradictionTest

public void ContradictionTest()
                       throws ParserException,
                              java.io.IOException

Throws:

ParserException

java.io.IOException

NestedFormulaTest

public void NestedFormulaTest()
                       throws ParserException,
                              java.io.IOException

Throws:

ParserException

java.io.IOException

SpecialCharactersTest

public void SpecialCharactersTest()
                           throws ParserException,
                                  java.io.IOException

Throws:

ParserException

java.io.IOException

ParseBeliefBaseTest

public void ParseBeliefBaseTest()
                         throws ParserException,
                                java.io.IOException

Throws:

ParserException

java.io.IOException

ParseBeliefBaseFromFileTest

public void ParseBeliefBaseFromFileTest()
                                 throws ParserException,
                                        java.io.IOException

Throws:

ParserException

java.io.IOException

EmptyDisjunctionTest

public void EmptyDisjunctionTest()
                          throws ParserException,
                                 java.io.IOException

Throws:

ParserException

java.io.IOException

EmptyConjunctionTest

public void EmptyConjunctionTest()
                          throws ParserException,
                                 java.io.IOException

Throws:

ParserException

java.io.IOException

IncompleteConjunctionTest

public void IncompleteConjunctionTest()
                               throws ParserException,
                                      java.io.IOException

Throws:

ParserException

java.io.IOException

IncompleteDisjunctionTest

public void IncompleteDisjunctionTest()
                               throws ParserException,
                                      java.io.IOException

Throws:

ParserException

java.io.IOException

IllegalCharacterTest

public void IllegalCharacterTest()
                          throws ParserException,
                                 java.io.IOException

Throws:

ParserException

java.io.IOException

BrokenParenthesesTest

public void BrokenParenthesesTest()
                           throws ParserException,
                                  java.io.IOException

Throws:

ParserException

java.io.IOException

BrokenParenthesesTest2

public void BrokenParenthesesTest2()
                            throws ParserException,
                                   java.io.IOException

Throws:

ParserException

java.io.IOException

BrokenParenthesesTest3

public void BrokenParenthesesTest3()
                            throws ParserException,
                                   java.io.IOException

Throws:

ParserException

java.io.IOException

EmptyParenthesesTest

public void EmptyParenthesesTest()
                          throws ParserException,
                                 java.io.IOException

Throws:

ParserException

java.io.IOException