net.sf.tweety.lp.asp.parser

Class ParserTest

java.lang.Object

net.sf.tweety.lp.asp.parser.ParserTest

public class ParserTest
extends java.lang.Object

Test all important functions of the ASP-Parser in combination with the InstantiateVisitor which is responsible to walk through the parse-tree and generate in-memory classes of the ASP-Program saved in a file or represented as a String.

Author:

Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static ASPParser	parser
(package private) static InstantiateVisitor	visitor

Constructor Summary

Constructors

Constructor and Description
ParserTest()

Method Summary

Modifier and Type	Method and Description
static void	init()
void	invalidAggregateRange()
void	testAggregate()
void	testAnswerSetParsing()
void	testArithmetic()
void	testComparative()
void	testFunctionalTerm()
private void	testList(ListTermValue base, InstantiateVisitor visitor)
void	testListTermParsing()
void	testLiteralParsing()
void	testProgramParsing()
void	testRuleParsing()
private void	testSet(java.util.Set<Term<?>> set, InstantiateVisitor visitor)
void	testSetTerm()
void	testSimpleTermParsing()
void	testSymbolicSet()
void	testUpperCaseFunctionalTerm()

Methods inherited from class java.lang.Object

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

Field Detail

parser

static ASPParser parser

visitor

static InstantiateVisitor visitor

Constructor Detail

ParserTest

public ParserTest()

Method Detail

init

public static void init()

testSimpleTermParsing

public void testSimpleTermParsing()
                           throws ParseException

Throws:

ParseException

testFunctionalTerm

public void testFunctionalTerm()
                        throws ParseException

Throws:

ParseException

testUpperCaseFunctionalTerm

public void testUpperCaseFunctionalTerm()
                                 throws ParseException

Throws:

ParseException

testSetTerm

public void testSetTerm()
                 throws ParseException

Throws:

ParseException

testSet

private void testSet(java.util.Set<Term<?>> set,
                     InstantiateVisitor visitor)
              throws ParseException

Throws:

ParseException

testListTermParsing

public void testListTermParsing()
                         throws ParseException

Throws:

ParseException

testList

private void testList(ListTermValue base,
                      InstantiateVisitor visitor)
               throws ParseException

Throws:

ParseException

testArithmetic

public void testArithmetic()
                    throws ParseException

Throws:

ParseException

testComparative

public void testComparative()
                     throws ParseException

Throws:

ParseException

testSymbolicSet

public void testSymbolicSet()
                     throws ParseException

Throws:

ParseException

testAggregate

public void testAggregate()
                   throws ParseException

Throws:

ParseException

invalidAggregateRange

public void invalidAggregateRange()
                           throws ParseException

Throws:

ParseException

testLiteralParsing

public void testLiteralParsing()
                        throws ParseException

Throws:

ParseException

testRuleParsing

public void testRuleParsing()
                     throws ParseException

Throws:

ParseException

testAnswerSetParsing

public void testAnswerSetParsing()
                          throws ParseException

Throws:

ParseException

testProgramParsing

public void testProgramParsing()
                        throws ParseException

Throws:

ParseException