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

Packages that use DatalogTokenizer

Package	Description
edu.harvard.seas.pl.abcdatalog.parser	This package contains classes that implement a parser for Datalog source code.

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

Methods in edu.harvard.seas.pl.abcdatalog.parser with parameters of type DatalogTokenizer

Modifier and Type	Method	Description
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.