"{ Package: 'stx:goodies/petitparser/parsers/java' }"

"{ NameSpace: Smalltalk }"

PPJavaLexicon subclass:#PPJavaSyntax

	instanceVariableNames:'compilationUnit annotations packageDeclaration importDeclaration

		typeDeclaration qualifiedName 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 block

		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 unaryNegationExpression

		unaryPostfixExpression primaryWithselectors

		startMethodDeclaration identifierWithAccessors

		normalParametersWithElipsisDecls normalParametersDecls

		blockStatements statementWithoutTrailingSubstatement integralType

		floatingPointType numericType finally'

	classVariableNames:''

	poolDictionaries:''

	category:'PetitJava-Core'

!

PPJavaSyntax comment:'Parses Java code into lots of arrays. This parser has a full java gramar coverage'

!

!PPJavaSyntax class methodsFor:'as yet unclassified'!

parseMethod: aString

	^ self new parseMethod: aString

!

parseMethod: aString onError: aBlock

	^ self new parseMethod: aString onError: aBlock

! !

!PPJavaSyntax methodsFor:'accessing'!

start

	"Default start production."

	^ compilationUnit end

! !

!PPJavaSyntax methodsFor:'as yet unclassified'!

fieldAccessExpression 

	^(

" Primary.Identifier"

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

"Super.Identifier"

	/((self tokenFor: 'super'), superSuffix )

"ClassName.super.Identifier"

	/(identifier,(self tokenFor: '.'),(self tokenFor: 'super'),superSuffix)

	)plus.

!

finally

^ ((self tokenFor: 'finally'), block).

!

integralType

	^ (self tokenFor: 'byte')

		/ (self tokenFor: 'short')

		/ (self tokenFor: 'int')

		/ (self tokenFor: 'long')

		/ (self tokenFor: 'char')

! !

!PPJavaSyntax methodsFor:'grammar'!

arguments 

	^(self tokenFor: '('),

		expressionList optional,

	(self tokenFor: ')')

!

arrayCreator

	^ 	(	(self tokenFor: 'new') , createdName ,

			emptySquaredParenthesis plus,

			arrayInitializer)

		/(	(self tokenFor: 'new'), createdName ,

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

			emptySquaredParenthesis star)

!

arrayInitializer 

	^ (self tokenFor: '{'),

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

		(self tokenFor: ',') optional,

	   (self tokenFor: '}')

!

block 

	^ (self tokenFor: '{') ,

		blockStatements,

	 (self tokenFor: '}')

!

classCreatorRest 

	^	arguments , classBody optional

!

compilationUnit 

	^ (annotations optional, packageDeclaration) optional , importDeclaration star , typeDeclaration plus

!

createdName 

	^ classOrInterfaceType 

	/	primitiveType 

!

creator

	^	(	(self tokenFor: 'new'), nonWildcardTypeArguments optional , classOrInterfaceType , classCreatorRest)

		/	arrayCreator

!

elementValue 

	^conditionalExpression

	/ annotation 

	/ elementValueArrayInitializer

!

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

!

explicitConstructorInvocation

	^ (

		(	nonWildcardTypeArguments optional,

			((self tokenFor: 'this') / (self tokenFor: 'super')))

		/	(primary ,

			(self tokenFor: '.') ,

			nonWildcardTypeArguments optional,

			(self tokenFor: 'super'))) ,

		arguments , 

		(self tokenFor: ';')

!

identifierWithAccessors

	^ identifier,

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

	identifierSuffix optional

!

importDeclaration 

^	((self tokenFor: 'import') , (self tokenFor: 'static') optional , identifier),

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

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

	),

	(self tokenFor: ';')

!

innerCreator 

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

		nonWildcardTypeArguments optional,

		identifier ,

		typeArguments optional,

		classCreatorRest 

!

interfaces

	^ (self tokenFor: 'implements') , typeList

!

jsuper

	^ (self tokenFor: 'extends') , type

!

nonWildcardTypeArguments 

	^(self tokenFor: '<'),

		typeList ,

	(self tokenFor: '>')

!

packageDeclaration 

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

!

primary 

	^		parExpression 

		/(	(self tokenFor: 'this'),

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

			identifierSuffix optional)

		/	identifierWithAccessors

		/(	(self tokenFor: 'super'), superSuffix )

		/	literal

		/	creator

		/(	primitiveType,

			emptySquaredParenthesis star,

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

		/(	(self tokenFor: 'void'), (self tokenFor: '.'), (self tokenFor: 'class'))

!

qualifiedName 

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

!

typeBound 

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

!

typeDeclaration

	^ (self tokenFor: ';') / classOrInterfaceDeclaration

!

typeList 

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

!

typeParameter 

	^ identifier , ((self tokenFor: 'extends') , typeBound) optional

!

typeParameters 

	^ (self tokenFor: '<') , 

			typeParameter , 

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

		(self tokenFor: '>')

!

unaryExpressionNotPlusMinus 

	^ unaryNegationExpression

	 /castExpression

	 /unaryPostfixExpression

!

variableInitializer 

	^	arrayInitializer 

	/	expression	

! !

!PPJavaSyntax methodsFor:'grammar-annotations'!

annotation 

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

	((self tokenFor: '(') , 

		(elementValuePairs / elementValue) optional , 

		(self tokenFor: ')') ) optional

!

annotationMethodDeclaration

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

	^ methodModifiers ,

	type ,

	identifier ,

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

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

	(self tokenFor: ';')

!

annotationTypeBody

	^ (self tokenFor: '{')  ,

	(annotationTypeElementDeclaration star),

	(self tokenFor: '}')

!

annotationTypeDeclaration 

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

	(self tokenFor: 'interface') ,

	identifier ,

	annotationTypeBody

!

annotationTypeElementDeclaration

	^ annotationMethodDeclaration

	/ interfaceFieldDeclaration 

	/ normalClassDeclaration

	/ enumDeclaration 

	/ annotationTypeDeclaration 

	/ (self tokenFor: ';')

!

annotations 

	^ annotation plus

! !

!PPJavaSyntax methodsFor:'grammar-classes'!

classBody 

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

!

classBodyDeclaration 

	^ (self tokenFor: ';')

	/ ((self tokenFor: 'static') optional , block)

	/ fieldDeclaration

	/ methodDeclaration

	/ classDeclaration 

	/ interfaceDeclaration 

!

classDeclaration 

	^ normalClassDeclaration 

	/ enumDeclaration

!

classOrInterfaceDeclaration

	^ classDeclaration 

	/ interfaceDeclaration

!

classOrInterfaceType 

	^ identifier ,

	typeArguments optional,

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

!

ellipsisParameterDecl

	^ variableModifiers ,

	type ,

	('...' asParser token trim) ,

	identifier

!

fieldDeclaration

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

!

fieldModifiers

	^ ((self tokenFor: 'volatile') /

		(self tokenFor: 'final') /

		(self tokenFor: 'protected') /

		(self tokenFor: 'private') /

		(self tokenFor: 'public') /

		(self tokenFor: 'static') /

		(self tokenFor: 'transient') /

		annotation) star

!

floatingPointType

	^ (self tokenFor: 'float')

		/ (self tokenFor: 'double').

!

formalParameter 

	^ variableModifiers ,

	type ,

	identifier ,

	emptySquaredParenthesis star

!

formalParameterDecls

	^ ellipsisParameterDecl

	/  normalParametersWithElipsisDecls 

	/  normalParametersDecls 

!

formalParameters 

	^ (self tokenFor: '(') ,

	formalParameterDecls optional ,

	(self tokenFor: ')')

!

normalClassDeclaration 

	^ classModifiers , (self tokenFor: 'class') , identifier ,

		typeParameters optional,

		jsuper optional,

		interfaces optional ,

		classBody

!

normalParameterDecl

	^ variableModifiers ,

	type ,

	identifier ,

	emptySquaredParenthesis star

!

normalParametersDecls

	^ normalParameterDecl , 

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

!

normalParametersWithElipsisDecls

	^ (normalParameterDecl , 

		(self tokenFor: ',')) plus , 

		ellipsisParameterDecl

!

numericType 

	^  integralType / floatingPointType

!

primitiveType 

	^ (self tokenFor: 'boolean')  / numericType

!

type 

	^ (	classOrInterfaceType 

		/ primitiveType

	), 

	emptySquaredParenthesis star

!

typeArgument 

	^ type

	/ wildcard

!

typeArguments 

	^ (self tokenFor: '<') , 

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

	(self tokenFor: '>')

!

variableDeclarator 

	^ identifier ,

	((self tokenFor: '[') , (self tokenFor: ']')) star ,

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

!

variableDeclarators

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

!

wildcard 

	^ (self tokenFor: '?') ,