net.sf.tweety.logics.ml

Class ModalParserTest

java.lang.Object

net.sf.tweety.logics.ml.ModalParserTest

public class ModalParserTest
extends java.lang.Object

JUnit Test class for ModalParser.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field and Description
static int	DEFAULT_TIMEOUT
(package private) ModalParser	parser

Constructor Summary

Constructors

Constructor and Description
ModalParserTest()

Method Summary

Modifier and Type	Method and 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

ModalParser parser

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

Constructor Detail

ModalParserTest

public ModalParserTest()

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