jdrew.oo.util.parsing
Class POSLParser

java.lang.Object
  antlr.LLkParser
      jdrew.oo.util.parsing.POSLParser

All Implemented Interfaces:

POSLParserTokenTypes

public class POSLParser
extends antlr.LLkParser
implements POSLParserTokenTypes

Field Summary

static java.lang.String[]	_tokenNames
static java.util.BitSet	_tokenSet_0
static java.util.BitSet	_tokenSet_1
static java.util.BitSet	_tokenSet_10
static java.util.BitSet	_tokenSet_11
static java.util.BitSet	_tokenSet_12
static java.util.BitSet	_tokenSet_13
static java.util.BitSet	_tokenSet_14
static java.util.BitSet	_tokenSet_15
static java.util.BitSet	_tokenSet_16
static java.util.BitSet	_tokenSet_17
static java.util.BitSet	_tokenSet_18
static java.util.BitSet	_tokenSet_19
static java.util.BitSet	_tokenSet_2
static java.util.BitSet	_tokenSet_3
static java.util.BitSet	_tokenSet_4
static java.util.BitSet	_tokenSet_5
static java.util.BitSet	_tokenSet_6
static java.util.BitSet	_tokenSet_7
static java.util.BitSet	_tokenSet_8
static java.util.BitSet	_tokenSet_9

Fields inherited from interface jdrew.oo.util.parsing.POSLParserTokenTypes

ARROW, BANG, COLON, COMMA, COMMENT, EOF, HAT, IMP, LBRACE, LBRACK, LPAREN, MLCOMMENT, NULL_TREE_LOOKAHEAD, PERIOD, PIPE, QMARK, QSYMBOL, RBRACE, RBRACK, RPAREN, SEMI, SYMBOL, URI, USCORE, WS

Constructor Summary

	POSLParser(TokenBuffer tokenBuf)
protected	POSLParser(TokenBuffer tokenBuf, int k)

Method Summary

Term	assertatom()
Term	atom(boolean head)
void	atoms(java.util.Vector atms)
DefiniteClause	clause(boolean newVars)
Term	cterm()
int	ctor()
Term	ind()
Term	nafatom()
Term	oid()
Term	plex()
void	pos(java.util.Vector terms)
Term	posplex()
void	prest(java.util.Vector terms)
void	ps(java.util.Vector terms)
int	rel()
int	role()
void	rulebase(java.util.Vector clauses)
Term	skolem()
Term	slot()
Term	slotplex()
void	slots(java.util.Vector terms)
void	srest(java.util.Vector terms)
java.lang.String	symbol()
Term	term()
int	type()
java.lang.String	uri()
Term	var()

Methods inherited from class java.lang.Object

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

Field Detail

_tokenNames

public static final java.lang.String[] _tokenNames

_tokenSet_0

public static final java.util.BitSet _tokenSet_0

_tokenSet_1

public static final java.util.BitSet _tokenSet_1

_tokenSet_2

public static final java.util.BitSet _tokenSet_2

_tokenSet_3

public static final java.util.BitSet _tokenSet_3

_tokenSet_4

public static final java.util.BitSet _tokenSet_4

_tokenSet_5

public static final java.util.BitSet _tokenSet_5

_tokenSet_6

public static final java.util.BitSet _tokenSet_6

_tokenSet_7

public static final java.util.BitSet _tokenSet_7

_tokenSet_8

public static final java.util.BitSet _tokenSet_8

_tokenSet_9

public static final java.util.BitSet _tokenSet_9

_tokenSet_10

public static final java.util.BitSet _tokenSet_10

_tokenSet_11

public static final java.util.BitSet _tokenSet_11

_tokenSet_12

public static final java.util.BitSet _tokenSet_12

_tokenSet_13

public static final java.util.BitSet _tokenSet_13

_tokenSet_14

public static final java.util.BitSet _tokenSet_14

_tokenSet_15

public static final java.util.BitSet _tokenSet_15

_tokenSet_16

public static final java.util.BitSet _tokenSet_16

_tokenSet_17

public static final java.util.BitSet _tokenSet_17

_tokenSet_18

