"{ Package: 'stx:libjava/tools' }"

JavaParserI subclass:#JavaParserII

	instanceVariableNames:'compilationUnit annotations packageDeclaration importDeclaration

		typeDeclaration qualifiedName qualifiedNameForImport annotation

		classOrInterfaceDeclaration classDeclaration interfaceDeclaration

		normalClassDeclaration enumDeclaration classModifiers

		typeParameters type typeList classBody jsuper interfaces

		typeParameter typeBound enumBody enumConstants

		enumBodyDeclarations enumConstant arguments classBodyDeclaration

		normalInterfaceDeclaration annotationTypeDeclaration

		interfaceModifiers interfaceBody interfaceBodyDeclaration

		fieldDeclaration methodDeclaration methodModifiers

		formalParameters throws qualifiedNameList

		explicitConstructorInvocation blockStatement fieldModifiers

		variableDeclarators variableDeclarator variableInitializer

		interfaceFieldDeclaration interfaceMethodDeclaration

		classOrInterfaceType primitiveType typeArguments typeArgument

		formalParameterDecls ellipsisParameterDecl normalParameterDecl

		variableModifiers nonWildcardTypeArguments primary

		elementValuePairs elementValue elementValuePair

		conditionalExpression elementValueArrayInitializer

		annotationTypeBody annotationTypeElementDeclaration

		annotationMethodDeclaration localVariableDeclarationStatement

		statement localVariableDeclaration expression parExpression

		ifStatement assertStatement basicForStatement

		enhancedForStatement forInit expressionList forStatement

		whileStatement catches catchClause formalParameter doStatement

		tryStatement switchBlockStatementGroup switchLabel

		switchStatement synchronizedStatement returnStatement

		throwStatement breakStatement continueStatement

		expressionStatement labeledStatement emptyStatement

		assignmentOperator conditionalOrExpression

		conditionalAndExpression inclusiveOrExpression

		exclusiveOrExpression andExpression equalityExpression

		instanceofExpression relationalExpression shiftExpression

		relationalOperator additiveExpression shiftOperator

		multiplicativeExpression unaryExpression

		unaryExpressionNotPlusMinus castExpression selector innerCreator

		superSuffix identifierSuffix creator classCreatorRest

		arrayCreator createdName arrayInitializer constructorDeclaration

		constructorModifiers methodNotConstructorDeclaration wildcard

		emptySquaredParenthesis methodModifierNotAnnotation

		classModifierNotAnnotation'

	classVariableNames:''

	poolDictionaries:''

	category:'Languages-Java-Parser'

!

!JavaParserII class methodsFor:'documentation'!

documentation

"

    PetitParser based parser for Java. Contains all grammar rules but no action.

    Usefull only for inheriting and extending.

    [author:]

        Jan Vrany <jan.vrany@fit.cvut.cz>

    [instance variables:]

    [class variables:]

    [see also:]

"

! !

!JavaParserII methodsFor:'accessing'!

start

        "Default start production."

        ^ compilationUnit end

    "Modified: / 10-03-2012 / 12:03:32 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaParserII methodsFor:'as yet unclassified'!

explicitConstructorInvocation

	^ (

		(	nonWildcardTypeArguments optional,

			((self  thisKW) / (self  superKW)))

		/	(primary ,

			(self tokenFor: '.') ,

			nonWildcardTypeArguments optional,

			(self  superKW))) ,

		arguments , 

		(self tokenFor: ';')

! !

!JavaParserII methodsFor:'grammar'!

arguments 

	^(self tokenFor: '('),

		expressionList optional,

	(self tokenFor: ')')

!

arrayCreator

	^ 	(	(self  newKW) , createdName ,

			emptySquaredParenthesis plus,

			arrayInitializer)

		/(	(self  newKW), createdName ,

			((self tokenFor: '['), expression , (self tokenFor: ']')) plus,

			emptySquaredParenthesis star)

!

arrayInitializer 

	^ (self tokenFor: '{'),

		(variableInitializer , ((self tokenFor: ','), variableInitializer ) star) optional,

		(self tokenFor: ',') optional,

	   (self tokenFor: '}')

!

block 

    "Do not parse block's content for now"

    ^super block

    "Following is somewhat broken"    

"/    ^ 

"/        (self tokenFor: '{') ,

"/        blockStatement star,

