org.rubato.rubettes.denotex
Class DenotexParser

java.lang.Object
  extended by org.rubato.rubettes.denotex.DenotexParser
All Implemented Interfaces:
DenotexParserConstants

public final class DenotexParser
extends java.lang.Object
implements DenotexParserConstants


Field Summary
 Token jj_nt
           
 boolean lookingAhead
           
 Token token
           
 DenotexParserTokenManager token_source
           
 
Fields inherited from interface org.rubato.rubettes.denotex.DenotexParserConstants
BEGIN, DEFAULT, DIGIT, END, EOF, EXPONENT, FLOATING_POINT_LITERAL, FORM, IDENTIFIER, INCLUDE, INTEGER_LITERAL, LETTER, LIST_C, LIST_O, MODULE, NAMESPACE, QIDENTIFIER, STRING_LITERAL, SUBSTANCE, SYN_C, SYN_O, tokenImage
 
Constructor Summary
DenotexParser(DenotexParserTokenManager tm)
           
DenotexParser(java.io.InputStream stream)
           
DenotexParser(java.io.InputStream input, Symboltable t)
           
DenotexParser(java.io.InputStream input, Symboltable t, Repository rep)
           
DenotexParser(java.io.Reader stream)
           
DenotexParser(java.io.Reader input, Symboltable t)
           
DenotexParser(java.io.Reader input, Symboltable t, Repository rep)
           
DenotexParser(java.net.URL url, Symboltable t)
           
DenotexParser(java.net.URL url, Symboltable t, Repository rep)
           
 
Method Summary
 Module address()
           
 java.util.LinkedList basicElement(Module m)
           
 Module basicModule()
           
 java.lang.String basicType()
           
 java.util.List cds(Module address, Form form)
           
 Complex cLiteral()
           
 java.util.List colimitCds(Module address, Form form)
           
 java.util.List colimitCrs(int type)
           
 java.util.LinkedList compositeElement(Module m)
           
 java.util.List crs(int type)
           
 void definitionBlock()
           
 Denotator denotator(Module address, Form form)
           
 Denotator denotatorDefinition(NameEntry name, Module expectedAddress, Form expectedForm)
           
 NameEntry denotatorName()
           
 void denotex()
           
 void diagram()
           
 void disable_tracing()
           
 void enable_tracing()
           
 void formDefinition()
           
 NameEntry formName()
           
 java.util.List formNameList()
           
 ParseException generateParseException()
           
 Token getNextToken()
           
 Token getToken(int index)
           
 java.lang.String id()
           
 void includeCommand()
           
 java.util.List limitCds(Module address, Form form)
           
 java.util.List limitCrs(int type)
           
 java.util.List listCds(Module address, Form form)
           
 java.util.List listCrs(int type)
           
static void main(java.lang.String[] args)
           
 Module module()
           
 void moduleDefinition()
           
 ModuleElement moduleElement(Module m)
           
 java.lang.String moduleName()
           
 void morphism()
           
 NameEntry nameSpaceName()
           
 int nLiteral()
           
 void parse()
           
 void parseDenotator()
           
 void parseForm()
           
 void parselink()
           
 java.util.List powerCds(Module address, Form form)
           
 java.util.List powerCrs(int type)
           
 Rational qLiteral()
           
 void ReInit(DenotexParserTokenManager tm)
           
 void ReInit(java.io.InputStream stream)
           
 void ReInit(java.io.Reader stream)
           
 double rLiteral()
           
 java.util.List simpleCds(Module address, Form form)
           
 java.util.List simpleCrs(int type)
           
 java.lang.String sLiteral()
           
 int spaceType()
           
 void substanceDefinition()
           
 int zLiteral()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

token_source

public DenotexParserTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

lookingAhead

public boolean lookingAhead
Constructor Detail

DenotexParser

public DenotexParser(java.io.Reader input,
                     Symboltable t)

DenotexParser

public DenotexParser(java.io.Reader input,
                     Symboltable t,
                     Repository rep)

DenotexParser

public DenotexParser(java.io.InputStream input,
                     Symboltable t)

DenotexParser

public DenotexParser(java.io.InputStream input,
                     Symboltable t,
                     Repository rep)

DenotexParser

public DenotexParser(java.net.URL url,
                     Symboltable t)
              throws java.io.IOException
Throws:
java.io.IOException

DenotexParser

public DenotexParser(java.net.URL url,
                     Symboltable t,
                     Repository rep)
              throws java.io.IOException
Throws:
java.io.IOException

DenotexParser

public DenotexParser(java.io.InputStream stream)

DenotexParser

public DenotexParser(java.io.Reader stream)

DenotexParser

public DenotexParser(DenotexParserTokenManager tm)
Method Detail

parse

