java.lang.Object
- net.sf.tweety.commons.Parser<DefeasibleLogicProgram,Formula>
- - net.sf.tweety.arg.delp.parser.DelpParser

All Implemented Interfaces:: DelpParserConstants

public class DelpParser
extends Parser<DefeasibleLogicProgram,Formula>
implements DelpParserConstants

This class implements a parser for defeasible logic programs. The BNF for defeasible logic program files is given by (start symbol is THEORY)

 THEORY                 ::== (EXPRESSION)+
 EXPRESSION             ::== FACT | STRICTRULE | DEFEASIBLERULE
 FACT                   ::== LITERAL + "."
 STRICTRULE             ::== LITERAL + "<-" + RULEBODY + "."
 DEFEASIBLERULE         ::== LITERAL + "-<" + RULEBODY + "."
 RULEBODY               ::== LITERAL | LITERAL + "," + RULEBODY
 LITERAL                ::== "~" + ATOM | ATOM
 ATOM                   ::== PREDICATE | PREDICATE + "(" + TERMLIST + ")"
 TERMLIST               ::== TERM | TERM + "," + TERMLIST
 TERM                   ::== VARIABLE | CONSTANT | QUOTED_STRING

 PREDICATE is a sequence of symbols from {a,...,z,A,...,Z,0,...,9,_,-} with a letter at the beginning.
 VARIABLE is a sequence of symbols from {a,...,z,A,...,Z,0,...,9,_,-} with an uppercase letter at the beginning.
 CONSTANT is  a sequence of symbols from {a,...,z,A,...,Z,0,...,9,_,-} with an lowercase letter at the beginning.
 QUOTED_STRING is all characters between double quotes.

Field Summary

Fields
Modifier and Type	Field	Description
`private java.util.List<int[]>`	`jj_expentries`
`private int[]`	`jj_expentry`
`private int`	`jj_gen`
`(package private) SimpleCharStream`	`jj_input_stream`
`private int`	`jj_kind`
`private int[]`	`jj_la1`
`private static int[]`	`jj_la1_0`
`Token`	`jj_nt`
`private int`	`jj_ntk`
`private FolSignature`	`signature`
`Token`	`token`
`DelpParserTokenManager`	`token_source`

Fields inherited from interface net.sf.tweety.arg.delp.parser.DelpParserConstants
DEFAULT, EOF, NAME, QUOTED, tokenImage

Constructor Summary

Constructors
Constructor	Description
`DelpParser()`
`DelpParser(java.io.InputStream stream)`
`DelpParser(java.io.InputStream stream, java.lang.String encoding)`
`DelpParser(java.io.Reader stream)`
`DelpParser(DelpParserTokenManager tm)`

Method Summary

Modifier and Type	Method	Description
`FolAtom`	`Atom(DefeasibleLogicProgram delp, FolSignature signature)`
`private Constant`	`createConstant(java.lang.String image, DefeasibleLogicProgram delp, FolSignature signature)`
`void`	`disable_tracing()`
`void`	`enable_tracing()`
`void`	`Expression(DefeasibleLogicProgram delp, FolSignature signature)`
`FolFormula`	`Formula(FolSignature signature)`
`ParseException`	`generateParseException()`
`Token`	`getNextToken()`
`FolSignature`	`getSignature()`
`Token`	`getToken(int index)`
`private Token`	`jj_consume_token(int kind)`
`private static void`	`jj_la1_init_0()`
`private int`	`jj_ntk()`
`FolFormula`	`Literal(DefeasibleLogicProgram delp, FolSignature signature)`
`DefeasibleLogicProgram`	`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.
`void`	`ReInit(java.io.InputStream stream)`
`void`	`ReInit(java.io.InputStream stream, java.lang.String encoding)`
`void`	`ReInit(java.io.Reader stream)`
`void`	`ReInit(DelpParserTokenManager tm)`
`Term`	`Term(DefeasibleLogicProgram delp, FolSignature signature)`
`DefeasibleLogicProgram`	`Theory(FolSignature signature)`

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

signature
```
private FolSignature signature
```

token_source

public DelpParserTokenManager token_source

jj_input_stream
```
SimpleCharStream jj_input_stream
```

token
```
public Token token
```

jj_nt
```
public Token jj_nt
```

jj_ntk
```
private int jj_ntk
```

jj_gen
```
private int jj_gen
```

jj_la1
```
private final int[] jj_la1
```

jj_la1_0
```
private static int[] jj_la1_0
```

jj_expentries

private java.util.List<int[]> jj_expentries

jj_expentry
```
private int[] jj_expentry
```

jj_kind
```
private int jj_kind
```

Constructor Detail

DelpParser
```
public DelpParser()
```

DelpParser

public DelpParser(java.io.InputStream stream)

DelpParser

public DelpParser(java.io.InputStream stream,
                  java.lang.String encoding)

DelpParser

public DelpParser(java.io.Reader stream)

DelpParser

public DelpParser(DelpParserTokenManager tm)

Method Detail

parseBeliefBase
```
public DefeasibleLogicProgram parseBeliefBase(java.io.Reader reader)
                                       throws ParserException