"/        (self tokenFor: '}')

    "Modified: / 11-03-2012 / 13:21:14 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

classCreatorRest 

	^	arguments , classBody optional

!

compilationUnit 

        ^ 

        (annotations optional, packageDeclaration) optional , 

        importDeclaration star , 

        typeDeclaration star ,

        (self tokenParserFor:#EOF) end

    "Modified (format): / 16-03-2012 / 10:32:39 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

createdName 

	^ classOrInterfaceType 

	/	primitiveType 

!

creator

	^	(	(self  newKW), nonWildcardTypeArguments optional , classOrInterfaceType , classCreatorRest)

		/	arrayCreator

!

elementValue 

        ^(conditionalExpression

        / annotation 

        / elementValueArrayInitializer)

    "Modified: / 15-03-2012 / 09:01:11 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

elementValueArrayInitializer

	^ (self tokenFor: '{') ,

		(elementValue , 

			((self tokenFor: ',') , elementValue ) star

		) optional ,

		((self tokenFor: ',') optional ),

	  (self tokenFor: '}')

!

elementValuePair 

	^ identifier , (self tokenFor: '=') , elementValue 

!

elementValuePairs 

	^ elementValuePair , ((self tokenFor: ',') , elementValuePair ) star

!

importDeclaration

    "

^       ((self  importKW) , (self  staticKW) optional , identifier),

(       (       (self tokenFor: '.') , (self tokenFor: '*'))

        /(      ((self tokenFor: '.') , identifier) plus , ((self tokenFor: '.') , (self tokenFor: '*')) optional)

),

(self tokenFor: ';')"

    ^ ((self importKW) , (self staticKW) optional , qualifiedNameForImport 

        , (self tokenFor:';')).

    "Modified (comment): / 15-12-2012 / 17:36:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

innerCreator 

	^	(self tokenFor: '.'), (self  newKW),

		nonWildcardTypeArguments optional,

		identifier ,

		typeArguments optional,

		classCreatorRest 

!

interfaces

	^ (self  implementsKW) , typeList

!

jsuper

	^ (self  extendsKW) , type

!

nonWildcardTypeArguments 

	^(self tokenFor: '<'),

		typeList ,

	(self tokenFor: '>')

!

packageDeclaration 

        ^ (self  packageKW) , qualifiedName , (self tokenFor:';')

    "Modified: / 15-03-2012 / 09:02:25 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

primary 

	^		parExpression 

		/(	(self  thisKW),

			((self tokenFor: '.'), identifier ) star,

			identifierSuffix optional)

		/(	identifier,

			((self tokenFor: '.'), identifier ) star,

			 identifierSuffix optional)

		/(	(self  superKW), superSuffix )

		/	literal

		/	creator

		/(	primitiveType,

			emptySquaredParenthesis star,

			(self tokenFor: '.'), (self  classKW))

		/(	(self  voidKW), (self tokenFor: '.'), (self  classKW))

!

qualifiedName 

        ^ identifier , ((self tokenFor: '.'), identifier ) star 

            ==> [:nodes|

                String streamContents:[:s|

                    s nextPutAll: nodes first value.

                    nodes second do:[:each|

                        s nextPut:$.; nextPutAll:each second value

                    ]

                ]

            ]

    "Modified: / 16-12-2012 / 10:29:51 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

qualifiedNameForImport 

    ^(qualifiedName , ( (self tokenFor: '.') , (self tokenFor: '*') ) optional)

        ==> [:nodes|

            nodes second notNil ifTrue:[

                nodes first , '.*'

            ] ifFalse:[

                nodes first

            ]

        ]

    "Created: / 15-12-2012 / 17:32:44 / Jan Vrany <jan.vrany@fit.cvut.cz>"

    "Modified: / 15-12-2012 / 22:40:32 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

typeBound 

	^ type , ((self tokenFor: '&') , type) star

!

typeDeclaration

	^ (self tokenFor: ';') / classOrInterfaceDeclaration

!

typeList 

	^ type , ((self tokenFor: ','), type) star

!

typeParameter 

	^ identifier , ((self  extendsKW) , typeBound) optional

!

typeParameters 

	^ (self tokenFor: '<') , 

			typeParameter , 

			((self tokenFor: ',') , typeParameter) star , 

		(self tokenFor: '>')

!

variableInitializer 

	^	arrayInitializer 

	/	expression	

! !

!JavaParserII methodsFor:'grammar-annotations'!

annotation 

        ^(self tokenFor: '@') , qualifiedName ,

        ((self tokenFor: '(') , 

                (elementValuePairs / elementValue) optional , 

                (self tokenFor: ')') ) optional

    "Modified: / 12-03-2012 / 18:24:15 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

annotationMethodDeclaration

        "/self flag: 'check whether method modifiers are the right modifiers to use'.

        ^ methodModifiers ,

        type ,

        identifier ,

        (self tokenFor: '('), (self tokenFor: ')'),

        ((self  defaultKW), elementValue ) optional ,

        (self tokenFor: ';')

    "Modified: / 23-08-2011 / 00:24:48 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

annotationTypeBody

	^ (self tokenFor: '{') ,

	(annotationTypeElementDeclaration star),

	(self tokenFor: '}')

!

annotationTypeDeclaration 

        ^ interfaceModifiers , (self tokenFor: '@'),

        (self  interfaceKW) ,

        self typeNameIdentifier ,

        annotationTypeBody

    "Created: / 17-03-2012 / 19:42:39 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

annotationTypeElementDeclaration

	^ annotationMethodDeclaration

	/ interfaceFieldDeclaration 

	/ normalClassDeclaration

	/ enumDeclaration 

	/ annotationTypeDeclaration 

	/ (self tokenFor: ';')

!

annotations 

	^ annotation plus

! !

!JavaParserII methodsFor:'grammar-classes'!

classBody 

    ^ (self tokenFor:'{') , classBodyDeclaration star , (self tokenFor:'}').

    "Modified (format): / 15-03-2012 / 09:01:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

classBodyDeclaration 

        ^ 

        (self tokenFor: ';')

        / ((self  staticKW) optional , block)

        / fieldDeclaration

        / methodDeclaration

        / classDeclaration 

        / interfaceDeclaration

    "Modified: / 11-03-2012 / 13:15:13 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

classDeclaration 

	^ normalClassDeclaration 

	/ enumDeclaration

!

classOrInterfaceDeclaration

	^ classDeclaration 

	/ interfaceDeclaration

!

classOrInterfaceType 

	^ identifier ,

	typeArguments optional,

	((self tokenFor: '.'), identifier , typeArguments optional ) star

!

ellipsisParameterDecl

        ^ variableModifiers ,

        type,

        (self tokenParserFor:#Ellipsis) ,

        identifier

    "Modified: / 15-03-2012 / 10:10:00 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

fieldDeclaration

    ^ fieldModifiers , type , variableDeclarators, (self tokenFor: ';')

    "Modified: / 15-03-2012 / 09:01:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

fieldModifiers

	^ ((self  volatileKW) /

		(self  finalKW) /

		(self  protectedKW) /

		(self  privateKW) /

		(self  publicKW) /

		(self  staticKW) /

		(self  transientKW) /

		annotation) star

!

formalParameter 

	^ variableModifiers ,

	type ,

	identifier ,

	emptySquaredParenthesis star

!

formalParameterDecls

	^ ellipsisParameterDecl

    /   ((normalParameterDecl , 

		(self tokenFor: ',')) plus , 

		ellipsisParameterDecl)

    /   (normalParameterDecl , 

		((self tokenFor: ',') , normalParameterDecl) star)

!

formalParameters 

	^ (self tokenFor: '(') ,

	formalParameterDecls optional ,

	(self tokenFor: ')')

!

normalClassDeclaration 

        ^ classModifiers , (self  classKW) , self typeNameIdentifier ,

                typeParameters optional,

                jsuper optional,

                interfaces optional ,

                classBody

    "Created: / 17-03-2012 / 19:41:54 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

normalParameterDecl

        ^ variableModifiers ,

        type,

        identifier,

        emptySquaredParenthesis star

    "Modified: / 15-03-2012 / 09:01:46 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

primitiveType 

	^ (self  booleanKW)  

		"numeric types"

		/ (self  byteKW)

		/ (self  shortKW)

		/ (self  intKW)

		/ (self  longKW)

		/ (self  charKW)

		/ (self  floatKW)

		/ (self  doubleKW)

!

type 

	^ (	classOrInterfaceType 

		/ primitiveType

	), 

	emptySquaredParenthesis star

!

typeArgument 

	^ type