public class PlParserTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_TIMEOUT |
(package private) PlParser |
parser |
Constructor and Description |
---|
PlParserTest() |
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() |
PlParser parser
public static final int DEFAULT_TIMEOUT
public void initParser() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void PropositionTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void NegationTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void DisjunctionTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void ConjunctionTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void TautologyTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void ContradictionTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void NestedFormulaTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void SpecialCharactersTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void ParseBeliefBaseTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void ParseBeliefBaseFromFileTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void EmptyDisjunctionTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void EmptyConjunctionTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void IncompleteConjunctionTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void IncompleteDisjunctionTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void IllegalCharacterTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void BrokenParenthesesTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void BrokenParenthesesTest2() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void BrokenParenthesesTest3() throws ParserException, java.io.IOException
ParserException
java.io.IOException
public void EmptyParenthesesTest() throws ParserException, java.io.IOException
ParserException
java.io.IOException