Package 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 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()
-
-
-
Field Detail
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT
- See Also:
- Constant Field Values
-
-
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
-
-