de.unidu.is.pdatalog.parser
Class Parser

java.lang.Object
  de.unidu.is.pdatalog.parser.Parser

public class Parser

extends java.lang.Object

A parser for pDatalog++ files, based on AntLR.

Since:

2003-10-21

Version:

$Revision: 1.8 $, $Date: 2005/02/28 22:27:55 $

Author:

Henrik Nottelmann

Constructor Summary

Parser()

Method Summary

static Fact	parseFact(java.lang.String str) Parses a pDatalog++ string and returns the corresponding fact object.
static Literal	parseLiteral(java.lang.String str) Parses a pDatalog++ string and returns the corresponding literal object.
static Rule	parseRule(java.lang.String str) Parses a pDatalog++ string and returns the corresponding rule object.
static Fact	parseTuple(java.lang.String str) Parses a pDatalog++ string (a tuple without predicate name) and returns the corresponding tuple object.

Methods inherited from class java.lang.Object

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

Constructor Detail

Parser

public Parser()

Method Detail

parseFact

public static Fact parseFact(java.lang.String str)

Parses a pDatalog++ string and returns the corresponding fact object.

Parameters:

str - pDatalog++ string

Returns:

fact object

parseRule

public static Rule parseRule(java.lang.String str)

Parses a pDatalog++ string and returns the corresponding rule object.

Parameters:

str - pDatalog++ string

Returns:

rule object

parseTuple

public static Fact parseTuple(java.lang.String str)

Parses a pDatalog++ string (a tuple without predicate name) and returns the corresponding tuple object.

Parameters:

str - pDatalog++ string

Returns:

tuple object

parseLiteral

public static Literal parseLiteral(java.lang.String str)

Parses a pDatalog++ string and returns the corresponding literal object.

Parameters:

str - pDatalog++ string

Returns:

literal object