public class ParserTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static ASPParser |
parser |
(package private) static InstantiateVisitor |
visitor |
Constructor and Description |
---|
ParserTest() |
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() |
static ASPParser parser
static InstantiateVisitor visitor
public static void init()
public void testSimpleTermParsing() throws ParseException
ParseException
public void testFunctionalTerm() throws ParseException
ParseException
public void testUpperCaseFunctionalTerm() throws ParseException
ParseException
public void testSetTerm() throws ParseException
ParseException
private void testSet(java.util.Set<Term<?>> set, InstantiateVisitor visitor) throws ParseException
ParseException
public void testListTermParsing() throws ParseException
ParseException
private void testList(ListTermValue base, InstantiateVisitor visitor) throws ParseException
ParseException
public void testArithmetic() throws ParseException
ParseException
public void testComparative() throws ParseException
ParseException
public void testSymbolicSet() throws ParseException
ParseException
public void testAggregate() throws ParseException
ParseException
public void invalidAggregateRange() throws ParseException
ParseException
public void testLiteralParsing() throws ParseException
ParseException
public void testRuleParsing() throws ParseException
ParseException
public void testAnswerSetParsing() throws ParseException
ParseException
public void testProgramParsing() throws ParseException
ParseException