Package net.sf.tweety.arg.delp

Class TestFormulaParsing

java.lang.Object

net.sf.tweety.arg.delp.TestFormulaParsing

public final class TestFormulaParsing
extends java.lang.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 Detail

TestFormulaParsing

public TestFormulaParsing()

Method Detail

initParsers

public static void initParsers()

parseSimple

public void parseSimple()
                 throws java.io.IOException

Throws:

java.io.IOException

parseTooMuch

public void parseTooMuch()
                  throws java.io.IOException

Throws:

java.io.IOException

parseTooMuch2

public void parseTooMuch2()
                   throws java.io.IOException

Throws:

java.io.IOException

parseTooMuch3

public void parseTooMuch3()
                   throws java.io.IOException

Throws:

java.io.IOException

parseUnknownPred

public void parseUnknownPred()
                      throws java.io.IOException

Throws:

java.io.IOException

parseUnknownConstantAsPredicate

public void parseUnknownConstantAsPredicate()
                                     throws java.io.IOException

Throws:

java.io.IOException

parseUnknownVariableAsPredicate

public void parseUnknownVariableAsPredicate()
                                     throws java.io.IOException

Throws:

java.io.IOException

parseUnknownConstant

public void parseUnknownConstant()
                          throws java.io.IOException

Throws:

java.io.IOException

parseDoubleNegation

public void parseDoubleNegation()
                         throws java.io.IOException

Throws:

java.io.IOException