Package org.tweetyproject.logics.ml

Class MlParserTest

java.lang.Object

org.tweetyproject.logics.ml.MlParserTest

public class MlParserTest
extends Object

JUnit Test class for ModalParser.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static final 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()

Methods inherited from class java.lang.Object

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

Field Details

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

• Constant Field Values

Constructor Details

MlParserTest

public MlParserTest()

Method Details

initParser

public void initParser()

ParseModalFormulaTest

public void ParseModalFormulaTest()
                           throws ParserException,
IOException

Throws:

ParserException

IOException

XorModalTest

public void XorModalTest()
                  throws ParserException,
IOException

Throws:

ParserException

IOException

NestedModalFormulaTest

public void NestedModalFormulaTest()
                            throws ParserException,
IOException

Throws:

ParserException

IOException

ParseBeliefBaseFromFileTest

public void ParseBeliefBaseFromFileTest()
                                 throws ParserException,
IOException

Throws:

ParserException

IOException

EmptyPossibilityTest

public void EmptyPossibilityTest()
                          throws ParserException,
IOException

Throws:

ParserException

IOException

EmptyNecessityTest

public void EmptyNecessityTest()
                        throws ParserException,
IOException

Throws:

ParserException

IOException

MissingCharacterTest

public void MissingCharacterTest()
                          throws ParserException,
IOException

Throws:

ParserException

IOException

WrongCharacterOrderTest

public void WrongCharacterOrderTest()
                             throws ParserException,
IOException

Throws:

ParserException

IOException