super()
o Fixed bug in array declarations identified by Geoff Roy
Version 1.22.4.g.1
o I have taken java.g for Java1.5 from Michael Studman (1.22.4)
and have applied the groovy.diff from java.g (1.22) by John Rose
back onto the new root (1.22.4) - Jeremy Rayner (Jan 2005)
o for a map of the task see...
http://groovy.javanicus.com/java-g.png
Version 1.22.4.g.2
o mkempf, rkleeb, Dec 2007
o fixed various rules so that they call the correct Create Method
to make sure that the line information are correct
This grammar is in the PUBLIC DOMAIN
Fields inherited from interface org.codehaus.groovy.antlr.parser.GroovyTokenTypes |
ABSTRACT, ANNOTATION, ANNOTATION_ARRAY_INIT, ANNOTATION_DEF, ANNOTATION_FIELD_DEF, ANNOTATION_MEMBER_VALUE_PAIR, ANNOTATIONS, ARRAY_DECLARATOR, ASSIGN, AT, BAND, BAND_ASSIGN, BIG_SUFFIX, BLOCK, BNOT, BOR, BOR_ASSIGN, BSR, BSR_ASSIGN, BXOR, BXOR_ASSIGN, CASE_GROUP, CLASS_DEF, CLOSABLE_BLOCK, CLOSABLE_BLOCK_OP, CLOSURE_LIST, COLON, COMMA, COMPARE_TO, CTOR_CALL, CTOR_IDENT, DEC, DIGIT, DIV, DIV_ASSIGN, DOLLAR, DOT, DYNAMIC_MEMBER, ELIST, ELVIS_OPERATOR, EMPTY_STAT, ENUM_CONSTANT_DEF, ENUM_DEF, EOF, EQUAL, ESC, EXPONENT, EXPR, EXTENDS_CLAUSE, FINAL, FLOAT_SUFFIX, FOR_CONDITION, FOR_EACH_CLAUSE, FOR_IN_ITERABLE, FOR_INIT, FOR_ITERATOR, GE, GT, HEX_DIGIT, IDENT, IMPLEMENTS_CLAUSE, IMPLICIT_PARAMETERS, IMPORT, INC, INDEX_OP, INSTANCE_INIT, INTERFACE_DEF, LABELED_ARG, LABELED_STAT, LAND, LBRACK, LCURLY, LE, LETTER, LIST_CONSTRUCTOR, LITERAL_as, LITERAL_assert, LITERAL_boolean, LITERAL_break, LITERAL_byte, LITERAL_case, LITERAL_catch, LITERAL_char, LITERAL_class, LITERAL_continue, LITERAL_def, LITERAL_default, LITERAL_double, LITERAL_else, LITERAL_enum, LITERAL_extends, LITERAL_false, LITERAL_finally, LITERAL_float, LITERAL_for, LITERAL_if, LITERAL_implements, LITERAL_import, LITERAL_in, LITERAL_instanceof, LITERAL_int, LITERAL_interface, LITERAL_long, LITERAL_native, LITERAL_new, LITERAL_null, LITERAL_package, LITERAL_private, LITERAL_protected, LITERAL_public, LITERAL_return, LITERAL_short, LITERAL_static, LITERAL_super, LITERAL_switch, LITERAL_synchronized, LITERAL_this, LITERAL_threadsafe, LITERAL_throw, LITERAL_throws, LITERAL_transient, LITERAL_true, LITERAL_try, LITERAL_void, LITERAL_volatile, LITERAL_while, LNOT, LOR, LPAREN, LT, MAP_CONSTRUCTOR, MEMBER_POINTER, METHOD_CALL, METHOD_DEF, MINUS, MINUS_ASSIGN, ML_COMMENT, MOD, MOD_ASSIGN, MODIFIERS, NLS, NOT_EQUAL, NULL_TREE_LOOKAHEAD, NUM_BIG_DECIMAL, NUM_BIG_INT, NUM_DOUBLE, NUM_FLOAT, NUM_INT, NUM_LONG, OBJBLOCK, ONE_NL, OPTIONAL_DOT, PACKAGE_DEF, PARAMETER_DEF, PARAMETERS, PLUS, PLUS_ASSIGN, POST_DEC, POST_INC, QUESTION, RANGE_EXCLUSIVE, RANGE_INCLUSIVE, RBRACK, RCURLY, REGEX_FIND, REGEX_MATCH, REGEXP_CTOR_END, REGEXP_LITERAL, REGEXP_SYMBOL, RPAREN, SELECT_SLOT, SEMI, SH_COMMENT, SL, SL_ASSIGN, SL_COMMENT, SLIST, SPREAD_ARG, SPREAD_DOT, SPREAD_MAP_ARG, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STAR_STAR, STAR_STAR_ASSIGN, STATIC_IMPORT, STATIC_INIT, STRICTFP, STRING_CH, STRING_CONSTRUCTOR, STRING_CTOR_END, STRING_CTOR_MIDDLE, STRING_CTOR_START, STRING_LITERAL, STRING_NL, SUPER_CTOR_CALL, TRIPLE_DOT, TYPE, TYPE_ARGUMENT, TYPE_ARGUMENTS, TYPE_LOWER_BOUNDS, TYPE_PARAMETER, TYPE_PARAMETERS, TYPE_UPPER_BOUNDS, TYPECAST, UNARY_MINUS, UNARY_PLUS, UNUSED_CONST, UNUSED_DO, UNUSED_GOTO, VARIABLE_DEF, VARIABLE_PARAMETER_DEF, VOCAB, WILDCARD_TYPE, WS |
Method Summary |
void |
aCase()
|
void |
additiveExpression(int lc_stmt)
|
void |
addWarning(String warning,
String solution)
|
void |
andExpression(int lc_stmt)
|
void |
annotation()
|
void |
annotationArguments()
|
void |
annotationBlock()
|
void |
annotationDefinition(AST modifiers)
|
void |
annotationField()
|
void |
annotationIdent()
|
void |
annotationMemberArrayValueInitializer()
|
void |
annotationMemberValueInitializer()
|
void |
annotationMemberValuePair()
|
void |
annotationMemberValuePairs()
|
void |
annotationsInternal()
|
void |
annotationsOpt()
|
void |
appendedBlock(AST callee)
An appended block follows any expression. |
void |
argList()
|
byte |
argument()
A single argument in (...) or [...]. |
void |
argumentLabel()
A label for an argument is of the form a:b, 'a':b, "a":b, (a):b, etc.. |
void |
argumentLabelStart()
For lookahead only. |
void |
assignmentExpression(int lc_stmt)
|
void |
assignmentLessExpression()
|
void |
balancedBrackets()
Fast lookahead across balanced brackets of all sorts. |
void |
balancedTokens()
|
void |
blockBody(int prevToken)
A block body is a parade of zero or more statements or expressions. |
void |
branchStatement()
In Groovy, return, break, continue, throw, and assert can be used in a parenthesized expression context. |
protected void |
buildTokenTypeASTClassMap()
|
void |
builtInType()
|
void |
builtInTypeArraySpec(boolean addImagNode)
|
void |
builtInTypeSpec(boolean addImagNode)
|
void |
casesGroup()
|
void |
caseSList()
|
void |
checkSuspiciousExpressionStatement(int prevToken)
If two statements are separated by newline (not SEMI), the second had
better not look like the latter half of an expression. |
void |
classBlock()
|
void |
classDefinition(AST modifiers)
|
void |
classField()
|
void |
classOrInterfaceType(boolean addImagNode)
|
void |
classTypeSpec(boolean addImagNode)
|
Token |
cloneToken(Token t)
Clones the token |
void |
closableBlock()
A block which is known to be a closure, even if it has no apparent arguments. |
void |
closableBlockConstructorExpression()
|
void |
closableBlockParam()
Simple names, as in {x|...}, are completely equivalent to {(def x)|...}. |
void |
closableBlockParamsOpt(boolean addImplicit)
Closure parameters are exactly like method parameters,
except that they are not enclosed in parentheses, but rather
are prepended to the front of a block, just after the brace. |
void |
closableBlockParamsStart()
Lookahead to check whether a block begins with explicit closure arguments. |
void |
closureList()
|
void |
commandArgument()
|
void |
commandArguments(AST head)
A member name (x.y) or element name (x[y]) can serve as a command name,
which may be followed by a list of arguments. |
void |
compatibleBodyStatement()
In Java, "if", "while", and "for" statements can take random, non-braced statements as their bodies. |
void |
compilationUnit()
|
void |
compoundStatement()
|
void |
conditionalExpression(int lc_stmt)
|
void |
constant()
Numeric, string, regexp, boolean, or null constant. |
void |
constantNumber()
Numeric constant. |
void |
constructorBody()
|
void |
constructorDefinition(AST mods)
I've split out constructors separately; we could maybe integrate back into variableDefinitions
later on if we maybe simplified 'def' to be a type declaration? |
void |
constructorStart()
Used to look ahead for a constructor |
void |
controlExpressionList()
|
AST |
create(int type,
String txt,
AST first)
Create an AST node with the token type and text passed in, but
with the same background information as another supplied Token (e.g. |
AST |
create(int type,
String txt,
AST first,
AST last)
|
AST |
create(int type,
String txt,
AST first,
Token last)
|
AST |
create(int type,
String txt,
Token first,
Token last)
|
void |
declaration()
A declaration is the creation of a reference or primitive-type variable,
or (if arguments are present) of a method. |
void |
declarationStart()
Used only as a lookahead predicate, before diving in and parsing a declaration. |
void |
declaratorBrackets(AST typ)
After some type names, where zero or more empty bracket pairs are allowed. |
void |
dynamicMemberName()
If a dot is followed by a parenthesized or quoted expression, the member is computed dynamically,
and the member selection is done only at runtime. |
void |
enumBlock()
|
void |
enumConstant()
|
void |
enumConstantBlock()
|
void |
enumConstantField()
|
void |
enumConstants()
Comma-separated list of one or more enum constant definitions. |
void |
enumConstantsStart()
Guard for enumConstants. |
void |
enumDefinition(AST modifiers)
|
void |
equalityExpression(int lc_stmt)
|
void |
exclusiveOrExpression(int lc_stmt)
|
void |
explicitConstructorInvocation()
Catch obvious constructor calls, but not the expr.super(...) calls |
void |
expression(int lc_stmt)
|
void |
expressionStatement(int prevToken)
An expression statement can be any general expression. |
void |
finallyClause()
|
void |
forCond()
|
void |
forInClause()
|
void |
forInit()
|
void |
forIter()
|
void |
forStatement()
|
void |
genericMethod()
|
void |
genericMethodStart()
lookahead predicate for usage of generics in methods
as parameter for the method. |
GroovyLexer |
getLexer()
|
List |
getWarningList()
|
void |
handler()
|
void |
identifier()
|
void |
identifierStar()
|
void |
implementsClause()
|
void |
implicitParameters()
A block known to be a closure, but which omits its arguments, is given this placeholder. |
void |
importStatement()
|
void |
inclusiveOrExpression(int lc_stmt)
|
void |
indexPropertyArgs(AST indexee)
An expression may be followed by [...]. |
void |
interfaceBlock()
|
void |
interfaceDefinition(AST modifiers)
|
void |
interfaceExtends()
|
void |
interfaceField()
|
void |
keywordPropertyNames()
Allowed keywords after dot (as a member name) and before colon (as a label). |
void |
listOfVariables(AST mods,
AST t,
Token first)
|
void |
listOrMapConstructorExpression()
A list constructor is a argument list enclosed in square brackets, without labels. |
void |
logicalAndExpression(int lc_stmt)
|
void |
logicalOrExpression(int lc_stmt)
|
static GroovyRecognizer |
make(GroovyLexer lexer)
This factory is the correct way to wire together a Groovy parser and lexer. |
static GroovyRecognizer |
make(InputBuffer in)
|
static GroovyRecognizer |
make(InputStream in)
|
static GroovyRecognizer |
make(LexerSharedInputState in)
|
static GroovyRecognizer |
make(Reader in)
|
void |
matchGenericTypeBracketsFailed(String problem,
String solution)
|
void |
methodCallArgs(AST callee)
An expression may be followed by one or both of (...) and {...}. |
void |
modifier()
|
void |
modifiers()
A list of one or more modifier, annotation, or "def". |
void |
modifiersInternal()
|
void |
modifiersOpt()
A list of zero or more modifiers, annotations, or "def". |
void |
multipleAssignment(int lc_stmt)
|
void |
multipleAssignmentDeclaration()
|
void |
multipleAssignmentDeclarationStart()
|
void |
multiplicativeExpression(int lc_stmt)
|
void |
namePart()
This is the grammar for what can follow a dot: x.a, x. |
void |
newArrayDeclarator()
|
void |
newExpression()
object instantiation. |
void |
nls()
Zero or more insignificant newlines, all gobbled up and thrown away. |
void |
nlsWarn()
Zero or more insignificant newlines, all gobbled up and thrown away,
but a warning message is left for the user, if there was a newline. |
void |
openBlock()
An open block is not allowed to have closure arguments. |
void |
openOrClosableBlock()
A sub-block of a block can be either open or closable. |
void |
packageDefinition()
|
void |
parameterDeclaration()
A formal parameter for a method or closure. |
void |
parameterDeclarationList()
A list of zero or more formal parameters. |
void |
parameterModifiersOpt()
|
void |
parenthesizedExpression()
|
void |
pathElement(AST prefix)
|
void |
pathElementStart()
|
void |
pathExpression(int lc_stmt)
A "path expression" is a name or other primary, possibly qualified by various
forms of dot, and/or followed by various kinds of brackets. |
void |
postfixExpression(int lc_stmt)
|
void |
powerExpression(int lc_stmt)
|
void |
powerExpressionNotPlusMinus(int lc_stmt)
|
void |
primaryExpression()
|
void |
qualifiedTypeName()
|
void |
regexExpression(int lc_stmt)
|
void |
relationalExpression(int lc_stmt)
|
void |
requireFailed(String problem,
String solution)
|
void |
sep()
A statement separator is either a semicolon or a significant newline. |
void |
setFilename(String f)
|
void |
setSourceBuffer(SourceBuffer sourceBuffer)
|
void |
shiftExpression(int lc_stmt)
|
void |
singleDeclaration()
A declaration with one declarator and optional initialization, like a parameterDeclaration. |
void |
singleDeclarationNoInit()
A declaration with one declarator and no initialization, like a parameterDeclaration. |
void |
singleVariable(AST mods,
AST t)
Used in cases where a declaration cannot have commas, or ends with the "in" operator instead of '='. |
void |
snippetUnit()
A Groovy script or simple expression. |
void |
statement(int prevToken)
A statement is an element of a block. |
void |
statementLabelPrefix()
A labeled statement, consisting of a vanilla identifier followed by a colon. |
boolean |
strictContextExpression(boolean allowDeclaration)
Things that can show up as expressions, but only in strict
contexts like inside parentheses, argument lists, and list constructors. |
void |
stringConstructorExpression()
|
void |
stringConstructorValuePart()
|
void |
superClassClause()
|
void |
suspiciousExpressionStatementStart()
Lookahead for suspicious statement warnings and errors. |
void |
throwsClause()
|
void |
traceIn(String rname)
|
void |
traceOut(String rname)
|
void |
tryBlock()
|
void |
type()
|
void |
typeArgument()
|
void |
typeArgumentBounds()
|
void |
typeArguments()
|
protected void |
typeArgumentsOrParametersEnd()
|
void |
typeArgumentSpec()
|
void |
typeDeclarationStart()
Used only as a lookahead predicate for nested type declarations. |
protected void |
typeDefinitionInternal(AST mods)
|
void |
typeNamePairs(AST mods,
Token first)
|
void |
typeParameter()
|
void |
typeParameterBounds()
|
void |
typeParameters()
|
void |
typeSpec(boolean addImagNode)
|
void |
unaryExpression(int lc_stmt)
|
void |
unaryExpressionNotPlusMinus(int lc_stmt)
|
void |
upperCaseIdent()
An IDENT token whose spelling is required to start with an uppercase letter. |
void |
variableDeclarator(AST mods,
AST t,
Token first)
Declaration of a variable. |
void |
variableDefinitions(AST mods,
AST t)
The tail of a declaration. |
void |
variableName()
|
void |
varInitializer()
An assignment operator '=' followed by an expression. |
void |
wildcardType()
|
Methods inherited from class antlr.Parser |
addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, defaultDebuggingSetup, 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, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
tracing
public static boolean tracing
_tokenNames
public static final String[] _tokenNames
_tokenSet_0
public static final BitSet _tokenSet_0
_tokenSet_1
public static final BitSet _tokenSet_1
_tokenSet_2
public static final BitSet _tokenSet_2
_tokenSet_3
public static final BitSet _tokenSet_3
_tokenSet_4
public static final BitSet _tokenSet_4
_tokenSet_5
public static final BitSet _tokenSet_5
_tokenSet_6
public static final BitSet _tokenSet_6
_tokenSet_7
public static final BitSet _tokenSet_7
_tokenSet_8
public static final BitSet _tokenSet_8
_tokenSet_9
public static final BitSet _tokenSet_9
_tokenSet_10
public static final BitSet _tokenSet_10
_tokenSet_11
public static final BitSet _tokenSet_11
_tokenSet_12
public static final BitSet _tokenSet_12
_tokenSet_13
public static final BitSet _tokenSet_13
_tokenSet_14
public static final BitSet _tokenSet_14
_tokenSet_15
public static final BitSet _tokenSet_15
_tokenSet_16
public static final BitSet _tokenSet_16
_tokenSet_17
public static final BitSet _tokenSet_17
_tokenSet_18
public static final BitSet _tokenSet_18
_tokenSet_19
public static final BitSet _tokenSet_19
_tokenSet_20
public static final BitSet _tokenSet_20
_tokenSet_21
public static final BitSet _tokenSet_21
_tokenSet_22
public static final BitSet _tokenSet_22
_tokenSet_23
public static final BitSet _tokenSet_23
_tokenSet_24
public static final BitSet _tokenSet_24
_tokenSet_25
public static final BitSet _tokenSet_25
_tokenSet_26
public static final BitSet _tokenSet_26
_tokenSet_27
public static final BitSet _tokenSet_27
_tokenSet_28
public static final BitSet _tokenSet_28
_tokenSet_29
public static final BitSet _tokenSet_29
_tokenSet_30
public static final BitSet _tokenSet_30
_tokenSet_31
public static final BitSet _tokenSet_31
_tokenSet_32
public static final BitSet _tokenSet_32
_tokenSet_33
public static final BitSet _tokenSet_33
_tokenSet_34
public static final BitSet _tokenSet_34
_tokenSet_35
public static final BitSet _tokenSet_35
_tokenSet_36
public static final BitSet _tokenSet_36
_tokenSet_37
public static final BitSet _tokenSet_37
_tokenSet_38
public static final BitSet _tokenSet_38
_tokenSet_39
public static final BitSet _tokenSet_39
_tokenSet_40
public static final BitSet _tokenSet_40
_tokenSet_41
public static final BitSet _tokenSet_41
_tokenSet_42
public static final BitSet _tokenSet_42
_tokenSet_43
public static final BitSet _tokenSet_43
_tokenSet_44
public static final BitSet _tokenSet_44
_tokenSet_45
public static final BitSet _tokenSet_45
_tokenSet_46
public static final BitSet _tokenSet_46
_tokenSet_47
public static final BitSet _tokenSet_47
_tokenSet_48
public static final BitSet _tokenSet_48
_tokenSet_49
public static final BitSet _tokenSet_49
_tokenSet_50
public static final BitSet _tokenSet_50
_tokenSet_51
public static final BitSet _tokenSet_51
_tokenSet_52
public static final BitSet _tokenSet_52
_tokenSet_53
public static final BitSet _tokenSet_53
_tokenSet_54
public static final BitSet _tokenSet_54
_tokenSet_55
public static final BitSet _tokenSet_55
_tokenSet_56
public static final BitSet _tokenSet_56
_tokenSet_57
public static final BitSet _tokenSet_57
_tokenSet_58
public static final BitSet _tokenSet_58
_tokenSet_59
public static final BitSet _tokenSet_59
_tokenSet_60
public static final BitSet _tokenSet_60
_tokenSet_61
public static final BitSet _tokenSet_61
_tokenSet_62
public static final BitSet _tokenSet_62
_tokenSet_63
public static final BitSet _tokenSet_63
_tokenSet_64
public static final BitSet _tokenSet_64
_tokenSet_65
public static final BitSet _tokenSet_65
_tokenSet_66
public static final BitSet _tokenSet_66
_tokenSet_67
public static final BitSet _tokenSet_67
_tokenSet_68
public static final BitSet _tokenSet_68
_tokenSet_69
public static final BitSet _tokenSet_69
_tokenSet_70
public static final BitSet _tokenSet_70
_tokenSet_71
public static final BitSet _tokenSet_71
_tokenSet_72
public static final BitSet _tokenSet_72
_tokenSet_73
public static final BitSet _tokenSet_73
_tokenSet_74
public static final BitSet _tokenSet_74
_tokenSet_75
public static final BitSet _tokenSet_75
_tokenSet_76
public static final BitSet _tokenSet_76
_tokenSet_77
public static final BitSet _tokenSet_77
_tokenSet_78
public static final BitSet _tokenSet_78
_tokenSet_79
public static final BitSet _tokenSet_79
_tokenSet_80
public static final BitSet _tokenSet_80
_tokenSet_81
public static final BitSet _tokenSet_81
_tokenSet_82
public static final BitSet _tokenSet_82
_tokenSet_83
public static final BitSet _tokenSet_83
_tokenSet_84
public static final BitSet _tokenSet_84
_tokenSet_85
public static final BitSet _tokenSet_85
_tokenSet_86
public static final BitSet _tokenSet_86
_tokenSet_87
public static final BitSet _tokenSet_87
_tokenSet_88
public static final BitSet _tokenSet_88
_tokenSet_89
public static final BitSet _tokenSet_89
_tokenSet_90
public static final BitSet _tokenSet_90
_tokenSet_91
public static final BitSet _tokenSet_91
_tokenSet_92
public static final BitSet _tokenSet_92
_tokenSet_93
public static final BitSet _tokenSet_93
_tokenSet_94
public static final BitSet _tokenSet_94
_tokenSet_95
public static final BitSet _tokenSet_95
_tokenSet_96
public static final BitSet _tokenSet_96
_tokenSet_97
public static final BitSet _tokenSet_97
_tokenSet_98
public static final BitSet _tokenSet_98
GroovyRecognizer
protected GroovyRecognizer(TokenBuffer tokenBuf,
int k)
GroovyRecognizer
public GroovyRecognizer(TokenBuffer tokenBuf)
GroovyRecognizer
protected GroovyRecognizer(TokenStream lexer,
int k)
GroovyRecognizer
public GroovyRecognizer(TokenStream lexer)
GroovyRecognizer
public GroovyRecognizer(ParserSharedInputState state)
make
public static GroovyRecognizer make(GroovyLexer lexer)
- This factory is the correct way to wire together a Groovy parser and lexer.
make
public static GroovyRecognizer make(InputStream in)
make
public static GroovyRecognizer make(Reader in)
make
public static GroovyRecognizer make(InputBuffer in)
make
public static GroovyRecognizer make(LexerSharedInputState in)
getWarningList
public List getWarningList()
getLexer
public GroovyLexer getLexer()
setFilename
public void setFilename(String f)
- Overrides:
setFilename
in class Parser
setSourceBuffer
public void setSourceBuffer(SourceBuffer sourceBuffer)
create
public AST create(int type,
String txt,
AST first)
- Create an AST node with the token type and text passed in, but
with the same background information as another supplied Token (e.g. line numbers).
To be used in place of antlr tree construction syntax,
i.e. #[TOKEN,"text"] becomes create(TOKEN,"text",anotherToken)
todo - change antlr.ASTFactory to do this instead...
create
public AST create(int type,
String txt,
Token first,
Token last)
create
public AST create(int type,
String txt,
AST first,
Token last)
create
public AST create(int type,
String txt,
AST first,
AST last)
cloneToken
public Token cloneToken(Token t)
- Clones the token
traceIn
public void traceIn(String rname)
throws TokenStreamException
- Overrides:
traceIn
in class LLkParser
- Throws:
TokenStreamException
traceOut
public void traceOut(String rname)
throws TokenStreamException
- Overrides:
traceOut
in class LLkParser
- Throws:
TokenStreamException
requireFailed
public void requireFailed(String problem,
String solution)
throws SemanticException
- Throws:
SemanticException
addWarning
public void addWarning(String warning,
String solution)
matchGenericTypeBracketsFailed
public void matchGenericTypeBracketsFailed(String problem,
String solution)
throws SemanticException
- Throws:
SemanticException
compilationUnit
public final void compilationUnit()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
nls
public final void nls()
throws RecognitionException,
TokenStreamException
- Zero or more insignificant newlines, all gobbled up and thrown away.
- Throws:
RecognitionException
TokenStreamException
annotationsOpt
public final void annotationsOpt()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
packageDefinition
public final void packageDefinition()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
statement
public final void statement(int prevToken)
throws RecognitionException,
TokenStreamException
- A statement is an element of a block.
Typical statements are declarations (which are scoped to the block)
and expressions.
- Throws:
RecognitionException
TokenStreamException
sep
public final void sep()
throws RecognitionException,
TokenStreamException
- A statement separator is either a semicolon or a significant newline.
Any number of additional (insignificant) newlines may accompany it.
- Throws:
RecognitionException
TokenStreamException
snippetUnit
public final void snippetUnit()
throws RecognitionException,
TokenStreamException
- A Groovy script or simple expression. Can be anything legal inside {...}.
- Throws:
RecognitionException
TokenStreamException
blockBody
public final void blockBody(int prevToken)
throws RecognitionException,
TokenStreamException
- A block body is a parade of zero or more statements or expressions.
- Throws:
RecognitionException
TokenStreamException
identifier
public final void identifier()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
importStatement
public final void importStatement()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
identifierStar
public final void identifierStar()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
typeDefinitionInternal
protected final void typeDefinitionInternal(AST mods)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
classDefinition
public final void classDefinition(AST modifiers)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
interfaceDefinition
public final void interfaceDefinition(AST modifiers)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
enumDefinition
public final void enumDefinition(AST modifiers)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationDefinition
public final void annotationDefinition(AST modifiers)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
declaration
public final void declaration()
throws RecognitionException,
TokenStreamException
- A declaration is the creation of a reference or primitive-type variable,
or (if arguments are present) of a method.
Generically, this is called a 'variable' definition, even in the case of a class field or method.
It may start with the modifiers and/or a declaration keyword "def".
It may also start with the modifiers and a capitalized type name.
AST effect: Create a separate Type/Var tree for each var in the var list.
Must be guarded, as in (declarationStart) => declaration.
- Throws:
RecognitionException
TokenStreamException
modifiers
public final void modifiers()
throws RecognitionException,
TokenStreamException
- A list of one or more modifier, annotation, or "def".
- Throws:
RecognitionException
TokenStreamException
typeSpec
public final void typeSpec(boolean addImagNode)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
variableDefinitions
public final void variableDefinitions(AST mods,
AST t)
throws RecognitionException,
TokenStreamException
- The tail of a declaration.
Either v1, v2, ... (with possible initializers) or else m(args){body}.
The two arguments are the modifier list (if any) and the declaration head (if any).
The declaration head is the variable type, or (for a method) the return type.
If it is missing, then the variable type is taken from its initializer (if there is one).
Otherwise, the variable type defaults to 'any'.
DECIDE: Method return types default to the type of the method body, as an expression.
- Throws:
RecognitionException
TokenStreamException
genericMethod
public final void genericMethod()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
typeParameters
public final void typeParameters()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
singleDeclarationNoInit
public final void singleDeclarationNoInit()
throws RecognitionException,
TokenStreamException
- A declaration with one declarator and no initialization, like a parameterDeclaration.
Used to parse loops like
for (int x in y)
(up to the in
keyword).
- Throws:
RecognitionException
TokenStreamException
singleVariable
public final void singleVariable(AST mods,
AST t)
throws RecognitionException,
TokenStreamException
- Used in cases where a declaration cannot have commas, or ends with the "in" operator instead of '='.
- Throws:
RecognitionException
TokenStreamException
singleDeclaration
public final void singleDeclaration()
throws RecognitionException,
TokenStreamException
- A declaration with one declarator and optional initialization, like a parameterDeclaration.
Used to parse declarations used for both binding and effect, in places like argument
lists and
while
statements.
- Throws:
RecognitionException
TokenStreamException
varInitializer
public final void varInitializer()
throws RecognitionException,
TokenStreamException
- An assignment operator '=' followed by an expression. (Never empty.)
- Throws:
RecognitionException
TokenStreamException
declarationStart
public final void declarationStart()
throws RecognitionException,
TokenStreamException
- Used only as a lookahead predicate, before diving in and parsing a declaration.
A declaration can be unambiguously introduced with "def", an annotation or a modifier token like "final".
It may also be introduced by a simple identifier whose first character is an uppercase letter,
as in {String x}. A declaration can also be introduced with a built in type like 'int' or 'void'.
Brackets (array and generic) are allowed, as in {List[] x} or {int[][] y}.
Anything else is parsed as a statement of some sort (expression or command).
(In the absence of explicit method-call parens, we assume a capitalized name is a type name.
Yes, this is a little hacky. Alternatives are to complicate the declaration or command
syntaxes, or to have the parser query the symbol table. Parse-time queries are evil.
And we want both {String x} and {println x}. So we need a syntactic razor-edge to slip
between 'println' and 'String'.)
*TODO* The declarationStart production needs to be strengthened to recognize
things like {List foo}.
Right now it only knows how to skip square brackets after the type, not
angle brackets.
This probably turns out to be tricky because of >> vs. > >. If so,
just put a TODO comment in.
- Throws:
RecognitionException
TokenStreamException
modifier
public final void modifier()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotation
public final void annotation()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
upperCaseIdent
public final void upperCaseIdent()
throws RecognitionException,
TokenStreamException
- An IDENT token whose spelling is required to start with an uppercase letter.
In the case of a simple statement {UpperID name} the identifier is taken to be a type name, not a command name.
- Throws:
RecognitionException
TokenStreamException
builtInType
public final void builtInType()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
qualifiedTypeName
public final void qualifiedTypeName()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
typeArguments
public final void typeArguments()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
balancedTokens
public final void balancedTokens()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
genericMethodStart
public final void genericMethodStart()
throws RecognitionException,
TokenStreamException
- lookahead predicate for usage of generics in methods
as parameter for the method. Example:
static T foo(){}
must be first after the modifier.
This rule allows more and does no exact match, but it
is only a lookahead, not the real rule.
- Throws:
RecognitionException
TokenStreamException
constructorStart
public final void constructorStart()
throws RecognitionException,
TokenStreamException
- Used to look ahead for a constructor
- Throws:
RecognitionException
TokenStreamException
modifiersOpt
public final void modifiersOpt()
throws RecognitionException,
TokenStreamException
- A list of zero or more modifiers, annotations, or "def".
- Throws:
RecognitionException
TokenStreamException
typeDeclarationStart
public final void typeDeclarationStart()
throws RecognitionException,
TokenStreamException
- Used only as a lookahead predicate for nested type declarations.
- Throws:
RecognitionException
TokenStreamException
classTypeSpec
public final void classTypeSpec(boolean addImagNode)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
builtInTypeSpec
public final void builtInTypeSpec(boolean addImagNode)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
classOrInterfaceType
public final void classOrInterfaceType(boolean addImagNode)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
declaratorBrackets
public final void declaratorBrackets(AST typ)
throws RecognitionException,
TokenStreamException
- After some type names, where zero or more empty bracket pairs are allowed.
We use ARRAY_DECLARATOR to represent this.
TODO: Is there some more Groovy way to view this in terms of the indexed property syntax?
- Throws:
RecognitionException
TokenStreamException
typeArgumentSpec
public final void typeArgumentSpec()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
builtInTypeArraySpec
public final void builtInTypeArraySpec(boolean addImagNode)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
typeArgument
public final void typeArgument()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
wildcardType
public final void wildcardType()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
typeArgumentBounds
public final void typeArgumentBounds()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
typeArgumentsOrParametersEnd
protected final void typeArgumentsOrParametersEnd()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
type
public final void type()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
modifiersInternal
public final void modifiersInternal()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationArguments
public final void annotationArguments()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationsInternal
public final void annotationsInternal()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationMemberValueInitializer
public final void annotationMemberValueInitializer()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationMemberValuePairs
public final void annotationMemberValuePairs()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationMemberValuePair
public final void annotationMemberValuePair()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationIdent
public final void annotationIdent()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
keywordPropertyNames
public final void keywordPropertyNames()
throws RecognitionException,
TokenStreamException
- Allowed keywords after dot (as a member name) and before colon (as a label).
TODO: What's the rationale for these?
- Throws:
RecognitionException
TokenStreamException
conditionalExpression
public final void conditionalExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationMemberArrayValueInitializer
public final void annotationMemberArrayValueInitializer()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
superClassClause
public final void superClassClause()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
implementsClause
public final void implementsClause()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
classBlock
public final void classBlock()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
interfaceExtends
public final void interfaceExtends()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
interfaceBlock
public final void interfaceBlock()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
enumBlock
public final void enumBlock()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationBlock
public final void annotationBlock()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
typeParameter
public final void typeParameter()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
typeParameterBounds
public final void typeParameterBounds()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
classField
public final void classField()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
interfaceField
public final void interfaceField()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
annotationField
public final void annotationField()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
enumConstantsStart
public final void enumConstantsStart()
throws RecognitionException,
TokenStreamException
- Guard for enumConstants.
- Throws:
RecognitionException
TokenStreamException
enumConstants
public final void enumConstants()
throws RecognitionException,
TokenStreamException
- Comma-separated list of one or more enum constant definitions.
- Throws:
RecognitionException
TokenStreamException
enumConstant
public final void enumConstant()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
argList
public final void argList()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
enumConstantBlock
public final void enumConstantBlock()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
enumConstantField
public final void enumConstantField()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
parameterDeclarationList
public final void parameterDeclarationList()
throws RecognitionException,
TokenStreamException
- A list of zero or more formal parameters.
If a parameter is variable length (e.g. String... myArg) it should be
to the right of any other parameters of the same kind.
General form: (req, ..., opt, ..., [rest], key, ..., [restKeys], [block]
This must be sorted out after parsing, since the various declaration forms
are impossible to tell apart without backtracking.
- Throws:
RecognitionException
TokenStreamException
throwsClause
public final void throwsClause()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
compoundStatement
public final void compoundStatement()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
constructorDefinition
public final void constructorDefinition(AST mods)
throws RecognitionException,
TokenStreamException
- I've split out constructors separately; we could maybe integrate back into variableDefinitions
later on if we maybe simplified 'def' to be a type declaration?
- Throws:
RecognitionException
TokenStreamException
multipleAssignmentDeclarationStart
public final void multipleAssignmentDeclarationStart()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
multipleAssignmentDeclaration
public final void multipleAssignmentDeclaration()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
constructorBody
public final void constructorBody()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
explicitConstructorInvocation
public final void explicitConstructorInvocation()
throws RecognitionException,
TokenStreamException
- Catch obvious constructor calls, but not the expr.super(...) calls
- Throws:
RecognitionException
TokenStreamException
listOfVariables
public final void listOfVariables(AST mods,
AST t,
Token first)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
variableDeclarator
public final void variableDeclarator(AST mods,
AST t,
Token first)
throws RecognitionException,
TokenStreamException
- Declaration of a variable. This can be a class/instance variable,
or a local variable in a method
It can also include possible initialization.
- Throws:
RecognitionException
TokenStreamException
typeNamePairs
public final void typeNamePairs(AST mods,
Token first)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
assignmentExpression
public final void assignmentExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
nlsWarn
public final void nlsWarn()
throws RecognitionException,
TokenStreamException
- Zero or more insignificant newlines, all gobbled up and thrown away,
but a warning message is left for the user, if there was a newline.
- Throws:
RecognitionException
TokenStreamException
openBlock
public final void openBlock()
throws RecognitionException,
TokenStreamException
- An open block is not allowed to have closure arguments.
- Throws:
RecognitionException
TokenStreamException
variableName
public final void variableName()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
expression
public final void expression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
parameterDeclaration
public final void parameterDeclaration()
throws RecognitionException,
TokenStreamException
- A formal parameter for a method or closure.
- Throws:
RecognitionException
TokenStreamException
parameterModifiersOpt
public final void parameterModifiersOpt()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
closableBlockParamsOpt
public final void closableBlockParamsOpt(boolean addImplicit)
throws RecognitionException,
TokenStreamException
- Closure parameters are exactly like method parameters,
except that they are not enclosed in parentheses, but rather
are prepended to the front of a block, just after the brace.
They are separated from the closure body by a CLOSABLE_BLOCK_OP token '->'.
- Throws:
RecognitionException
TokenStreamException
implicitParameters
public final void implicitParameters()
throws RecognitionException,
TokenStreamException
- A block known to be a closure, but which omits its arguments, is given this placeholder.
A subsequent pass is responsible for deciding if there is an implicit 'it' parameter,
or if the parameter list should be empty.
- Throws:
RecognitionException
TokenStreamException
closableBlockParamsStart
public final void closableBlockParamsStart()
throws RecognitionException,
TokenStreamException
- Lookahead to check whether a block begins with explicit closure arguments.
- Throws:
RecognitionException
TokenStreamException
closableBlockParam
public final void closableBlockParam()
throws RecognitionException,
TokenStreamException
- Simple names, as in {x|...}, are completely equivalent to {(def x)|...}. Build the right AST.
- Throws:
RecognitionException
TokenStreamException
closableBlock
public final void closableBlock()
throws RecognitionException,
TokenStreamException
- A block which is known to be a closure, even if it has no apparent arguments.
A block inside an expression or after a method call is always assumed to be a closure.
Only labeled, unparameterized blocks which occur directly as substatements are kept open.
- Throws:
RecognitionException
TokenStreamException
openOrClosableBlock
public final void openOrClosableBlock()
throws RecognitionException,
TokenStreamException
- A sub-block of a block can be either open or closable.
It is closable if and only if there are explicit closure arguments.
Compare this to a block which is appended to a method call,
which is given closure arguments, even if they are not explicit in the code.
- Throws:
RecognitionException
TokenStreamException
statementLabelPrefix
public final void statementLabelPrefix()
throws RecognitionException,
TokenStreamException
- A labeled statement, consisting of a vanilla identifier followed by a colon.
- Throws:
RecognitionException
TokenStreamException
expressionStatement
public final void expressionStatement(int prevToken)
throws RecognitionException,
TokenStreamException
- An expression statement can be any general expression.
An expression statement can also be a command,
which is a simple method call in which the outermost parentheses are omitted.
Certain "suspicious" looking forms are flagged for the user to disambiguate.
- Throws:
RecognitionException
TokenStreamException
assignmentLessExpression
public final void assignmentLessExpression()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
compatibleBodyStatement
public final void compatibleBodyStatement()
throws RecognitionException,
TokenStreamException
- In Java, "if", "while", and "for" statements can take random, non-braced statements as their bodies.
Support this practice, even though it isn't very Groovy.
- Throws:
RecognitionException
TokenStreamException
forStatement
public final void forStatement()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
strictContextExpression
public final boolean strictContextExpression(boolean allowDeclaration)
throws RecognitionException,
TokenStreamException
- Things that can show up as expressions, but only in strict
contexts like inside parentheses, argument lists, and list constructors.
- Throws:
RecognitionException
TokenStreamException
casesGroup
public final void casesGroup()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
tryBlock
public final void tryBlock()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
branchStatement
public final void branchStatement()
throws RecognitionException,
TokenStreamException
- In Groovy, return, break, continue, throw, and assert can be used in a parenthesized expression context.
Example: println (x || (return)); println assert x, "won't print a false value!"
If an optional expression is missing, its value is void (this coerces to null when a value is required).
- Throws:
RecognitionException
TokenStreamException
closureList
public final void closureList()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
forInClause
public final void forInClause()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
shiftExpression
public final void shiftExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
suspiciousExpressionStatementStart
public final void suspiciousExpressionStatementStart()
throws RecognitionException,
TokenStreamException
- Lookahead for suspicious statement warnings and errors.
- Throws:
RecognitionException
TokenStreamException
checkSuspiciousExpressionStatement
public final void checkSuspiciousExpressionStatement(int prevToken)
throws RecognitionException,
TokenStreamException
- If two statements are separated by newline (not SEMI), the second had
better not look like the latter half of an expression. If it does, issue a warning.
Also, if the expression starts with a closure, it needs to
have an explicit parameter list, in order to avoid the appearance of a
compound statement. This is a hard error.
These rules are different from Java's "dumb expression" restriction.
Unlike Java, Groovy blocks can end with arbitrary (even dumb) expressions,
as a consequence of optional 'return' and 'continue' tokens.
To make the programmer's intention clear, a leading closure must have an
explicit parameter list, and must not follow a previous statement separated
only by newlines.
- Throws:
RecognitionException
TokenStreamException
commandArguments
public final void commandArguments(AST head)
throws RecognitionException,
TokenStreamException
- A member name (x.y) or element name (x[y]) can serve as a command name,
which may be followed by a list of arguments.
Unlike parenthesized arguments, these must be plain expressions,
without labels or spread operators.
- Throws:
RecognitionException
TokenStreamException
aCase
public final void aCase()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
caseSList
public final void caseSList()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
forInit
public final void forInit()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
controlExpressionList
public final void controlExpressionList()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
forCond
public final void forCond()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
forIter
public final void forIter()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
handler
public final void handler()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
finallyClause
public final void finallyClause()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
commandArgument
public final void commandArgument()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
argumentLabel
public final void argumentLabel()
throws RecognitionException,
TokenStreamException
- A label for an argument is of the form a:b, 'a':b, "a":b, (a):b, etc..
The labels in (a:b), ('a':b), and ("a":b) are in all ways equivalent,
except that the quotes allow more spellings.
Equivalent dynamically computed labels are (('a'):b) and ("${'a'}":b)
but not ((a):b) or "$a":b, since the latter cases evaluate (a) as a normal identifier.
Bottom line: If you want a truly variable label, use parens and say ((a):b).
- Throws:
RecognitionException
TokenStreamException
multipleAssignment
public final void multipleAssignment(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
pathExpression
public final void pathExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- A "path expression" is a name or other primary, possibly qualified by various
forms of dot, and/or followed by various kinds of brackets.
It can be used for value or assigned to, or else further qualified, indexed, or called.
It is called a "path" because it looks like a linear path through a data structure.
Examples: x.y, x?.y, x*.y, x.@y; x[], x[y], x[y,z]; x(), x(y), x(y,z); x{s}; a.b[n].c(x).d{s}
(Compare to a C lvalue, or LeftHandSide in the JLS section 15.26.)
General expressions are built up from path expressions, using operators like '+' and '='.
- Throws:
RecognitionException
TokenStreamException
primaryExpression
public final void primaryExpression()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
pathElementStart
public final void pathElementStart()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
pathElement
public final void pathElement(AST prefix)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
appendedBlock
public final void appendedBlock(AST callee)
throws RecognitionException,
TokenStreamException
- An appended block follows any expression.
If the expression is not a method call, it is given an empty argument list.
- Throws:
RecognitionException
TokenStreamException
namePart
public final void namePart()
throws RecognitionException,
TokenStreamException
- This is the grammar for what can follow a dot: x.a, x.@a, x.&a, x.'a', etc.
Note:
typeArguments
is handled by the caller of namePart
.
- Throws:
RecognitionException
TokenStreamException
methodCallArgs
public final void methodCallArgs(AST callee)
throws RecognitionException,
TokenStreamException
- An expression may be followed by one or both of (...) and {...}.
Note: If either is (...) or {...} present, it is a method call.
The {...} is appended to the argument list, and matches a formal of type Closure.
If there is no method member, a property (or field) is used instead, and must itself be callable.
If the methodCallArgs are absent, it is a property reference.
If there is no property, it is treated as a field reference, but never a method reference.
Arguments in the (...) can be labeled, and the appended block can be labeled also.
If there is a mix of unlabeled and labeled arguments,
all the labeled arguments must follow the unlabeled arguments,
except that the closure (labeled or not) is always a separate final argument.
Labeled arguments are collected up and passed as a single argument to a formal of type Map.
Therefore, f(x,y, a:p, b:q) {s} is equivalent in all ways to f(x,y, [a:p,b:q], {s}).
Spread arguments of sequence type count as unlabeled arguments,
while spread arguments of map type count as labeled arguments.
(This distinction must sometimes be checked dynamically.)
A plain unlabeled argument is allowed to match a trailing Map or Closure argument:
f(x, a:p) {s} === f(*[ x, [a:p], {s} ])
- Throws:
RecognitionException
TokenStreamException
indexPropertyArgs
public final void indexPropertyArgs(AST indexee)
throws RecognitionException,
TokenStreamException
- An expression may be followed by [...].
Unlike Java, these brackets may contain a general argument list,
which is passed to the array element operator, which can make of it what it wants.
The brackets may also be empty, as in T[]. This is how Groovy names array types.
Returned AST is [INDEX_OP, indexee, ELIST].
- Throws:
RecognitionException
TokenStreamException
dynamicMemberName
public final void dynamicMemberName()
throws RecognitionException,
TokenStreamException
- If a dot is followed by a parenthesized or quoted expression, the member is computed dynamically,
and the member selection is done only at runtime. This forces a statically unchecked member access.
- Throws:
RecognitionException
TokenStreamException
parenthesizedExpression
public final void parenthesizedExpression()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
stringConstructorExpression
public final void stringConstructorExpression()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
logicalOrExpression
public final void logicalOrExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
logicalAndExpression
public final void logicalAndExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
inclusiveOrExpression
public final void inclusiveOrExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
exclusiveOrExpression
public final void exclusiveOrExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
andExpression
public final void andExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
regexExpression
public final void regexExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
equalityExpression
public final void equalityExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
relationalExpression
public final void relationalExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
additiveExpression
public final void additiveExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
multiplicativeExpression
public final void multiplicativeExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
powerExpressionNotPlusMinus
public final void powerExpressionNotPlusMinus(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
powerExpression
public final void powerExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
unaryExpression
public final void unaryExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
unaryExpressionNotPlusMinus
public final void unaryExpressionNotPlusMinus(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
postfixExpression
public final void postfixExpression(int lc_stmt)
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
constant
public final void constant()
throws RecognitionException,
TokenStreamException
- Numeric, string, regexp, boolean, or null constant.
- Throws:
RecognitionException
TokenStreamException
newExpression
public final void newExpression()
throws RecognitionException,
TokenStreamException
- object instantiation.
Trees are built as illustrated by the following input/tree pairs:
new T()
new
|
T -- ELIST
|
arg1 -- arg2 -- .. -- argn
new int[]
new
|
int -- ARRAY_DECLARATOR
new int[] {1,2}
new
|
int -- ARRAY_DECLARATOR -- ARRAY_INIT
|
EXPR -- EXPR
| |
1 2
new int[3]
new
|
int -- ARRAY_DECLARATOR
|
EXPR
|
3
new int[1][2]
new
|
int -- ARRAY_DECLARATOR
|
ARRAY_DECLARATOR -- EXPR
| |
EXPR 1
|
2
- Throws:
RecognitionException
TokenStreamException
closableBlockConstructorExpression
public final void closableBlockConstructorExpression()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
listOrMapConstructorExpression
public final void listOrMapConstructorExpression()
throws RecognitionException,
TokenStreamException
- A list constructor is a argument list enclosed in square brackets, without labels.
Any argument can be decorated with a spread operator (*x), but not a label (a:x).
Examples: [], [1], [1,2], [1,*l1,2], [*l1,*l2].
(The l1, l2 must be a sequence or null.)
A map constructor is an argument list enclosed in square brackets, with labels everywhere,
except on spread arguments, which stand for whole maps spliced in.
A colon alone between the brackets also forces the expression to be an empty map constructor.
Examples: [:], [a:1], [a:1,b:2], [a:1,*:m1,b:2], [*:m1,*:m2]
(The m1, m2 must be a map or null.)
Values associated with identical keys overwrite from left to right:
[a:1,a:2] === [a:2]
Some malformed constructor expressions are not detected in the parser, but in a post-pass.
Bad examples: [1,b:2], [a:1,2], [:1].
(Note that method call arguments, by contrast, can be a mix of keyworded and non-keyworded arguments.)
- Throws:
RecognitionException
TokenStreamException
stringConstructorValuePart
public final void stringConstructorValuePart()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
newArrayDeclarator
public final void newArrayDeclarator()
throws RecognitionException,
TokenStreamException
- Throws:
RecognitionException
TokenStreamException
argument
public final byte argument()
throws RecognitionException,
TokenStreamException
- A single argument in (...) or [...]. Corresponds to to a method or closure parameter.
May be labeled. May be modified by the spread operator '*' ('*:' for keywords).
- Throws:
RecognitionException
TokenStreamException
argumentLabelStart
public final void argumentLabelStart()
throws RecognitionException,
TokenStreamException
- For lookahead only. Fast approximate parse of an argumentLabel followed by a colon.
- Throws:
RecognitionException
TokenStreamException
constantNumber
public final void constantNumber()
throws RecognitionException,
TokenStreamException
- Numeric constant.
- Throws:
RecognitionException
TokenStreamException
balancedBrackets
public final void balancedBrackets()
throws RecognitionException,
TokenStreamException
- Fast lookahead across balanced brackets of all sorts.
- Throws:
RecognitionException
TokenStreamException
buildTokenTypeASTClassMap
protected void buildTokenTypeASTClassMap()