public class DungParser extends Parser implements DungParserConstants
Modifier and Type | Field and Description |
---|---|
private static java.util.List<int[]> |
jj_expentries |
private static int[] |
jj_expentry |
private static int |
jj_gen |
private static boolean |
jj_initialized_once |
(package private) static SimpleCharStream |
jj_input_stream |
private static int |
jj_kind |
private static int[] |
jj_la1 |
private static int[] |
jj_la1_0 |
static Token |
jj_nt
Next token.
|
private static int |
jj_ntk |
static Token |
token
Current token.
|
static DungParserTokenManager |
token_source
Generated Token Manager.
|
ARGUMENT_NAME, DEFAULT, EOF, tokenImage
Constructor and Description |
---|
DungParser() |
DungParser(DungParserTokenManager tm)
Constructor with generated Token Manager.
|
DungParser(java.io.InputStream stream)
Constructor with InputStream.
|
DungParser(java.io.InputStream stream,
java.lang.String encoding)
Constructor with InputStream and supplied encoding
|
DungParser(java.io.Reader stream)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
static void |
Argument(DungTheory dungTheory) |
static void |
Attack(DungTheory dungTheory) |
static void |
disable_tracing()
Disable tracing.
|
static void |
enable_tracing()
Enable tracing.
|
static void |
Expression(DungTheory dungTheory) |
static ParseException |
generateParseException()
Generate ParseException.
|
static Token |
getNextToken()
Get the next Token.
|
static Token |
getToken(int index)
Get the specific Token.
|
private static Token |
jj_consume_token(int kind) |
private static void |
jj_la1_init_0() |
private static int |
jj_ntk() |
DungTheory |
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(DungParserTokenManager tm)
Reinitialise.
|
static void |
ReInit(java.io.InputStream stream)
Reinitialise.
|
static void |
ReInit(java.io.InputStream stream,
java.lang.String encoding)
Reinitialise.
|
static void |
ReInit(java.io.Reader stream)
Reinitialise.
|
static Argument |
SingleArgument() |
static Attack |
SingleAttack() |
static Formula |
SingleFormula() |
static DungTheory |
Theory() |
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile
private static boolean jj_initialized_once
public static DungParserTokenManager token_source
static SimpleCharStream jj_input_stream
public static Token token
public static Token jj_nt
private static int jj_ntk
private static int jj_gen
private static final int[] jj_la1
private static int[] jj_la1_0
private static java.util.List<int[]> jj_expentries
private static int[] jj_expentry
private static int jj_kind
public DungParser()
public DungParser(java.io.InputStream stream)
public DungParser(java.io.InputStream stream, java.lang.String encoding)
public DungParser(java.io.Reader stream)
public DungParser(DungParserTokenManager tm)
public DungTheory parseBeliefBase(java.io.Reader reader) throws ParserException
Parser
parseBeliefBase
in class Parser
reader
- a readerParserException
public Formula parseFormula(java.io.Reader reader) throws ParserException
Parser
parseFormula
in class Parser
reader
- a readerParserException
public static final DungTheory Theory() throws ParseException
ParseException
public static final Formula SingleFormula() throws ParseException
ParseException
public static final void Expression(DungTheory dungTheory) throws ParseException
ParseException
public static final void Argument(DungTheory dungTheory) throws ParseException
ParseException
public static final Argument SingleArgument() throws ParseException
ParseException
public static final Attack SingleAttack() throws ParseException
ParseException
public static final void Attack(DungTheory dungTheory) throws ParseException
ParseException
private static void jj_la1_init_0()
public static void ReInit(java.io.InputStream stream)
public static void ReInit(java.io.InputStream stream, java.lang.String encoding)
public static void ReInit(java.io.Reader stream)
public void ReInit(DungParserTokenManager tm)
private static Token jj_consume_token(int kind) throws ParseException
ParseException
public static final Token getNextToken()
public static final Token getToken(int index)
private static int jj_ntk()
public static ParseException generateParseException()
public static final void enable_tracing()
public static final void disable_tracing()