All Packages Class Hierarchy
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Index of all Fields and Methods
- a_.
Variable in class LinearLambda
-
- add_escapes(String).
Method in class ParseException
- Used to convert raw characters to their escaped version
when these raw version cannot be used as part of an ASCII
string literal.
- addEscapes(String).
Static method in class TokenMgrError
- Replaces unprintable characters by their espaced (or unicode escaped)
equivalents in the given string
- adjustBeginLineColumn(int, int).
Static method in class ASCII_CharStream
- Method to adjust line and column numbers for the start of a token.
- adjustBeginLineColumn(int, int).
Static method in class ASCII_UCodeESC_CharStream
- Method to adjust line and column numbers for the start of a token.
- APP.
Static variable in interface LLFNode
-
- App(BaseObject, BaseObject).
Constructor for class App
-
- ASCII_CharStream(InputStream, int, int).
Constructor for class ASCII_CharStream
-
- ASCII_CharStream(InputStream, int, int, int).
Constructor for class ASCII_CharStream
-
- ASCII_UCodeESC_CharStream(InputStream, int, int).
Constructor for class ASCII_UCodeESC_CharStream
-
- ASCII_UCodeESC_CharStream(InputStream, int, int, int).
Constructor for class ASCII_UCodeESC_CharStream
-
- astString(int).
Method in class App
-
- astString(int).
Method in class First
-
- astString(int).
Method in class FunctionType
-
- astString(int).
Method in class Identifier
-
- astString(int).
Method in class Lambda
-
- astString(int).
Method in class LinearApp
-
- astString(int).
Method in class LinearLambda
-
- astString(int).
Method in interface LLFNode
-
- astString(int).
Method in class Lollipop
-
- astString(int).
Method in class Pair
-
- astString(int).
Method in class Second
-
- astString(int).
Method in class Top
-
- astString(int).
Method in class TypeFamilyConstant
-
- astString(int).
Method in class TypeFamilyInstantiation
-
- astString(int).
Method in class Unit
-
- astString(int).
Method in class Variable
-
- astString(int).
Method in class With
-
- backup(int).
Static method in class ASCII_CharStream
-
- backup(int).
Static method in class ASCII_UCodeESC_CharStream
-
- baseObject().
Static method in class Parser
-
- baseObject2().
Static method in class Parser
-
- beginColumn.
Variable in class Token
- beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.
- beginLine.
Variable in class Token
- beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.
- BeginToken().
Static method in class ASCII_CharStream
-
- BeginToken().
Static method in class ASCII_UCodeESC_CharStream
-
- bufpos.
Static variable in class ASCII_CharStream
-
- bufpos.
Static variable in class ASCII_UCodeESC_CharStream
-
- COLON.
Static variable in interface ParserConstants
-
- COMMA.
Static variable in interface ParserConstants
-
- commaBaseObject().
Static method in class Parser
-
- commaBaseObject2().
Static method in class Parser
-
- create(InputStream).
Static method in class Parser
-
- create(String).
Static method in class Parser
-
- curChar.
Static variable in class ParserTokenManager
-
- currentToken.
Variable in class ParseException
- This is the last token that has been consumed successfully.
- DEFAULT.
Static variable in interface ParserConstants
-
- DIGIT.
Static variable in interface ParserConstants
-
- disable_tracing().
Static method in class Parser
-
- Done().
Static method in class ASCII_CharStream
-
- Done().
Static method in class ASCII_UCodeESC_CharStream
-
- enable_tracing().
Static method in class Parser
-
- endColumn.
Variable in class Token
- beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.
- endLine.
Variable in class Token
- beginLine and beginColumn describe the position of the first character
of this token; endLine and endColumn describe the position of the
last character of this token.
- EOF.
Static variable in interface ParserConstants
-
- eol.
Variable in class ParseException
- The end of line string for this machine.
- Example().
Constructor for class Example
-
- expectedTokenSequences.
Variable in class ParseException
- Each entry in this array is an array of integers.
- FIRST.
Static variable in interface LLFNode
-
- FIRST.
Static variable in interface ParserConstants
-
- First(BaseObject).
Constructor for class First
-
- FUNCTION_TYPE.
Static variable in interface LLFNode
-
- functionBaseObject().
Static method in class Parser
-
- functionBaseObjectVector().
Static method in class Parser
-
- functionType().
Static method in class Parser
-
- FunctionType(Variable, Type, Type).
Constructor for class FunctionType
-
- generateParseException().
Static method in class Parser
-
- getBeginColumn().
Static method in class ASCII_CharStream
-
- getBeginColumn().
Static method in class ASCII_UCodeESC_CharStream
-
- getBeginLine().
Static method in class ASCII_CharStream
-
- getBeginLine().
Static method in class ASCII_UCodeESC_CharStream
-
- getColumn().
Static method in class ASCII_CharStream
-
- getColumn().
Static method in class ASCII_UCodeESC_CharStream
-
- getEndColumn().
Static method in class ASCII_CharStream
-
- getEndColumn().
Static method in class ASCII_UCodeESC_CharStream
-
- getEndLine().
Static method in class ASCII_CharStream
-
- getEndLine().
Static method in class ASCII_UCodeESC_CharStream
-
- GetImage().
Static method in class ASCII_CharStream
-
- GetImage().
Static method in class ASCII_UCodeESC_CharStream
-
- getLine().
Static method in class ASCII_CharStream
-
- getLine().
Static method in class ASCII_UCodeESC_CharStream
-
- getMessage().
Method in class ParseException
- This method has the standard behavior when this object has been
created using the standard constructors.
- getMessage().
Method in class TokenMgrError
- You can also modify the body of this method to customize your error messages.
- getNextToken().
Static method in class Parser
-
- getNextToken().
Static method in class ParserTokenManager
-
- GetSuffix(int).
Static method in class ASCII_CharStream
-
- GetSuffix(int).
Static method in class ASCII_UCodeESC_CharStream
-
- getToken(int).
Static method in class Parser
-
- HAT.
Static variable in interface ParserConstants
-
- head(BaseObject, Vector).
Static method in class Util
-
- highestBaseObject().
Static method in class Parser
-
- highestBaseObject2().
Static method in class Parser
-
- highestType().
Static method in class Parser
-
- IDENTIFIER.
Static variable in interface LLFNode
-
- IDENTIFIER.
Static variable in interface ParserConstants
-
- Identifier(String).
Constructor for class Identifier
-
- image.
Variable in class Token
- The string image of the token.
- initSpaces(int).
Static method in class Parser
-
- jj_nt.
Static variable in class Parser
-
- jjstrLiteralImages.
Static variable in class ParserTokenManager
-
- kind.
Variable in class Token
- An integer that describes the kind of this token.
- LAMBDA.
Static variable in interface LLFNode
-
- Lambda(Variable, Type, BaseObject).
Constructor for class Lambda
-
- lambdaBaseObject().
Static method in class Parser
-
- lambdaBaseObject2().
Static method in class Parser
-
- lambdaType().
Method in class App
-
- lambdaType().
Method in interface BaseObject
-
- lambdaType().
Method in class First
-
- lambdaType().
Method in class Identifier
-
- lambdaType().
Method in class Lambda
-
- lambdaType().
Method in class LinearApp
-
- lambdaType().
Method in class LinearLambda
-
- lambdaType().
Method in class Pair
-
- lambdaType().
Method in class Second
-
- lambdaType().
Method in class Unit
-
- lambdaType().
Method in class Variable
-
- LARROW.
Static variable in interface ParserConstants
-
- LBRACE.
Static variable in interface ParserConstants
-
- LBRACKET.
Static variable in interface ParserConstants
-
- leftFunctionType().
Static method in class Parser
-
- leftFunctionTypeVector().
Static method in class Parser
-
- leftSubterm().
Method in class App
-
- leftSubterm().
Method in interface BaseObject
-
- leftSubterm().
Method in class First
-
- leftSubterm().
Method in class FunctionType
-
- leftSubterm().
Method in class Identifier
-
- leftSubterm().
Method in class Lambda
-
- leftSubterm().
Method in class LinearApp
-
- leftSubterm().
Method in class LinearLambda
-
- leftSubterm().
Method in class Lollipop
-
- leftSubterm().
Method in class Pair
-
- leftSubterm().
Method in class Second
-
- leftSubterm().
Method in class Top
-
- leftSubterm().
Method in interface Type
-
- leftSubterm().
Method in class TypeFamilyConstant
-
- leftSubterm().
Method in class TypeFamilyInstantiation
-
- leftSubterm().
Method in class Unit
-
- leftSubterm().
Method in class Variable
-
- leftSubterm().
Method in class With
-
- LETTER.
Static variable in interface ParserConstants
-
- lexStateNames.
Static variable in class ParserTokenManager
-
- LINEAR_APP.
Static variable in interface LLFNode
-
- LINEAR_LAMBDA.
Static variable in interface LLFNode
-
- LinearApp(BaseObject, BaseObject).
Constructor for class LinearApp
-
- LinearLambda(Variable, Type, BaseObject).
Constructor for class LinearLambda
-
- LLFException().
Constructor for class LLFException
-
- LLFException(String).
Constructor for class LLFException
-
- LLOLLIPOP.
Static variable in interface ParserConstants
-
- LOLLIPOP.
Static variable in interface LLFNode
-
- Lollipop(Type, Type).
Constructor for class Lollipop
-
- lookingAhead.
Static variable in class Parser
-
- LPAREN.
Static variable in interface ParserConstants
-
- m_.
Variable in class LinearLambda
-
- main(String[]).
Static method in class Example
-
- newToken(int).
Static method in class Token
- Returns a new Token object, by default.
- next.
Variable in class Token
- A reference to the next regular (non-special) token from the input
stream.
- nth(int).
Method in class App
-
- nth(int).
Method in interface BaseObject
-
- nth(int).
Method in class First
-
- nth(int).
Method in class Identifier
-
- nth(int).
Method in class Lambda
-
- nth(int).
Method in class LinearApp
-
- nth(int).
Method in class LinearLambda
-
- nth(int).
Method in class Pair
-
- nth(int).
Method in class Second
-
- nth(int).
Method in interface TypeFamily
-
- nth(int).
Method in class TypeFamilyConstant
-
- nth(int).
Method in class TypeFamilyInstantiation
-
- nth(int).
Method in class Unit
-
- nth(int).
Method in class Variable
-
- OTHER.
Static variable in interface ParserConstants
-
- PAIR.
Static variable in interface LLFNode
-
- Pair(BaseObject, BaseObject).
Constructor for class Pair
-
- ParseException().
Constructor for class ParseException
- The following constructors are for use by you for whatever
purpose you can think of.
- ParseException(String).
Constructor for class ParseException
-
- ParseException(Token, int[][], String[]).
Constructor for class ParseException
- This constructor is used by the method "generateParseException"
in the generated parser.
- Parser(InputStream).
Constructor for class Parser
-
- Parser(ParserTokenManager).
Constructor for class Parser
-
- ParserTokenManager(ASCII_UCodeESC_CharStream).
Constructor for class ParserTokenManager
-
- ParserTokenManager(ASCII_UCodeESC_CharStream, int).
Constructor for class ParserTokenManager
-
- RARROW.
Static variable in interface ParserConstants
-
- RBRACE.
Static variable in interface ParserConstants
-
- RBRACKET.
Static variable in interface ParserConstants
-
- readChar().
Static method in class ASCII_CharStream
-
- readChar().
Static method in class ASCII_UCodeESC_CharStream
-
- ReInit(ASCII_UCodeESC_CharStream).
Static method in class ParserTokenManager
-
- ReInit(ASCII_UCodeESC_CharStream, int).
Static method in class ParserTokenManager
-
- ReInit(InputStream).
Static method in class Parser
-
- ReInit(InputStream, int, int).
Static method in class ASCII_CharStream
-
- ReInit(InputStream, int, int).
Method in class ASCII_UCodeESC_CharStream
-
- ReInit(InputStream, int, int, int).
Static method in class ASCII_CharStream
-
- ReInit(InputStream, int, int, int).
Method in class ASCII_UCodeESC_CharStream
-
- ReInit(ParserTokenManager).
Method in class Parser
-
- rightFunctionType().
Static method in class Parser
-
- rightSubterm().
Method in class App
-
- rightSubterm().
Method in interface BaseObject
-
- rightSubterm().
Method in class First
-
- rightSubterm().
Method in class FunctionType
-
- rightSubterm().
Method in class Identifier
-
- rightSubterm().
Method in class Lambda
-
- rightSubterm().
Method in class LinearApp
-
- rightSubterm().
Method in class LinearLambda
-
- rightSubterm().
Method in class Lollipop
-
- rightSubterm().
Method in class Pair
-
- rightSubterm().
Method in class Second
-
- rightSubterm().
Method in class Top
-
- rightSubterm().
Method in interface Type
-
- rightSubterm().
Method in class TypeFamilyConstant
-
- rightSubterm().
Method in class TypeFamilyInstantiation
-
- rightSubterm().
Method in class Unit
-
- rightSubterm().
Method in class Variable
-
- rightSubterm().
Method in class With
-
- RLOLLIPOP.
Static variable in interface ParserConstants
-
- root().
Static method in class Parser
-
- RPAREN.
Static variable in interface ParserConstants
-
- SECOND.
Static variable in interface LLFNode
-
- SECOND.
Static variable in interface ParserConstants
-
- Second(BaseObject).
Constructor for class Second
-
- space.
Static variable in class Parser
-
- specialConstructor.
Variable in class ParseException
- This variable determines which constructor was used to create
this object and thereby affects the semantics of the
"getMessage" method (see below).
- specialToken.
Variable in class Token
- This field is used to access special tokens that occur prior to this
token, but after the immediately preceding regular (non-special) token.
- staticFlag.
Static variable in class ASCII_CharStream
-
- staticFlag.
Static variable in class ASCII_UCodeESC_CharStream
-
- subterm().
Method in class App
-
- subterm().
Method in interface BaseObject
-
- subterm().
Method in class First
-
- subterm().
Method in class Identifier
-
- subterm().
Method in class Lambda
-
- subterm().
Method in class LinearApp
-
- subterm().
Method in class LinearLambda
-
- subterm().
Method in class Pair
-
- subterm().
Method in class Second
-
- subTerm().
Method in interface TypeFamily
-
- subTerm().
Method in class TypeFamilyConstant
-
- subTerm().
Method in class TypeFamilyInstantiation
-
- subterm().
Method in class Unit
-
- subterm().
Method in class Variable
-
- subTypeFamily().
Method in interface TypeFamily
-
- subTypeFamily().
Method in class TypeFamilyConstant
-
- subTypeFamily().
Method in class TypeFamilyInstantiation
-
- SwitchTo(int).
Static method in class ParserTokenManager
-
- token.
Static variable in class Parser
-
- Token().
Constructor for class Token
-
- token_source.
Static variable in class Parser
-
- tokenImage.
Variable in class ParseException
- This is a reference to the "tokenImage" array of the generated
parser within which the parse error occurred.
- tokenImage.
Static variable in interface ParserConstants
-
- TokenMgrError().
Constructor for class TokenMgrError
-
- TokenMgrError(boolean, int, int, int, String, char, int).
Constructor for class TokenMgrError
-
- TokenMgrError(String, int).
Constructor for class TokenMgrError
-
- TOP.
Static variable in interface LLFNode
-
- TOP.
Static variable in interface ParserConstants
-
- Top().
Constructor for class Top
-
- toString().
Method in class App
-
- toString().
Method in class First
-
- toString().
Method in class FunctionType
-
- toString().
Method in class Identifier
-
- toString().
Method in class Lambda
-
- toString().
Method in class LinearApp
-
- toString().
Method in class LinearLambda
-
- toString().
Method in class Lollipop
-
- toString().
Method in class Pair
-
- toString().
Method in class Second
-
- toString().
Method in class Token
- Returns the image.
- toString().
Method in class Top
-
- toString().
Method in class TypeFamilyConstant
-
- toString().
Method in class TypeFamilyInstantiation
-
- toString().
Method in class Unit
-
- toString().
Method in class Variable
-
- toString().
Method in class With
-
- type().
Method in class App
-
- type().
Method in class First
-
- type().
Method in class FunctionType
-
- type().
Method in class Identifier
-
- type().
Method in class Lambda
-
- type().
Method in class LinearApp
-
- type().
Method in class LinearLambda
-
- type().
Method in interface LLFNode
-
- type().
Method in class Lollipop
-
- type().
Method in class Pair
-
- type().
Static method in class Parser
-
- type().
Method in class Second
-
- type().
Method in class Top
-
- type().
Method in class TypeFamilyConstant
-
- type().
Method in class TypeFamilyInstantiation
-
- type().
Method in class Unit
-
- type().
Method in class Variable
-
- type().
Method in class With
-
- TYPE_FAMILY_CONSTANT.
Static variable in interface LLFNode
-
- TYPE_FAMILY_INSTANTIATION.
Static variable in interface LLFNode
-
- typeFamily().
Static method in class Parser
-
- TypeFamilyConstant(String).
Constructor for class TypeFamilyConstant
-
- TypeFamilyInstantiation(TypeFamily, BaseObject).
Constructor for class TypeFamilyInstantiation
-
- typeFamilyVector().
Static method in class Parser
-
- UNIT.
Static variable in interface LLFNode
-
- UNIT.
Static variable in interface ParserConstants
-
- Unit().
Constructor for class Unit
-
- Util().
Constructor for class Util
-
- value().
Method in class App
-
- value().
Method in interface BaseObject
-
- value().
Method in class First
-
- value().
Method in class Identifier
-
- value().
Method in class Lambda
-
- value().
Method in class LinearApp
-
- value().
Method in class LinearLambda
-
- value().
Method in class Pair
-
- value().
Method in class Second
-
- value().
Method in interface TypeFamily
-
- value().
Method in class TypeFamilyConstant
-
- value().
Method in class TypeFamilyInstantiation
-
- value().
Method in class Unit
-
- value().
Method in class Variable
-
- VARIABLE.
Static variable in interface LLFNode
-
- variable().
Method in class App
-
- variable().
Method in interface BaseObject
-
- variable().
Method in class First
-
- variable().
Method in class FunctionType
-
- variable().
Method in class Identifier
-
- variable().
Method in class Lambda
-
- variable().
Method in class LinearApp
-
- variable().
Method in class LinearLambda
-
- variable().
Method in class Lollipop
-
- variable().
Method in class Pair
-
- variable().
Static method in class Parser
-
- variable().
Method in class Second
-
- variable().
Method in class Top
-
- variable().
Method in interface Type
-
- variable().
Method in class TypeFamilyConstant
-
- variable().
Method in class TypeFamilyInstantiation
-
- variable().
Method in class Unit
-
- variable().
Method in class Variable
-
- variable().
Method in class With
-
- Variable(String).
Constructor for class Variable
-
- WITH.
Static variable in interface LLFNode
-
- WITH.
Static variable in interface ParserConstants
-
- With(Type, Type).
Constructor for class With
-
- withType().
Static method in class Parser
-
- x_.
Variable in class LinearLambda
-