```
Description copied from class: Parser

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

Specified by:

parseBeliefBase in class Parser<DefeasibleLogicProgram,Formula>

Parameters:

reader - a reader

Returns:

a belief base

Throws:

ParserException - some parsing exceptions may be added here.

parseFormula
```
public Formula parseFormula(java.io.Reader reader)
                     throws ParserException
```
Description copied from class: Parser

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

Specified by:

parseFormula in class Parser<DefeasibleLogicProgram,Formula>

Parameters:

reader - a reader

Returns:

a formula

Throws:

ParserException - some parsing exceptions may be added here.

getSignature
```
public FolSignature getSignature()
```

createConstant

private Constant createConstant(java.lang.String image,
                                DefeasibleLogicProgram delp,
                                FolSignature signature)
                         throws ParseException

Throws:: ParseException

Theory

public final DefeasibleLogicProgram Theory(FolSignature signature)
                                    throws ParseException

Throws:: ParseException

Expression

public final void Expression(DefeasibleLogicProgram delp,
                             FolSignature signature)
                      throws ParseException

Throws:: ParseException

Formula

public final FolFormula Formula(FolSignature signature)
                         throws ParseException

Throws:: ParseException

Literal

public final FolFormula Literal(DefeasibleLogicProgram delp,
                                FolSignature signature)
                         throws ParseException

Throws:: ParseException

Atom

public final FolAtom Atom(DefeasibleLogicProgram delp,
                          FolSignature signature)
                   throws ParseException

Throws:: ParseException

Term

public final Term Term(DefeasibleLogicProgram delp,
                       FolSignature signature)
                throws ParseException

Throws:: ParseException

jj_la1_init_0
```
private static void jj_la1_init_0()
```

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

public void ReInit(java.io.InputStream stream,
                   java.lang.String encoding)

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(DelpParserTokenManager tm)

jj_consume_token

private Token jj_consume_token(int kind)
                        throws ParseException

Throws:: ParseException

getNextToken
```
public final Token getNextToken()
```

getToken

public final Token getToken(int index)

jj_ntk
```
private int jj_ntk()
```

generateParseException

public ParseException generateParseException()

enable_tracing
```
public final void enable_tracing()
```

disable_tracing
```
public final void disable_tracing()
```

Class DelpParser

Field Summary

Fields inherited from interface net.sf.tweety.arg.delp.parser.DelpParserConstants

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Field Detail

signature

token_source

jj_input_stream

token

jj_nt

jj_ntk

jj_gen

jj_la1

jj_la1_0

jj_expentries

jj_expentry

jj_kind

Constructor Detail

DelpParser

DelpParser

DelpParser

DelpParser

DelpParser

Method Detail

parseBeliefBase

parseFormula

getSignature

createConstant

Theory

Expression

Formula

Literal

Atom

Term

jj_la1_init_0

ReInit

ReInit

ReInit

ReInit

jj_consume_token

getNextToken

getToken

jj_ntk

generateParseException

enable_tracing

disable_tracing