Package net.sf.tweety.logics.dl.test

Class DlParserTest

java.lang.Object

net.sf.tweety.logics.dl.test.DlParserTest

public class DlParserTest
extends java.lang.Object

JUnit Test class for description logics parser.

Author:

Anna Gessler

Field Summary

Fields

Modifier and Type	Field	Description
static int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
DlParserTest()

Method Summary

Modifier and Type	Method	Description
void	initParser()
void	ParseBeliefBaseFromFileTest()
void	ParseComplexEquivalenceTest1()
void	ParseComplexEquivalenceTest2()
void	ParseConceptAssertionTest()
void	ParseEquivalenceTest()
void	ParseRoleAssertionTest()

Methods inherited from class java.lang.Object

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

Field Detail

DEFAULT_TIMEOUT

public static final int DEFAULT_TIMEOUT

See Also:

Constant Field Values

Constructor Detail

DlParserTest

public DlParserTest()

Method Detail

initParser

public void initParser()

ParseConceptAssertionTest

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

Throws:

ParserException

java.io.IOException

ParseRoleAssertionTest

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

Throws:

ParserException

java.io.IOException

ParseEquivalenceTest

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

Throws:

ParserException

java.io.IOException

ParseComplexEquivalenceTest1

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

Throws:

ParserException

java.io.IOException

ParseComplexEquivalenceTest2

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

Throws:

ParserException

java.io.IOException

ParseBeliefBaseFromFileTest

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

Throws:

ParserException

java.io.IOException