Package edu.harvard.seas.pl.abcdatalog.executor

Class ExecutorExample

java.lang.Object

edu.harvard.seas.pl.abcdatalog.executor.ExecutorExample

public class ExecutorExample
extends Object

A basic demonstration of how to use a Datalog executor.

Constructor Summary

Constructors

Constructor	Description
ExecutorExample()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ExecutorExample

public ExecutorExample()

Method Details

main

public static void main(String[] args)
                 throws DatalogParseException,
DatalogValidationException

Runs an executor on a basic graph transitive closure example.

Parameters:

args - the command-line arguments (not used)

Throws:

DatalogParseException - if there is a parsing error

DatalogValidationException