DlParserTest

java.lang.Object

org.tweetyproject.logics.dl.test.DlParserTest

public class DlParserTest extends Object

JUnit test class for the description logics parser.

Author:: Anna Gessler

Field Summary

Fields

Modifier and Type

Field

Description

static final 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 Details
- DEFAULT_TIMEOUT
  
  public static final int DEFAULT_TIMEOUT
  See Also:
  
  Constant Field Values
Constructor Details
- DlParserTest
  
  public DlParserTest()
Method Details
- initParser
  
  public void initParser()
- ParseConceptAssertionTest
  
  public void ParseConceptAssertionTest() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException
- ParseRoleAssertionTest
  
  public void ParseRoleAssertionTest() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException
- ParseEquivalenceTest
  
  public void ParseEquivalenceTest() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException
- ParseComplexEquivalenceTest1
  
  public void ParseComplexEquivalenceTest1() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException
- ParseComplexEquivalenceTest2
  
  public void ParseComplexEquivalenceTest2() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException
- ParseBeliefBaseFromFileTest
  
  public void ParseBeliefBaseFromFileTest() throws ParserException, IOException
  
  Throws:
  
  ParserException
  
  IOException