Package net.sf.tweety.logics.ml
Class MlParserTest
- java.lang.Object
-
- net.sf.tweety.logics.ml.MlParserTest
-
public class MlParserTest extends java.lang.Object
JUnit Test class for ModalParser.- Author:
- Anna Gessler
-
-
Field Summary
Fields Modifier and Type Field Description static int
DEFAULT_TIMEOUT
-
Constructor Summary
Constructors Constructor Description MlParserTest()
-
Method Summary
Modifier and Type Method Description void
EmptyNecessityTest()
void
EmptyPossibilityTest()
void
initParser()
void
MissingCharacterTest()
void
NestedModalFormulaTest()
void
ParseBeliefBaseFromFileTest()
void
ParseModalFormulaTest()
void
WrongCharacterOrderTest()
void
XorModalTest()
-
-
-
Field Detail
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT
- See Also:
- Constant Field Values
-
-
Method Detail
-
initParser
public void initParser()
-
ParseModalFormulaTest
public void ParseModalFormulaTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
XorModalTest
public void XorModalTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
NestedModalFormulaTest
public void NestedModalFormulaTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
ParseBeliefBaseFromFileTest
public void ParseBeliefBaseFromFileTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
EmptyPossibilityTest
public void EmptyPossibilityTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
EmptyNecessityTest
public void EmptyNecessityTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
MissingCharacterTest
public void MissingCharacterTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
WrongCharacterOrderTest
public void WrongCharacterOrderTest() throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
-