Class DlgpUtil

java.lang.Object

fr.inria.rules.integraal.io.dlgp.DlgpUtil

public class DlgpUtil
extends Object

Util methods for DLGP parsing

Author:

Florent Tornil

Method Summary

Modifier and Type	Method	Description
static Set<Atom>	parseFacts(String dlgp)	Parses atoms from a dlgp String.
static Set<Query>	parseQueries(String dlgp)	Parses queries from a dlgp String.
static Set<FORule>	parseRules(String dlgp)	Parses rules from a dlgp String.

Methods inherited from class Object

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

Method Details

parseFacts

public static Set<Atom> parseFacts(String dlgp)
                            throws ParseException

Parses atoms from a dlgp String.

Parameters:

dlgp - a dlgp-formatted String.

Returns:

the atoms.

Throws:

ParseException - if an exception occur while parsing DLGP input data

parseRules

public static Set<FORule> parseRules(String dlgp)
                              throws ParseException

Parses rules from a dlgp String.

Parameters:

dlgp - a dlgp-formatted String.

Returns:

the rules.

Throws:

ParseException - if an exception occur while parsing DLGP input data

parseQueries

public static Set<Query> parseQueries(String dlgp)
                               throws ParseException

Parses queries from a dlgp String.

Parameters:

dlgp - a dlgp-formatted String.

Returns:

the queries.

Throws:

ParseException - if an exception occurs while parsing DLGP input data