Package org.tweetyproject.lp.asp.parser
Class ASPParserTest
java.lang.Object
org.tweetyproject.lp.asp.parser.ASPParserTest
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 Details
-
DEFAULT_TIMEOUT
public static final int DEFAULT_TIMEOUT- See Also:
- Constant Field Values
-
-
Constructor Details
-
ASPParserTest
public ASPParserTest()
-
-
Method Details
-
init
public static void init() -
ProgramTest
- Throws:
ParseException
-
ClingoTest
- Throws:
ParseException
-
DLVTest
- Throws:
ParseException
-
SimpleASPRulesTest
- Throws:
ParseException
-
AggregateTest
- Throws:
ParseException
-
OptimizationStatementTest
- Throws:
ParseException
-
ChoiceTest
- Throws:
ParseException
-
WeightAtLevelTest
- Throws:
ParseException
-
SimpleTermTest
- Throws:
ParseException
-
ComplexTermTest
- Throws:
ParseException
-
ComparativeTest
- Throws:
ParseException
-
LiteralTest
- Throws:
ParseException
-