Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

jdrew.oo.util.parsing
Class POSLParser

java.lang.Object
  extended by antlr.Parser
      extended by antlr.LLkParser
          extended by 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 antlr.collections.impl.BitSet _tokenSet_0
           
static antlr.collections.impl.BitSet _tokenSet_1
           
static antlr.collections.impl.BitSet _tokenSet_10
           
static antlr.collections.impl.BitSet _tokenSet_11
           
static antlr.collections.impl.BitSet _tokenSet_12
           
static antlr.collections.impl.BitSet _tokenSet_13
           
static antlr.collections.impl.BitSet _tokenSet_14
           
static antlr.collections.impl.BitSet _tokenSet_15
           
static antlr.collections.impl.BitSet _tokenSet_16
           
static antlr.collections.impl.BitSet _tokenSet_17
           
static antlr.collections.impl.BitSet _tokenSet_18
           
static antlr.collections.impl.BitSet _tokenSet_19
           
static antlr.collections.impl.BitSet _tokenSet_2
           
static antlr.collections.impl.BitSet _tokenSet_3
           
static antlr.collections.impl.BitSet _tokenSet_4
           
static antlr.collections.impl.BitSet _tokenSet_5
           
static antlr.collections.impl.BitSet _tokenSet_6
           
static antlr.collections.impl.BitSet _tokenSet_7
           
static antlr.collections.impl.BitSet _tokenSet_8
           
static antlr.collections.impl.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(antlr.ParserSharedInputState state)
           
POSLParser(antlr.TokenBuffer tokenBuf)
           
POSLParser(antlr.TokenStream lexer)
           
 
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 antlr.LLkParser
consume, LA, LT, traceIn, traceOut
 
Methods inherited from class antlr.Parser
addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, recover, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_tokenNames

public static final java.lang.String[] _tokenNames

_tokenSet_0

public static final antlr.collections.impl.BitSet _tokenSet_0

_tokenSet_1

public static final antlr.collections.impl.BitSet _tokenSet_1

_tokenSet_2

public static final antlr.collections.impl.BitSet _tokenSet_2

_tokenSet_3

public static final antlr.collections.impl.BitSet _tokenSet_3

_tokenSet_4

public static final antlr.collections.impl.BitSet _tokenSet_4

_tokenSet_5

public static final antlr.collections.impl.BitSet _tokenSet_5

_tokenSet_6

public static final antlr.collections.impl.BitSet _tokenSet_6

_tokenSet_7

public static final antlr.collections.impl.BitSet _tokenSet_7

_tokenSet_8

public static final antlr.collections.impl.BitSet _tokenSet_8

_tokenSet_9

public static final antlr.collections.impl.BitSet _tokenSet_9

_tokenSet_10

public static final antlr.collections.impl.BitSet _tokenSet_10

_tokenSet_11

public static final antlr.collections.impl.BitSet _tokenSet_11

_tokenSet_12

public static final antlr.collections.impl.BitSet _tokenSet_12

_tokenSet_13

public static final antlr.collections.impl.BitSet _tokenSet_13

_tokenSet_14

public static final antlr.collections.impl.BitSet _tokenSet_14

_tokenSet_15

public static final antlr.collections.impl.BitSet _tokenSet_15

_tokenSet_16

public static final antlr.collections.impl.BitSet _tokenSet_16

_tokenSet_17

public static final antlr.collections.impl.BitSet _tokenSet_17

_tokenSet_18

public static final antlr.collections.impl.BitSet _tokenSet_18

_tokenSet_19

public static final antlr.collections.impl.BitSet _tokenSet_19
Constructor Detail

POSLParser

public POSLParser(antlr.TokenBuffer tokenBuf)

POSLParser

public POSLParser(antlr.TokenStream lexer)

POSLParser

public POSLParser(antlr.ParserSharedInputState state)
Method Detail

rulebase

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

clause

public final DefiniteClause clause(boolean newVars)
                            throws antlr.RecognitionException,
                                   antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

atom

public final Term atom(boolean head)
                throws antlr.RecognitionException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

atoms

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

nafatom

public final Term nafatom()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

assertatom

public final Term assertatom()
                      throws antlr.RecognitionException,
                             antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

rel

public final int rel()
              throws antlr.RecognitionException,
                     antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

oid

public final Term oid()
               throws antlr.RecognitionException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ps

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

pos

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

prest

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

slots

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

srest

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

term

public final Term term()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

var

public final Term var()
               throws antlr.RecognitionException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

posplex

public final Term posplex()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

slotplex

public final Term slotplex()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

slot

public final Term slot()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

role

public final int role()
               throws antlr.RecognitionException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ind

public final Term ind()
               throws antlr.RecognitionException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

cterm

public final Term cterm()
                 throws antlr.RecognitionException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

skolem

public final Term skolem()
                  throws antlr.RecognitionException,
                         antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

plex

public final Term plex()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

ctor

public final int ctor()
               throws antlr.RecognitionException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

type

public final int type()
               throws antlr.RecognitionException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException

symbol

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

uri

public final java.lang.String uri()
                           throws antlr.RecognitionException,
                                  antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.TokenStreamException
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD