Package org.tweetyproject.lp.asp.parser

Class ASPParserTest

java.lang.Object

org.tweetyproject.lp.asp.parser.ASPParserTest

public class ASPParserTest
extends 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.

Author:

Anna Gessler, Tim Janus

Field Summary

Fields

Modifier and Type	Field	Description
static final int	DEFAULT_TIMEOUT	default timeout

Constructor Summary

Constructors

Constructor	Description
ASPParserTest()

Method Summary

Modifier and Type	Method	Description
void	AggregateTest()	aggregation test
void	ChoiceTest()	choice test
void	ClingoTest()	cling test
void	ComparativeTest()	comparative test
void	ComplexTermTest()	term test
void	DLVTest()	dlv test
static void	init()	initializes values
void	LiteralTest()	literal test
void	OptimizationStatementTest()	optimization statement test
void	ProgramTest()	test 1
void	SimpleASPRulesTest()	asp rules test
void	SimpleTermTest()	term test
void	WeightAtLevelTest()	weight at level test

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

default timeout

See Also:

• Constant Field Values

Constructor Details

ASPParserTest

public ASPParserTest()

Method Details

init

public static void init()

initializes values

ProgramTest

public void ProgramTest()
                 throws ParseException

test 1

Throws:

ParseException - parsing exception

ClingoTest

public void ClingoTest()
                throws ParseException

cling test

Throws:

ParseException - parsing exception

DLVTest

public void DLVTest()
             throws ParseException

dlv test

Throws:

ParseException - parsing exception

SimpleASPRulesTest

public void SimpleASPRulesTest()
                        throws ParseException

asp rules test

Throws:

ParseException - parsing exception

AggregateTest

public void AggregateTest()
                   throws ParseException

aggregation test

Throws:

ParseException - parsing exception

OptimizationStatementTest

public void OptimizationStatementTest()
                               throws ParseException

optimization statement test

Throws:

ParseException - parsing exception

ChoiceTest

public void ChoiceTest()
                throws ParseException

choice test

Throws:

ParseException - üarsing test

WeightAtLevelTest

public void WeightAtLevelTest()
                       throws ParseException

weight at level test

Throws:

ParseException - parsing exception

SimpleTermTest

public void SimpleTermTest()
                    throws ParseException

term test

Throws:

ParseException - parsing exception

ComplexTermTest

public void ComplexTermTest()
                     throws ParseException

term test

Throws:

ParseException - parsing exception

ComparativeTest

public void ComparativeTest()
                     throws ParseException

comparative test

Throws:

ParseException - parsing exception

LiteralTest

public void LiteralTest()
                 throws ParseException

literal test

Throws:

ParseException - parsing exception