| org.codehaus.groovy.antlr.java.JavaRecognizer
JavaRecognizer | public class JavaRecognizer extends antlr.LLkParser implements JavaTokenTypes(Code) | | Java 1.5 Recognizer
Run 'java Main [-showtree] directory-full-of-java-files'
[The -showtree option pops up a Swing frame that shows
the AST constructed from the parser.]
Run 'java Main '
Contributing authors:
Jeremy Rayner groovy@ross-rayner.com
John Mitchell johnm@non.net
Terence Parr parrt@magelang.com
John Lilley jlilley@empathy.com
Scott Stanchfield thetick@magelang.com
Markus Mohnen mohnen@informatik.rwth-aachen.de
Peter Williams pete.williams@sun.com
Allan Jacobs Allan.Jacobs@eng.sun.com
Steve Messick messick@redhills.com
John Pybus john@pybus.org
Version 1.00 December 9, 1997 -- initial release
Version 1.01 December 10, 1997
fixed bug in octal def (0..7 not 0..8)
Version 1.10 August 1998 (parrt)
added tree construction
fixed definition of WS,comments for mac,pc,unix newlines
added unary plus
Version 1.11 (Nov 20, 1998)
Added "shutup" option to turn off last ambig warning.
Fixed inner class def to allow named class defs as statements
synchronized requires compound not simple statement
add [] after builtInType DOT class in primaryExpression
"const" is reserved but not valid..removed from modifiers
Version 1.12 (Feb 2, 1999)
Changed LITERAL_xxx to xxx in tree grammar.
Updated java.g to use tokens {...} now for 2.6.0 (new feature).
Version 1.13 (Apr 23, 1999)
Didn't have (stat)? for else clause in tree parser.
Didn't gen ASTs for interface extends. Updated tree parser too.
Updated to 2.6.0.
Version 1.14 (Jun 20, 1999)
Allowed final/abstract on local classes.
Removed local interfaces from methods
Put instanceof precedence where it belongs...in relationalExpr
It also had expr not type as arg; fixed it.
Missing ! on SEMI in classBlock
fixed: (expr) + "string" was parsed incorrectly (+ as unary plus).
fixed: didn't like Object[].class in parser or tree parser
Version 1.15 (Jun 26, 1999)
Screwed up rule with instanceof in it. :( Fixed.
Tree parser didn't like (expr).something; fixed.
Allowed multiple inheritance in tree grammar. oops.
Version 1.16 (August 22, 1999)
Extending an interface built a wacky tree: had extra EXTENDS.
Tree grammar didn't allow multiple superinterfaces.
Tree grammar didn't allow empty var initializer: {}
Version 1.17 (October 12, 1999)
ESC lexer rule allowed 399 max not 377 max.
java.tree.g didn't handle the expression of synchronized
statements.
Version 1.18 (August 12, 2001)
Terence updated to Java 2 Version 1.3 by
observing/combining work of Allan Jacobs and Steve
Messick. Handles 1.3 src. Summary:
o primary didn't include boolean.class kind of thing
o constructor calls parsed explicitly now:
see explicitConstructorInvocation
o add strictfp modifier
o missing objBlock after new expression in tree grammar
o merged local class definition alternatives, moved after declaration
o fixed problem with ClassName.super.field
o reordered some alternatives to make things more efficient
o long and double constants were not differentiated from int/float
o whitespace rule was inefficient: matched only one char
o add an examples directory with some nasty 1.3 cases
o made Main.java use buffered IO and a Reader for Unicode support
o supports UNICODE?
Using Unicode charVocabulay makes code file big, but only
in the bitsets at the end. I need to make ANTLR generate
unicode bitsets more efficiently.
Version 1.19 (April 25, 2002)
Terence added in nice fixes by John Pybus concerning floating
constants and problems with super() calls. John did a nice
reorg of the primary/postfix expression stuff to read better
and makes f.g.super() parse properly (it was METHOD_CALL not
a SUPER_CTOR_CALL). Also:
o "finally" clause was a root...made it a child of "try"
o Added stuff for asserts too for Java 1.4, but *commented out*
as it is not backward compatible.
Version 1.20 (October 27, 2002)
Terence ended up reorging John Pybus' stuff to
remove some nondeterminisms and some syntactic predicates.
Note that the grammar is stricter now; e.g., this(...) must
be the first statement.
Trinary ?: operator wasn't working as array name:
(isBig ? bigDigits : digits)[i];
Checked parser/tree parser on source for
Resin-2.0.5, jive-2.1.1, jdk 1.3.1, Lucene, antlr 2.7.2a4,
and the 110k-line jGuru server source.
Version 1.21 (October 17, 2003)
Fixed lots of problems including:
Ray Waldin: add typeDefinition to interfaceBlock in java.tree.g
He found a problem/fix with floating point that start with 0
Ray also fixed problem that (int.class) was not recognized.
Thorsten van Ellen noticed that \n are allowed incorrectly in strings.
TJP fixed CHAR_LITERAL analogously.
Version 1.21.2 (March, 2003)
Changes by Matt Quail to support generics (as per JDK1.5/JSR14)
Notes:
o We only allow the "extends" keyword and not the "implements"
keyword, since thats what JSR14 seems to imply.
o Thanks to Monty Zukowski for his help on the antlr-interest
mail list.
o Thanks to Alan Eliasen for testing the grammar over his
Fink source base
Version 1.22 (July, 2004)
Changes by Michael Studman to support Java 1.5 language extensions
Notes:
o Added support for annotations types
o Finished off Matt Quail's generics enhancements to support bound type arguments
o Added support for new for statement syntax
o Added support for static import syntax
o Added support for enum types
o Tested against JDK 1.5 source base and source base of jdigraph project
o Thanks to Matt Quail for doing the hard part by doing most of the generics work
Version 1.22.1 (July 28, 2004)
Bug/omission fixes for Java 1.5 language support
o Fixed tree structure bug with classOrInterface - thanks to Pieter Vangorpto for
spotting this
o Fixed bug where incorrect handling of SR and BSR tokens would cause type
parameters to be recognised as type arguments.
o Enabled type parameters on constructors, annotations on enum constants
and package definitions
o Fixed problems when parsing if ((char.class.equals(c))) {} - solution by Matt Quail at Cenqua
Version 1.22.2 (July 28, 2004)
Slight refactoring of Java 1.5 language support
o Refactored for/"foreach" productions so that original literal "for" literal
is still used but the for sub-clauses vary by token type
o Fixed bug where type parameter was not included in generic constructor's branch of AST
Version 1.22.3 (August 26, 2004)
Bug fixes as identified by Michael Stahl; clean up of tabs/spaces
and other refactorings
o Fixed typeParameters omission in identPrimary and newStatement
o Replaced GT reconcilliation code with simple semantic predicate
o Adapted enum/assert keyword checking support from Michael Stahl's java15 grammar
o Refactored typeDefinition production and field productions to reduce duplication
Version 1.22.4 (October 21, 2004)
Small bux fixes
o Added typeArguments to explicitConstructorInvocation, e.g. new MyParameterised()
o Added typeArguments to postfixExpression productions for anonymous inner class super
constructor invocation, e.g. new Outer().super()
o Fixed bug in array declarations identified by Geoff Roy
Version 1.22.4.j.1
Changes by Jeremy Rayner to support java2groovy tool
o I have taken java.g for Java1.5 from Michael Studman (1.22.4)
and have made some changes to enable use by java2groovy tool (Jan 2007)
This grammar is in the PUBLIC DOMAIN
|
Method Summary | |
final public void | aCase() | final public void | additiveExpression() | final public void | andExpression() | final public void | annotation() | final public void | annotationArguments() | final public void | annotationBlock() | final public void | annotationDefinition(AST modifiers) | final public void | annotationField() | final public void | annotationMemberArrayInitializer() | final public void | annotationMemberArrayValueInitializer() | final public void | annotationMemberValueInitializer() | final public void | annotationMemberValuePair() | final public void | annotations() | final public void | anntotationMemberValuePairs() | final public void | argList() | final public void | assignmentExpression() | protected void | buildTokenTypeASTClassMap() | final public void | builtInType() | final public void | builtInTypeArraySpec(boolean addImagNode) | final public void | builtInTypeSpec(boolean addImagNode) | final public void | caseSList() | final public void | casesGroup() | final public void | classBlock() | final public void | classDefinition(AST modifiers) | final public void | classField() | final public void | classOrInterfaceType(boolean addImagNode) | final public void | classTypeSpec(boolean addImagNode) | final public void | compilationUnit() | final public void | compoundStatement() | final public void | conditionalExpression() | final public void | constant() | final public void | constructorBody() | public AST | create(int type, String txt, Token first, Token last) Create an AST node with the token type and text passed in, but
with the same background information as another supplied Token (e.g. | final public void | ctorHead() | final public void | declaration() | final public void | declaratorBrackets(AST typ) | final public void | enumBlock() | final public void | enumConstant() | final public void | enumConstantBlock() | final public void | enumConstantField() | final public void | enumDefinition(AST modifiers) | final public void | equalityExpression() | final public void | exclusiveOrExpression() | final public void | explicitConstructorInvocation() | final public void | expression() | final public void | expressionList() | final public void | finallyClause() | final public void | forCond() | final public void | forEachClause() | final public void | forInit() | final public void | forIter() | final public void | forStatement() | public JavaLexer | getLexer() | final public void | handler() | final public void | identPrimary() Match a, a.b.c refs, a.b.c(...) refs, a.b.c[], a.b.c[].class,
and a.b.c.class refs. | final public void | identifier() | final public void | identifierStar() | final public void | implementsClause() | final public void | importDefinition() | final public void | inclusiveOrExpression() | final public void | initializer() | final public void | interfaceBlock() | final public void | interfaceDefinition(AST modifiers) | final public void | interfaceExtends() | final public void | interfaceField() | final public void | logicalAndExpression() | final public void | logicalOrExpression() | public static JavaRecognizer | make(JavaLexer lexer) This factory is the correct way to wire together a Groovy parser and lexer. | public static JavaRecognizer | make(InputStream in) | public static JavaRecognizer | make(Reader in) | public static JavaRecognizer | make(InputBuffer in) | public static JavaRecognizer | make(LexerSharedInputState in) | final public void | modifier() | final public void | modifiers() | final public void | multiplicativeExpression() | final public void | newArrayDeclarator() | final public void | newExpression() object instantiation.
Trees are built as illustrated by the following input/tree pairs:
new T()
new
|
T -- ELIST
|
arg1 -- arg2 -- .. | final public void | packageDefinition() | final public void | parameterDeclaration() | final public void | parameterDeclarationList() | final public void | parameterModifier() | final public void | postfixExpression() | final public void | primaryExpression() | final public void | relationalExpression() | public void | setFilename(String f) | public void | setSourceBuffer(SourceBuffer sourceBuffer) | final public void | shiftExpression() | final public void | statement() | final public void | superClassClause() | final public void | throwsClause() | final public void | traditionalForClause() | final public void | tryBlock() | final public void | type() | final public void | typeArgument() | final public void | typeArgumentBounds() | final public void | typeArgumentSpec() | final public void | typeArguments() | final protected void | typeArgumentsOrParametersEnd() | final public void | typeDefinition() | final protected void | typeDefinitionInternal(AST mods) | final public void | typeParameter() | final public void | typeParameterBounds() | final public void | typeParameters() | final public void | typeSpec(boolean addImagNode) | final public void | unaryExpression() | final public void | unaryExpressionNotPlusMinus() | final public void | varInitializer() | final public void | variableDeclarator(AST mods, AST t) Declaration of a variable. | final public void | variableDefinitions(AST mods, AST t) | final public void | variableLengthParameterDeclaration() | final public void | wildcardType() |
JavaRecognizer | protected JavaRecognizer(TokenBuffer tokenBuf, int k)(Code) | | |
JavaRecognizer | public JavaRecognizer(TokenBuffer tokenBuf)(Code) | | |
JavaRecognizer | protected JavaRecognizer(TokenStream lexer, int k)(Code) | | |
JavaRecognizer | public JavaRecognizer(TokenStream lexer)(Code) | | |
JavaRecognizer | public JavaRecognizer(ParserSharedInputState state)(Code) | | |
aCase | final public void aCase() throws RecognitionException, TokenStreamException(Code) | | |
additiveExpression | final public void additiveExpression() throws RecognitionException, TokenStreamException(Code) | | |
andExpression | final public void andExpression() throws RecognitionException, TokenStreamException(Code) | | |
annotation | final public void annotation() throws RecognitionException, TokenStreamException(Code) | | |
annotationArguments | final public void annotationArguments() throws RecognitionException, TokenStreamException(Code) | | |
annotationBlock | final public void annotationBlock() throws RecognitionException, TokenStreamException(Code) | | |
annotationDefinition | final public void annotationDefinition(AST modifiers) throws RecognitionException, TokenStreamException(Code) | | |
annotationField | final public void annotationField() throws RecognitionException, TokenStreamException(Code) | | |
annotationMemberArrayInitializer | final public void annotationMemberArrayInitializer() throws RecognitionException, TokenStreamException(Code) | | |
annotationMemberArrayValueInitializer | final public void annotationMemberArrayValueInitializer() throws RecognitionException, TokenStreamException(Code) | | |
annotationMemberValueInitializer | final public void annotationMemberValueInitializer() throws RecognitionException, TokenStreamException(Code) | | |
annotationMemberValuePair | final public void annotationMemberValuePair() throws RecognitionException, TokenStreamException(Code) | | |
annotations | final public void annotations() throws RecognitionException, TokenStreamException(Code) | | |
anntotationMemberValuePairs | final public void anntotationMemberValuePairs() throws RecognitionException, TokenStreamException(Code) | | |
argList | final public void argList() throws RecognitionException, TokenStreamException(Code) | | |
assignmentExpression | final public void assignmentExpression() throws RecognitionException, TokenStreamException(Code) | | |
buildTokenTypeASTClassMap | protected void buildTokenTypeASTClassMap()(Code) | | |
builtInType | final public void builtInType() throws RecognitionException, TokenStreamException(Code) | | |
builtInTypeArraySpec | final public void builtInTypeArraySpec(boolean addImagNode) throws RecognitionException, TokenStreamException(Code) | | |
builtInTypeSpec | final public void builtInTypeSpec(boolean addImagNode) throws RecognitionException, TokenStreamException(Code) | | |
caseSList | final public void caseSList() throws RecognitionException, TokenStreamException(Code) | | |
casesGroup | final public void casesGroup() throws RecognitionException, TokenStreamException(Code) | | |
classBlock | final public void classBlock() throws RecognitionException, TokenStreamException(Code) | | |
classDefinition | final public void classDefinition(AST modifiers) throws RecognitionException, TokenStreamException(Code) | | |
classField | final public void classField() throws RecognitionException, TokenStreamException(Code) | | |
classOrInterfaceType | final public void classOrInterfaceType(boolean addImagNode) throws RecognitionException, TokenStreamException(Code) | | |
classTypeSpec | final public void classTypeSpec(boolean addImagNode) throws RecognitionException, TokenStreamException(Code) | | |
compilationUnit | final public void compilationUnit() throws RecognitionException, TokenStreamException(Code) | | |
compoundStatement | final public void compoundStatement() throws RecognitionException, TokenStreamException(Code) | | |
conditionalExpression | final public void conditionalExpression() throws RecognitionException, TokenStreamException(Code) | | |
constant | final public void constant() throws RecognitionException, TokenStreamException(Code) | | |
constructorBody | final public void constructorBody() throws RecognitionException, TokenStreamException(Code) | | |
create | public AST create(int type, String txt, Token first, Token last)(Code) | | 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...
|
ctorHead | final public void ctorHead() throws RecognitionException, TokenStreamException(Code) | | |
declaration | final public void declaration() throws RecognitionException, TokenStreamException(Code) | | |
declaratorBrackets | final public void declaratorBrackets(AST typ) throws RecognitionException, TokenStreamException(Code) | | |
enumBlock | final public void enumBlock() throws RecognitionException, TokenStreamException(Code) | | |
enumConstant | final public void enumConstant() throws RecognitionException, TokenStreamException(Code) | | |
enumConstantBlock | final public void enumConstantBlock() throws RecognitionException, TokenStreamException(Code) | | |
enumConstantField | final public void enumConstantField() throws RecognitionException, TokenStreamException(Code) | | |
enumDefinition | final public void enumDefinition(AST modifiers) throws RecognitionException, TokenStreamException(Code) | | |
equalityExpression | final public void equalityExpression() throws RecognitionException, TokenStreamException(Code) | | |
exclusiveOrExpression | final public void exclusiveOrExpression() throws RecognitionException, TokenStreamException(Code) | | |
explicitConstructorInvocation | final public void explicitConstructorInvocation() throws RecognitionException, TokenStreamException(Code) | | Catch obvious constructor calls, but not the expr.super(...) calls
|
expression | final public void expression() throws RecognitionException, TokenStreamException(Code) | | |
expressionList | final public void expressionList() throws RecognitionException, TokenStreamException(Code) | | |
finallyClause | final public void finallyClause() throws RecognitionException, TokenStreamException(Code) | | |
forCond | final public void forCond() throws RecognitionException, TokenStreamException(Code) | | |
forEachClause | final public void forEachClause() throws RecognitionException, TokenStreamException(Code) | | |
forInit | final public void forInit() throws RecognitionException, TokenStreamException(Code) | | |
forIter | final public void forIter() throws RecognitionException, TokenStreamException(Code) | | |
forStatement | final public void forStatement() throws RecognitionException, TokenStreamException(Code) | | |
handler | final public void handler() throws RecognitionException, TokenStreamException(Code) | | |
identPrimary | final public void identPrimary() throws RecognitionException, TokenStreamException(Code) | | Match a, a.b.c refs, a.b.c(...) refs, a.b.c[], a.b.c[].class,
and a.b.c.class refs. Also this(...) and super(...). Match
this or super.
|
identifier | final public void identifier() throws RecognitionException, TokenStreamException(Code) | | |
identifierStar | final public void identifierStar() throws RecognitionException, TokenStreamException(Code) | | |
implementsClause | final public void implementsClause() throws RecognitionException, TokenStreamException(Code) | | |
importDefinition | final public void importDefinition() throws RecognitionException, TokenStreamException(Code) | | |
inclusiveOrExpression | final public void inclusiveOrExpression() throws RecognitionException, TokenStreamException(Code) | | |
initializer | final public void initializer() throws RecognitionException, TokenStreamException(Code) | | |
interfaceBlock | final public void interfaceBlock() throws RecognitionException, TokenStreamException(Code) | | |
interfaceDefinition | final public void interfaceDefinition(AST modifiers) throws RecognitionException, TokenStreamException(Code) | | |
interfaceExtends | final public void interfaceExtends() throws RecognitionException, TokenStreamException(Code) | | |
interfaceField | final public void interfaceField() throws RecognitionException, TokenStreamException(Code) | | |
logicalAndExpression | final public void logicalAndExpression() throws RecognitionException, TokenStreamException(Code) | | |
logicalOrExpression | final public void logicalOrExpression() throws RecognitionException, TokenStreamException(Code) | | |
modifier | final public void modifier() throws RecognitionException, TokenStreamException(Code) | | |
modifiers | final public void modifiers() throws RecognitionException, TokenStreamException(Code) | | |
multiplicativeExpression | final public void multiplicativeExpression() throws RecognitionException, TokenStreamException(Code) | | |
newArrayDeclarator | final public void newArrayDeclarator() throws RecognitionException, TokenStreamException(Code) | | |
newExpression | final public void newExpression() throws RecognitionException, TokenStreamException(Code) | | 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
|
packageDefinition | final public void packageDefinition() throws RecognitionException, TokenStreamException(Code) | | |
parameterDeclaration | final public void parameterDeclaration() throws RecognitionException, TokenStreamException(Code) | | |
parameterDeclarationList | final public void parameterDeclarationList() throws RecognitionException, TokenStreamException(Code) | | |
parameterModifier | final public void parameterModifier() throws RecognitionException, TokenStreamException(Code) | | |
postfixExpression | final public void postfixExpression() throws RecognitionException, TokenStreamException(Code) | | |
primaryExpression | final public void primaryExpression() throws RecognitionException, TokenStreamException(Code) | | |
relationalExpression | final public void relationalExpression() throws RecognitionException, TokenStreamException(Code) | | |
shiftExpression | final public void shiftExpression() throws RecognitionException, TokenStreamException(Code) | | |
statement | final public void statement() throws RecognitionException, TokenStreamException(Code) | | |
superClassClause | final public void superClassClause() throws RecognitionException, TokenStreamException(Code) | | |
throwsClause | final public void throwsClause() throws RecognitionException, TokenStreamException(Code) | | |
traditionalForClause | final public void traditionalForClause() throws RecognitionException, TokenStreamException(Code) | | |
tryBlock | final public void tryBlock() throws RecognitionException, TokenStreamException(Code) | | |
type | final public void type() throws RecognitionException, TokenStreamException(Code) | | |
typeArgument | final public void typeArgument() throws RecognitionException, TokenStreamException(Code) | | |
typeArgumentBounds | final public void typeArgumentBounds() throws RecognitionException, TokenStreamException(Code) | | |
typeArgumentSpec | final public void typeArgumentSpec() throws RecognitionException, TokenStreamException(Code) | | |
typeArguments | final public void typeArguments() throws RecognitionException, TokenStreamException(Code) | | |
typeArgumentsOrParametersEnd | final protected void typeArgumentsOrParametersEnd() throws RecognitionException, TokenStreamException(Code) | | |
typeDefinition | final public void typeDefinition() throws RecognitionException, TokenStreamException(Code) | | |
typeDefinitionInternal | final protected void typeDefinitionInternal(AST mods) throws RecognitionException, TokenStreamException(Code) | | |
typeParameter | final public void typeParameter() throws RecognitionException, TokenStreamException(Code) | | |
typeParameterBounds | final public void typeParameterBounds() throws RecognitionException, TokenStreamException(Code) | | |
typeParameters | final public void typeParameters() throws RecognitionException, TokenStreamException(Code) | | |
typeSpec | final public void typeSpec(boolean addImagNode) throws RecognitionException, TokenStreamException(Code) | | |
unaryExpression | final public void unaryExpression() throws RecognitionException, TokenStreamException(Code) | | |
unaryExpressionNotPlusMinus | final public void unaryExpressionNotPlusMinus() throws RecognitionException, TokenStreamException(Code) | | |
varInitializer | final public void varInitializer() throws RecognitionException, TokenStreamException(Code) | | |
variableDeclarator | final public void variableDeclarator(AST mods, AST t) throws RecognitionException, TokenStreamException(Code) | | Declaration of a variable. This can be a class/instance variable,
or a local variable in a method
It can also include possible initialization.
|
variableDefinitions | final public void variableDefinitions(AST mods, AST t) throws RecognitionException, TokenStreamException(Code) | | |
variableLengthParameterDeclaration | final public void variableLengthParameterDeclaration() throws RecognitionException, TokenStreamException(Code) | | |
wildcardType | final public void wildcardType() throws RecognitionException, TokenStreamException(Code) | | |
|
|