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

PPCompositeParser subclass:#JavaParserI

	instanceVariableNames:'unicodeEscape rawInputCharacter unicodeMarker hexDigit

		lineTerminator unicodeInputCharacter inputElements sub

		inputElement whiteSpace comment javaToken keyword literal

		separator operator identifier traditionalComment endOfLineComment

		commentTail charactersInLine commentTailStar notStar

		notStarNotSlash inputCharacter booleanLiteral nullLiteral

		keywords floatingPointLiteral integerLiteral characterLiteral

		stringLiteral input operators separators block'

	classVariableNames:'Debugging'

	poolDictionaries:''

	category:'Languages-Java-Parser'

!

PPParser subclass:#BlockParser

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	privateIn:JavaParserI

!

PPParser subclass:#TokenParser

	instanceVariableNames:'tokenType'

	classVariableNames:''

	poolDictionaries:''

	privateIn:JavaParserI

!

!JavaParserI class methodsFor:'documentation'!

documentation

"

    Part of petit parser for Java. Contains only lexical structure.

    Usefull only for inheriting and extending

    [author:]

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

    [instance variables:]

    [class variables:]

    [see also:]

"

! !

!JavaParserI class methodsFor:'initialization'!

debugging: aBoolean

    Debugging := aBoolean

    "

        JavaParser debugging: true.

        JavaParser debugging: false.

    "

    "Created: / 11-01-2013 / 11:32:46 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

initialize

    "Invoked at system start or when the class is dynamically loaded."

    "/ please change as required (and remove this comment)

    Debugging := false.

    "Modified: / 11-01-2013 / 11:32:22 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaParserI class methodsFor:'instance creation'!

new

    "return an initialized instance"

    ^ self basicNew initializeStartingAt: #start.

    "Modified: / 11-01-2013 / 12:29:11 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaParserI class methodsFor:'accessing'!

ignoredNames

	"Answer a collection of instance-variables that should not be automatically initialized with productions, but that are used internal to the composite parser."

	| newArray |	

	newArray := Array new: ((self namesToIgnore size) + (super ignoredNames size)).

	newArray

		replaceFrom: 1

		to: self namesToIgnore size

		with: self namesToIgnore.

	newArray

		replaceFrom: (self namesToIgnore size + 1)

		to: newArray size

		with: super ignoredNames.	

	^newArray

!

namesToIgnore

	^#('keywords' 'operators' 'separators')

! !

!JavaParserI methodsFor:'accessing'!

builder

    ^nil

    "Created: / 10-03-2012 / 12:17:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

start

	"Default start production."

	^ input end

! !

!JavaParserI methodsFor:'grammar-blocks'!

block

    "Do no parse content of the block"

    ^BlockParser new    

"/    ^ (self tokenFor: '{') , (self tokenFor: '}')

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

! !

!JavaParserI methodsFor:'grammar-comments'!

charactersInLine   

	^ inputCharacter plus

!

comment

	"traditional -> /*

	 endOfLine -> //"

	^ traditionalComment / endOfLineComment

!

commentTail

	^ 	('*' asParser , commentTailStar ) /

		(notStar , commentTail)

!

commentTailStar 

	^ ('/' asParser ) /

	  ('*' asParser , commentTailStar ) /

	  (notStarNotSlash , commentTail )

!

endOfLineComment 

        ^ 'cxcxcx' asParser

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

!

notStar

	^ lineTerminator / ('*' asParser not , inputCharacter)

!

notStarNotSlash  

	^ lineTerminator / ((PPPredicateObjectParser anyOf: '*/') not , inputCharacter )

!

traditionalComment

        ^ 'aaaaa' asParser

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

! !

!JavaParserI methodsFor:'grammar-identifiers'!