public static final java.util.BitSet _tokenSet_18

_tokenSet_19

public static final java.util.BitSet _tokenSet_19

Constructor Detail

POSLParser

protected POSLParser(TokenBuffer tokenBuf,
                     int k)

POSLParser

public POSLParser(TokenBuffer tokenBuf)

Method Detail

rulebase

public final void rulebase(java.util.Vector clauses)
                    throws RecognitionException,
                           TokenStreamException

Throws:

RecognitionException

TokenStreamException

clause

public final DefiniteClause clause(boolean newVars)
                            throws RecognitionException,
                                   TokenStreamException

Throws:

RecognitionException

TokenStreamException

atom

public final Term atom(boolean head)
                throws RecognitionException,
                       TokenStreamException

Throws:

RecognitionException

TokenStreamException

atoms

public final void atoms(java.util.Vector atms)
                 throws RecognitionException,
                        TokenStreamException

Throws:

RecognitionException

TokenStreamException

nafatom

public final Term nafatom()
                   throws RecognitionException,
                          TokenStreamException

Throws:

RecognitionException

TokenStreamException

assertatom

public final Term assertatom()
                      throws RecognitionException,
                             TokenStreamException

Throws:

RecognitionException

TokenStreamException

rel

public final int rel()
              throws RecognitionException,
                     TokenStreamException

Throws:

RecognitionException

TokenStreamException

oid

public final Term oid()
               throws RecognitionException,
                      TokenStreamException

Throws:

RecognitionException

TokenStreamException

ps

public final void ps(java.util.Vector terms)
              throws RecognitionException,
                     TokenStreamException

Throws:

RecognitionException

TokenStreamException

pos

public final void pos(java.util.Vector terms)
               throws RecognitionException,
                      TokenStreamException

Throws:

RecognitionException

TokenStreamException

prest

public final void prest(java.util.Vector terms)
                 throws RecognitionException,
                        TokenStreamException

Throws:

RecognitionException

TokenStreamException

slots

public final void slots(java.util.Vector terms)
                 throws RecognitionException,
                        TokenStreamException

Throws:

RecognitionException

TokenStreamException

srest

public final void srest(java.util.Vector terms)
                 throws RecognitionException,
                        TokenStreamException

Throws:

RecognitionException

TokenStreamException

term

public final Term term()
                throws RecognitionException,
                       TokenStreamException

Throws:

RecognitionException

TokenStreamException

var

public final Term var()
               throws RecognitionException,
                      TokenStreamException

Throws:

RecognitionException

TokenStreamException

posplex

public final Term posplex()
                   throws RecognitionException,
                          TokenStreamException

Throws:

RecognitionException

TokenStreamException

slotplex

public final Term slotplex()
                    throws RecognitionException,
                           TokenStreamException

Throws:

RecognitionException

TokenStreamException

slot

public final Term slot()
                throws RecognitionException,
                       TokenStreamException

Throws:

RecognitionException

TokenStreamException

role

public final int role()
               throws RecognitionException,
                      TokenStreamException

Throws:

RecognitionException

TokenStreamException

ind

public final Term ind()
               throws RecognitionException,
                      TokenStreamException

Throws:

RecognitionException

TokenStreamException

cterm

public final Term cterm()
                 throws RecognitionException,
                        TokenStreamException

Throws:

RecognitionException

TokenStreamException

skolem

public final Term skolem()
                  throws RecognitionException,
                         TokenStreamException

Throws:

RecognitionException

TokenStreamException

plex

public final Term plex()
                throws RecognitionException,
                       TokenStreamException

Throws:

RecognitionException

TokenStreamException

ctor

public final int ctor()
               throws RecognitionException,
                      TokenStreamException

Throws:

RecognitionException

TokenStreamException

type

public final int type()
               throws RecognitionException,
                      TokenStreamException

Throws:

RecognitionException

TokenStreamException

symbol

public final java.lang.String symbol()
                              throws RecognitionException,
                                     TokenStreamException

Throws:

RecognitionException

TokenStreamException

uri

public final java.lang.String uri()
                           throws RecognitionException,
                                  TokenStreamException

Throws:

RecognitionException

TokenStreamException