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

Field Summary

Fields

Modifier and Type	Field and Description
private static DelpParser	PARSER_BIRDS
private static DelpParser	PARSER_STOCKS

Constructor Summary

Constructors

Constructor and Description
TestFormulaParsing()

Method Summary

Modifier and Type	Method and 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

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

Field Detail

PARSER_BIRDS

private static final DelpParser PARSER_BIRDS

PARSER_STOCKS

private static final DelpParser PARSER_STOCKS

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