Package org.tweetyproject.logics.pl.test

Class PlParserTest

java.lang.Object

org.tweetyproject.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	Description
static int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
PlParserTest()

Method Summary

Modifier and Type	Method	Description
void	BrokenParenthesesTest()
void	BrokenParenthesesTest2()
void	BrokenParenthesesTest3()
void	ConjunctionTest()
void	ContradictionTest()
void	DisjunctionTest()
void	EmptyConjunctionTest()
void	EmptyDisjunctionTest()
void	EmptyParenthesesTest()
void	EquivalenceTest()
void	ExclusiveDisjunctionTest()
void	IllegalCharacterTest()
void	ImplicationTest()
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

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

Field Detail

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

ImplicationTest

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

Throws:

ParserException

java.io.IOException

EquivalenceTest

public void EquivalenceTest()
                     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

ExclusiveDisjunctionTest

public void ExclusiveDisjunctionTest()
                              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