net.sf.tweety.logics.rdl.parser

Class RdlParser

java.lang.Object

net.sf.tweety.commons.Parser<DefaultTheory>

net.sf.tweety.logics.rdl.parser.RdlParser

public class RdlParser
extends Parser<DefaultTheory>

This class implements a parser for default logic.

Author:

Nils Geilen

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.regex.Pattern	DEFAULT_SPLIT regexes for parsing a default and the justifications
private java.lang.String	DIV_COLON tokens for parsing defaults
private java.lang.String	DIV_COMMA tokens for parsing defaults
private java.lang.String	DIV_SLASH tokens for parsing defaults
private FolParser	folparser parser to parse knowledge base
private java.util.regex.Pattern	JUS_SPLIT regexes for parsing a default and the justifications

Constructor Summary

Constructors

Constructor and Description
RdlParser()

Method Summary

Modifier and Type	Method and Description
DefaultTheory	parseBeliefBase(java.io.Reader reader) Parses the given reader into a belief base of the given type.
Formula	parseFormula(java.io.Reader reader) Parses the given reader into a formula of the given type.

Methods inherited from class net.sf.tweety.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

Methods inherited from class java.lang.Object

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

Field Detail

folparser

private FolParser folparser

parser to parse knowledge base

DIV_COLON

private final java.lang.String DIV_COLON

tokens for parsing defaults

See Also:

Constant Field Values

DIV_COMMA

private final java.lang.String DIV_COMMA

tokens for parsing defaults

See Also:

Constant Field Values

DIV_SLASH

private final java.lang.String DIV_SLASH

tokens for parsing defaults

See Also:

Constant Field Values

JUS_SPLIT

private final java.util.regex.Pattern JUS_SPLIT

regexes for parsing a default and the justifications

DEFAULT_SPLIT

private final java.util.regex.Pattern DEFAULT_SPLIT

regexes for parsing a default and the justifications

Constructor Detail

RdlParser

public RdlParser()

Method Detail

parseBeliefBase

public DefaultTheory parseBeliefBase(java.io.Reader reader)
                              throws java.io.IOException,
                                     ParserException

Description copied from class: Parser

Parses the given reader into a belief base of the given type.

Specified by:

parseBeliefBase in class Parser<DefaultTheory>

Parameters:

reader - a reader

Returns:

a belief base

Throws:

java.io.IOException

ParserException

parseFormula

public Formula parseFormula(java.io.Reader reader)
                     throws java.io.IOException,
                            ParserException

Description copied from class: Parser

Parses the given reader into a formula of the given type.

Specified by:

parseFormula in class Parser<DefaultTheory>

Parameters:

reader - a reader

Returns:

a formula

Throws:

java.io.IOException

ParserException