Package net.sf.tweety.logics.fol.test

Class FolParserTest

java.lang.Object

net.sf.tweety.logics.fol.test.FolParserTest

public class FolParserTest
extends java.lang.Object

JUnit Test class for FolParser.

Author:

Anna Gessler

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
FolParserTest()

Method Summary

Modifier and Type	Method	Description
void	ContradictionTest()
void	EmptyQuantificationTest()
void	EqualityPredicateTest()
void	ImplicationTest()
void	initParser()
void	NestedQuantifiedFormulaTest()
void	ParseBeliefBaseFromFileTest()
void	ParseExistsQuantificationTest()
void	ParseForallQuantificationTest()
void	TautologyTest()
void	WrongArityTest()

Methods inherited from class java.lang.Object

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

Field Detail

parser

FolParser parser

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

Constructor Detail

FolParserTest

public FolParserTest()

Method Detail

initParser

public void initParser()

ParseForallQuantificationTest

public void ParseForallQuantificationTest()
                                   throws ParserException,
                                          java.io.IOException

Throws:

ParserException

java.io.IOException

ParseExistsQuantificationTest

public void ParseExistsQuantificationTest()
                                   throws ParserException,
                                          java.io.IOException

Throws:

ParserException

java.io.IOException

EqualityPredicateTest

public void EqualityPredicateTest()
                           throws ParserException,
                                  java.io.IOException

Throws:

ParserException

java.io.IOException

TautologyTest

public void TautologyTest()
                   throws ParserException,
                          java.io.IOException

Throws:

ParserException

java.io.IOException

ContradictionTest

public void ContradictionTest()
                       throws ParserException,
                              java.io.IOException

Throws:

ParserException

java.io.IOException

ImplicationTest

public void ImplicationTest()
                     throws ParserException,
                            java.io.IOException

Throws:

ParserException

java.io.IOException

NestedQuantifiedFormulaTest

public void NestedQuantifiedFormulaTest()
                                 throws ParserException,
                                        java.io.IOException

Throws:

ParserException

java.io.IOException

ParseBeliefBaseFromFileTest

public void ParseBeliefBaseFromFileTest()
                                 throws ParserException,
                                        java.io.IOException

Throws:

ParserException

java.io.IOException

EmptyQuantificationTest

public void EmptyQuantificationTest()
                             throws ParserException,
                                    java.io.IOException

Throws:

ParserException

java.io.IOException

WrongArityTest

public void WrongArityTest()
                    throws ParserException,
                           java.io.IOException

Throws:

ParserException

java.io.IOException