identifier

    ^ (self tokenParserFor:#Identifier) ==> [:token|token value]

"/    ^  self asToken: (((keyword not) , (booleanLiteral not) , (nullLiteral not) , identifierChars ))

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

! !

!JavaParserI methodsFor:'grammar-input'!

input

	^ (inputElements optional) , (sub optional)

!

inputElement

	^ whiteSpace / comment / javaToken

!

inputElements

	^ inputElement plus

!

javaToken

        "/self flag: 'TODO: check order'.

        ^ keyword / literal / separator / operator / identifier

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

!

sub

	^ (Character value: 26) asParser 

! !

!JavaParserI methodsFor:'grammar-keywords'!

abstractKW

    ^ self tokenParserFor:'abstract'

!

assertKW

    ^ self tokenParserFor:'assert'

!

booleanKW

    ^ self tokenParserFor:'boolean'

!

breakKW

    ^ self tokenParserFor:'break'

!

byteKW

    ^ self tokenParserFor:'byte'

!

caseKW

    ^ self tokenParserFor:'case'

!

catchKW

    ^ self tokenParserFor:'catch'

!

charKW

    ^ self tokenParserFor:'char'

!

classKW

    ^ self tokenParserFor:'class'

!

constKW

    ^ self tokenParserFor:'const'

!

continueKW

    ^ self tokenParserFor:'continue'

!

defaultKW

    ^ self tokenParserFor:'default'

!

doKW

    ^ self tokenParserFor:'do'

!

doubleKW

    ^ self tokenParserFor:'double'

!

elseKW

    ^ self tokenParserFor:'else'

!

enumKW

    ^ self tokenParserFor:'enum'

!

extendsKW

    ^ self tokenParserFor:'extends'

!

finalKW

    ^ self tokenParserFor:'final'

!

finallyKW

    ^ self tokenParserFor:'finally'

!

floatKW

    ^ self tokenParserFor:'float'

!

forKW

    ^ self tokenParserFor:'for'

!

gotoKW

    ^ self tokenParserFor:'goto'

!

ifKW

    ^ self tokenParserFor:'if'

!

implementsKW

    ^ self tokenParserFor:'implements'

!

importKW

    ^ self tokenParserFor:'import'

!

instanceofKW

    ^ self tokenParserFor:'instanceof'

!

intKW

    ^ self tokenParserFor:'int'

!

interfaceKW

    ^ self tokenParserFor:'interface'

!

keyword

        | keywordParsers keywordParser |

        keywordParsers := keywords keys asSortedCollection "/SortedSafely 

                                                                collect: [:eachKey | keywords at: eachKey ].

        keywordParser := nil.

        keywordParsers do:[:each|

            keywordParser notNil ifTrue:[

                keywordParser := keywordParser / each

            ] ifFalse:[

                keywordParser := each

            ]

        ].

        ^ "self asToken: "keywordParser

    "Modified: / 09-03-2012 / 20:48:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

longKW

    ^ self tokenParserFor:'long'

!

nativeKW

    ^ self tokenParserFor:'native'

!

newKW

    ^ self tokenParserFor:'new'

!

operator

        | operatorParsers operatorParser |

        operatorParsers := operators keys asSortedCollection "/SortedSafely 

                                                                collect: [:eachKey | operators at: eachKey ].

        operatorParser := nil.

        operatorParsers do:[:each|

            operatorParser notNil ifTrue:[

                operatorParser := operatorParser / each

            ] ifFalse:[

                operatorParser := each

            ]

        ].

        ^ "self asToken: "operatorParser

    "Modified: / 09-03-2012 / 20:50:35 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

packageKW

    ^ self tokenParserFor:'package'

!

privateKW

    ^ self tokenParserFor:'private'

!

protectedKW

    ^ self tokenParserFor:'protected'

!

publicKW

    ^ self tokenParserFor:'public'

!

returnKW

    ^ self tokenParserFor:'return'

!

shortKW

    ^ self tokenParserFor:'short'

!

staticKW

    ^ self tokenParserFor:'static'

!

strictfpKW

    ^ self tokenParserFor:'strictfp'

!

superKW

    ^ self tokenParserFor:'super'

!

switchKW

    ^ self tokenParserFor:'switch'

!

synchronizedKW

    ^ self tokenParserFor:'synchronized'

!

thisKW

    ^ self tokenParserFor:'this'

!

throwKW

    ^ self tokenParserFor:'throw'

!

throwsKW

    ^ self tokenParserFor:'throws'

!

transientKW

    ^ self tokenParserFor:'transient'

!

tryKW

    ^ self tokenParserFor:'try'

!

voidKW

    ^ self tokenParserFor:'void'

!

volatileKW

    ^ self tokenParserFor:'volatile'

!

whileKW

    ^ self tokenParserFor:'while'

! !

!JavaParserI methodsFor:'grammar-lineTerminators'!

inputCharacter 

	^(lineTerminator not) , unicodeInputCharacter ==> #second

!

lineTerminator

	^ (Character lf asParser) / (Character cr asParser , (Character lf asParser ) optional )

! !

!JavaParserI methodsFor:'grammar-literals'!

literal

        "a literal must be a single token. Whitespaces are not allowed inside the literal"

        ^" self asToken: "(nullLiteral / booleanLiteral / floatingPointLiteral / integerLiteral / characterLiteral / stringLiteral)

    "Modified: / 09-03-2012 / 20:49:04 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaParserI methodsFor:'grammar-literals-boolean'!

booleanLiteral 

    ^ self tokenParserFor:#boolean

 "Modified: / 14-03-2012 / 23:36:55 / Jan Vrany <jan.vrany@fit.cvut.cz>"

    "Modified: / 14-03-2012 / 23:36:55 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaParserI methodsFor:'grammar-literals-character'!

characterLiteral 

    ^ self tokenParserFor:#Character

 "Modified: / 15-03-2012 / 00:11:19 / Jan Vrany <jan.vrany@fit.cvut.cz>" "Modified (format): / 15-03-2012 / 08:35:46 / Jan Vrany <jan.vrany@fit.cvut.cz>"

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

    "Modified (format): / 15-03-2012 / 08:35:46 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaParserI methodsFor:'grammar-literals-floating'!

floatingPointLiteral

    ^ (self tokenParserFor:#Float) /

            (self tokenParserFor:#Double)

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

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

! !

!JavaParserI methodsFor:'grammar-literals-integer'!

integerLiteral

    ^ (self tokenParserFor:#Integer) /

            (self tokenParserFor:#LongInteger)

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

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

! !