Uses of Class
edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException

Packages that use DatalogParseException

Package	Description
edu.harvard.seas.pl.abcdatalog.engine	This package contains the standard interface for a Datalog engine (see DatalogExecutor for an alternative interface).
edu.harvard.seas.pl.abcdatalog.executor	This package contains classes that implement a Datalog executor, which is a Datalog engine that runs asynchronously.
edu.harvard.seas.pl.abcdatalog.parser	This package contains classes that implement a parser for Datalog source code.

Uses of DatalogParseException in edu.harvard.seas.pl.abcdatalog.engine

Methods in edu.harvard.seas.pl.abcdatalog.engine that throw DatalogParseException

Modifier and Type	Method	Description
static void	EngineExample.main(String[] args)

Uses of DatalogParseException in edu.harvard.seas.pl.abcdatalog.executor

Methods in edu.harvard.seas.pl.abcdatalog.executor that throw DatalogParseException

Modifier and Type	Method	Description
static void	ExecutorExample.main(String[] args)	Runs an executor on a basic graph transitive closure example.

Uses of DatalogParseException in edu.harvard.seas.pl.abcdatalog.parser

Methods in edu.harvard.seas.pl.abcdatalog.parser that throw DatalogParseException

Modifier and Type	Method	Description
void	DatalogTokenizer.consume(String s)	Attempts to consume the supplied string from the beginning of the token stream.
boolean	DatalogTokenizer.hasNext()	Returns whether there is another token in this stream.
static void	DatalogParser.main(String[] args)
String	DatalogTokenizer.next()	Returns (and consumes) the next token in this stream.
static PositiveAtom	DatalogParser.parseClauseAsPositiveAtom(DatalogTokenizer t)	Extracts an atom from the token stream.
static PositiveAtom	DatalogParser.parsePositiveAtom(DatalogTokenizer t)	Attempts to extract an atom from the provided token stream.
static Set<Clause>	DatalogParser.parseProgram(DatalogTokenizer t)	Generates an abstract syntax tree representation of the program described by the provided token stream.
static PositiveAtom	DatalogParser.parseQuery(DatalogTokenizer t)	Attempts to extract an atom representation of the query described in the token stream.
String	DatalogTokenizer.peek()	Returns the next token in this stream without consuming it.