org.rubato.rubettes.denotex
Class DenotexParser
java.lang.Object
org.rubato.rubettes.denotex.DenotexParser
- All Implemented Interfaces:
- DenotexParserConstants
public final class DenotexParser
- extends java.lang.Object
- implements DenotexParserConstants
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 |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
token_source
public DenotexParserTokenManager token_source
token
public Token token
jj_nt
public Token jj_nt
lookingAhead
public boolean lookingAhead
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)
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()