TestFormulaParsing

java.lang.Object

org.tweetyproject.arg.delp.TestFormulaParsing

public final class TestFormulaParsing extends Object

Testing DeLP formula parsing.

Author:: Linda.Briesemeister

Constructor Summary

Constructors

Constructor

Description

TestFormulaParsing()
Method Summary

Modifier and Type

Method

Description

static void

initParsers()

void

parseDoubleNegation()

void

parseSimple()

void

parseTooMuch()

void

parseTooMuch2()

void

parseTooMuch3()

void

parseUnknownConstant()

void

parseUnknownConstantAsPredicate()

void

parseUnknownPred()

void

parseUnknownVariableAsPredicate()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- TestFormulaParsing
  
  public TestFormulaParsing()
Method Details
- initParsers
  
  public static void initParsers()
- parseSimple
  
  public void parseSimple() throws IOException
  
  Throws:
  
  IOException
- parseTooMuch
  
  public void parseTooMuch() throws IOException
  
  Throws:
  
  IOException
- parseTooMuch2
  
  public void parseTooMuch2() throws IOException
  
  Throws:
  
  IOException
- parseTooMuch3
  
  public void parseTooMuch3() throws IOException
  
  Throws:
  
  IOException
- parseUnknownPred
  
  public void parseUnknownPred() throws IOException
  
  Throws:
  
  IOException
- parseUnknownConstantAsPredicate
  
  public void parseUnknownConstantAsPredicate() throws IOException
  
  Throws:
  
  IOException
- parseUnknownVariableAsPredicate
  
  public void parseUnknownVariableAsPredicate() throws IOException
  
  Throws:
  
  IOException
- parseUnknownConstant
  
  public void parseUnknownConstant() throws IOException
  
  Throws:
  
  IOException
- parseDoubleNegation
  
  public void parseDoubleNegation() throws IOException
  
  Throws:
  
  IOException