Package org.tweetyproject.lp.asp.parser

Class AspifParserTest

java.lang.Object

org.tweetyproject.lp.asp.parser.AspifParserTest

public class AspifParserTest
extends Object

Tests for AspifParser (parser for the the output language of gringo).

Author:

Anna Gessler

See Also:

• AspifParser

Field Summary

Fields

Modifier and Type	Field	Description
static final int	DEFAULT_TIMEOUT

Constructor Summary

Constructors

Constructor	Description
AspifParserTest()

Method Summary

Modifier and Type	Method	Description
void	SimpleProgramTest()

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

See Also:

• Constant Field Values

Constructor Details

AspifParserTest

public AspifParserTest()

Method Details

SimpleProgramTest

public void SimpleProgramTest()
                       throws ParseException,
FileNotFoundException,
IOException

Throws:

ParseException

FileNotFoundException

IOException