public void parse()
           throws ParseException
Throws:
ParseException

parselink

public void parselink()
               throws ParseException
Throws:
ParseException

parseForm

public void parseForm()
               throws ParseException
Throws:
ParseException

parseDenotator

public void parseDenotator()
                    throws ParseException
Throws:
ParseException

main

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

denotex

public final void denotex()
                   throws ParseException
Throws:
ParseException

includeCommand

public final void includeCommand()
                          throws ParseException
Throws:
ParseException

definitionBlock

public final void definitionBlock()
                           throws ParseException
Throws:
ParseException

nameSpaceName

public final NameEntry nameSpaceName()
                              throws ParseException
Throws:
ParseException

formDefinition

public final void formDefinition()
                          throws ParseException
Throws:
ParseException

crs

public final java.util.List crs(int type)
                         throws ParseException
Throws:
ParseException

simpleCrs

public final java.util.List simpleCrs(int type)
                               throws ParseException
Throws:
ParseException

limitCrs

public final java.util.List limitCrs(int type)
                              throws ParseException
Throws:
ParseException

colimitCrs

public final java.util.List colimitCrs(int type)
                                throws ParseException
Throws:
ParseException

powerCrs

public final java.util.List powerCrs(int type)
                              throws ParseException
Throws:
ParseException

listCrs

public final java.util.List listCrs(int type)
                             throws ParseException
Throws:
ParseException

formNameList

public final java.util.List formNameList()
                                  throws ParseException
Throws:
ParseException

formName

public final NameEntry formName()
                         throws ParseException
Throws:
ParseException

spaceType

public final int spaceType()
                    throws ParseException
Throws:
ParseException

morphism

public final void morphism()
                    throws ParseException
Throws:
ParseException

diagram

public final void diagram()
                   throws ParseException
Throws:
ParseException

substanceDefinition

public final void substanceDefinition()
                               throws ParseException
Throws:
ParseException

denotatorDefinition

public final Denotator denotatorDefinition(NameEntry name,
                                           Module expectedAddress,
                                           Form expectedForm)
                                    throws ParseException
Throws:
ParseException

address

public final Module address()
                     throws ParseException
Throws:
ParseException

cds

public final java.util.List cds(Module address,
                                Form form)
                         throws ParseException
Throws:
ParseException

simpleCds

public final java.util.List simpleCds(Module address,
                                      Form form)
                               throws ParseException
Throws:
ParseException

limitCds

public final java.util.List limitCds(Module address,
                                     Form form)
                              throws ParseException
Throws:
ParseException

colimitCds

public final java.util.List colimitCds(Module address,
                                       Form form)
                                throws ParseException
Throws:
ParseException

powerCds

public final java.util.List powerCds(Module address,
                                     Form form)
                              throws ParseException
Throws:
ParseException

listCds

public final java.util.List listCds(Module address,
                                    Form form)
                             throws ParseException
Throws:
ParseException

denotator

public final Denotator denotator(Module address,
                                 Form form)
                          throws ParseException
Throws:
ParseException

denotatorName

public final NameEntry denotatorName()
                              throws ParseException
Throws:
ParseException

moduleDefinition

public final void moduleDefinition()
                            throws ParseException
Throws:
ParseException

moduleName

public final java.lang.String moduleName()
                                  throws ParseException
Throws:
ParseException

module

public final Module module()
                    throws ParseException
Throws:
ParseException

basicModule

public final Module basicModule()
                         throws ParseException
Throws:
ParseException

basicType

public final java.lang.String basicType()
                                 throws ParseException
Throws:
ParseException

moduleElement

public final ModuleElement moduleElement(Module m)
                                  throws ParseException
Throws:
ParseException

compositeElement

public final java.util.LinkedList compositeElement(Module m)
                                            throws ParseException
Throws:
ParseException

basicElement

public final java.util.LinkedList basicElement(Module m)
                                        throws ParseException
Throws:
ParseException

id

public final java.lang.String id()
                          throws ParseException
Throws:
ParseException

nLiteral

public final int nLiteral()
                   throws ParseException
Throws:
ParseException

zLiteral

public final int zLiteral()
                   throws ParseException
Throws:
ParseException

qLiteral

public final Rational qLiteral()
                        throws ParseException
Throws:
ParseException

rLiteral

public final double rLiteral()
                      throws ParseException
Throws:
ParseException

cLiteral

public final Complex cLiteral()
                       throws ParseException
Throws:
ParseException

sLiteral

public final java.lang.String sLiteral()
                                throws ParseException
Throws:
ParseException

ReInit

public void ReInit(java.io.InputStream stream)

ReInit

public void ReInit(java.io.Reader stream)

ReInit

public void ReInit(DenotexParserTokenManager 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()