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
(package private) MlParser	parser

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()

Methods inherited from class java.lang.Object

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

Field Detail

parser

MlParser parser

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

Constructor Detail

MlParserTest

public MlParserTest()

Method Detail

initParser

public void initParser()

ParseModalFormulaTest

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