Package net.sf.tweety.lp.asp.parser

Class ASPCore2ParserTest

java.lang.Object

net.sf.tweety.lp.asp.parser.ASPCore2ParserTest

public class ASPCore2ParserTest
extends java.lang.Object

This class tests all important functions of the ASP-Core-2 Parser in combination with InstantiateVisitor, which is responsible for walking through the parse-tree and generating in-memory classes of the parsed ASP program. TODO: Add choice ASPRules and optimize statements (as they are completed in the parser)

Author:

Anna Gessler, Tim Janus

Field Summary

Fields

Modifier and Type	Field	Description
static int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
ASPCore2ParserTest()

Method Summary

Modifier and Type	Method	Description
void	AggregateTest()
void	ClingoTest()
void	ComparativeTest()
void	ComplexTermTest()
void	DLVTest()
static void	init()
void	LiteralTest()
void	ProgramTest()
void	SimpleASPRulesTest()
void	SimpleTermTest()
void	WeightAtLevelTest()

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

ASPCore2ParserTest

public ASPCore2ParserTest()

Method Detail

init

public static void init()

ProgramTest

public void ProgramTest()
                 throws ParseException

Throws:

ParseException

ClingoTest

public void ClingoTest()
                throws ParseException

Throws:

ParseException

DLVTest

public void DLVTest()
             throws ParseException

Throws:

ParseException

SimpleASPRulesTest

public void SimpleASPRulesTest()
                        throws ParseException

Throws:

ParseException

AggregateTest

public void AggregateTest()
                   throws ParseException

Throws:

ParseException

WeightAtLevelTest

public void WeightAtLevelTest()
                       throws ParseException

Throws:

ParseException

SimpleTermTest

public void SimpleTermTest()
                    throws ParseException

Throws:

ParseException

ComplexTermTest

public void ComplexTermTest()
                     throws ParseException

Throws:

ParseException

ComparativeTest

public void ComparativeTest()
                     throws ParseException

Throws:

ParseException

LiteralTest

public void LiteralTest()
                 throws ParseException

Throws:

ParseException