org.semanticweb.triple.parser
Class LTermParser

java.lang.Object
  org.semanticweb.triple.parser.LTermParser

All Implemented Interfaces:

LTermParserConstants

public class LTermParser

extends java.lang.Object

implements LTermParserConstants

Field Summary

Token	jj_nt
boolean	lookingAhead
Token	token
LTermParserTokenManager	token_source

Fields inherited from interface org.semanticweb.triple.parser.LTermParserConstants

AND, ASSIGN, AT, BY, COLON, COMMA, DECIMAL_LITERAL, DEFAULT, DIFF, DIGIT, DOT, DQ_SYMBOL, EOC, EOF, EQUALS, EQUIV, EXISTS, EXPONENT, EXTERNAL, FLOATING_POINT_LITERAL, FORALL, FORMAL_COMMENT, GEQ, GREATER, HEX_LITERAL, IMPLIEDBY, IMPLIES, IN_FORMAL_COMMENT, IN_MULTI_LINE_COMMENT, IN_SINGLE_LINE_COMMENT, INTEGER_LITERAL, INTERSECT, IS, LBRACE, LBRACKET, LEQ, LESSER, LETTER, LPAREN, MINUS, MULTI_LINE_COMMENT, NEG, NOT, OCTAL_LITERAL, OR, PLUS, Q_SYMBOL, RBRACE, RBRACKET, RPAREN, SEMICOLON, SINGLE_LINE_COMMENT, STRUCTEQUALS, SYMBOL, TIMES, tokenImage, UNDERSCORE, UNION

Constructor Summary

LTermParser(java.io.InputStream stream)

LTermParser(LTermParserTokenManager tm)

LTermParser(java.io.Reader stream)

Method Summary

java.util.ArrayList	ArgList()
java.lang.String	Binop1000()
java.lang.String	Binop1100()
java.lang.String	Binop1200()
java.lang.String	Binop400()
java.lang.String	Binop500()
java.lang.String	Binop661()
java.lang.String	Binop680()
java.lang.String	Binop700()
java.lang.String	Binop900()
LTerm	Binop900Term()
void	Clause(Context context)
void	ClauseBlock(Context context)
void	ClauseSeq(Context context)
void	disable_tracing()
LDouble	Double()
void	enable_tracing()
java.util.ArrayList	ForallQuantifier()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
LTerm	IdTerm()
java.util.ArrayList	IdTermSeq()
LInteger	Integer()
static void	main(java.lang.String[] args)
LTerm	Op1000Term()
LTerm	Op1100Term()
LTerm	Op1200Term()
LTerm	Op400Term()
LTerm	Op500Term()
LTerm	Op661Term()
LTerm	Op680Term()
LTerm	Op700Term()
LTerm	Op900Term()
void	parse(Context context) THE LTerm LANGUAGE GRAMMAR STARTS HERE *
LTerm	PathExpression()
java.lang.String	Quantop900()
void	ReInit(java.io.InputStream stream)
void	ReInit(LTermParserTokenManager tm)
void	ReInit(java.io.Reader stream)
java.util.ArrayList	SBArgList()
void	SimpleClauseBlock(Context context)
LTerm	StructTerm()
LSymbol	Symbol()
LTerm	Term()
java.util.ArrayList	TermSeq()
LTerm	UnitTerm()
java.lang.String	Unop1200()
java.lang.String	Unop500()
java.lang.String	Unop900()
LVariable	Variable()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public LTermParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

lookingAhead

public boolean lookingAhead

Constructor Detail

LTermParser

public LTermParser(java.io.InputStream stream)

LTermParser

public LTermParser(java.io.Reader stream)

LTermParser

public LTermParser(LTermParserTokenManager tm)

Method Detail

main

public static void main(java.lang.String[] args)

parse

public final void parse(Context context)
                 throws ParseException

THE LTerm LANGUAGE GRAMMAR STARTS HERE *

Throws:

ParseException

ClauseBlock

public final void ClauseBlock(Context context)
                       throws ParseException

Throws:

ParseException

SimpleClauseBlock

public final void SimpleClauseBlock(Context context)
                             throws ParseException

Throws:

ParseException

ClauseSeq

public final void ClauseSeq(Context context)
                     throws ParseException

Throws:

ParseException

Clause

public final void Clause(Context context)
                  throws ParseException

Throws:

ParseException

ForallQuantifier

public final java.util.ArrayList ForallQuantifier()
                                           throws ParseException

Throws:

ParseException

Term

public final LTerm Term()
                 throws ParseException

Throws:

ParseException

Op1200Term

public final LTerm Op1200Term()
                       throws ParseException

Throws:

ParseException

Op1100Term

public final LTerm Op1100Term()
                       throws ParseException

Throws:

ParseException

Op1000Term

public final LTerm Op1000Term()
                       throws ParseException

Throws:

ParseException

Op900Term

public final LTerm Op900Term()
                      throws ParseException

Throws:

ParseException

Binop900Term

public final LTerm Binop900Term()
                         throws ParseException

Throws:

ParseException

Op700Term

public final LTerm Op700Term()
                      throws ParseException

Throws:

ParseException

Op680Term

public final LTerm Op680Term()
                      throws ParseException

Throws:

ParseException

Op661Term

public final LTerm Op661Term()
                      throws ParseException

Throws:

ParseException

Op500Term

public final LTerm Op500Term()
                      throws ParseException

Throws:

ParseException

Op400Term

public final LTerm Op400Term()
                      throws ParseException

Throws:

ParseException

StructTerm

public final LTerm StructTerm()
                       throws ParseException

Throws:

ParseException

UnitTerm

public final LTerm UnitTerm()
                     throws ParseException

Throws:

ParseException

PathExpression

public final LTerm PathExpression()
                           throws ParseException

Throws:

ParseException

IdTerm

public final LTerm IdTerm()
                   throws ParseException

Throws:

ParseException

Variable

public final LVariable Variable()
                         throws ParseException

Throws:

ParseException

Symbol

public final LSymbol Symbol()
                     throws ParseException

Throws:

ParseException

Integer

public final LInteger Integer()
                       throws ParseException

Throws:

ParseException

Double

public final LDouble Double()
                     throws ParseException

Throws:

ParseException

ArgList

public final java.util.ArrayList ArgList()
                                  throws ParseException

Throws:

ParseException

SBArgList

public final java.util.ArrayList SBArgList()
                                    throws ParseException

Throws:

ParseException

TermSeq

public final java.util.ArrayList TermSeq()
                                  throws ParseException

Throws:

ParseException

IdTermSeq

public final java.util.ArrayList IdTermSeq()
                                    throws ParseException

Throws:

ParseException

Unop1200

public final java.lang.String Unop1200()
                                throws ParseException

Throws:

ParseException

Binop1200

public final java.lang.String Binop1200()
                                 throws ParseException

Throws:

ParseException

Binop1100

public final java.lang.String Binop1100()
                                 throws ParseException

Throws:

ParseException

Binop1000

public final java.lang.String Binop1000()
                                 throws ParseException

Throws:

ParseException

Quantop900

public final java.lang.String Quantop900()
                                  throws ParseException

Throws:

ParseException

Unop900

public final java.lang.String Unop900()
                               throws ParseException

Throws:

ParseException

Binop900

public final java.lang.String Binop900()
                                throws ParseException

Throws:

ParseException

Binop700

public final java.lang.String Binop700()
                                throws ParseException

Throws:

ParseException

Binop680

public final java.lang.String Binop680()
                                throws ParseException

Throws:

ParseException

Binop661

public final java.lang.String Binop661()
                                throws ParseException

Throws:

ParseException

Unop500

public final java.lang.String Unop500()
                               throws ParseException

Throws:

ParseException

Binop500

public final java.lang.String Binop500()
                                throws ParseException

Throws:

ParseException

Binop400

public final java.lang.String Binop400()
                                throws ParseException

Throws:

ParseException

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(LTermParserTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()