"{ Package: 'stx:goodies/petitparser/compiler' }"

"{ NameSpace: Smalltalk }"

Object subclass:#PPCConfiguration

	instanceVariableNames:'context ir history passes'

	classVariableNames:''

	poolDictionaries:''

	category:'PetitCompiler-Core'

!

!PPCConfiguration class methodsFor:'as yet unclassified'!

default

    ^ self universal

!

new

    ^ self basicNew

        initialize;

        yourself

!

tokenizing

    | options |

    options := PPCCompilationOptions default.

    options tokenize: true.

    ^ PPCConfiguration new

        options: options;

        yourself

    "Modified: / 04-09-2015 / 16:21:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

universal

    | options |

    options := PPCCompilationOptions default.

    options tokenize: false.

    ^ PPCConfiguration new

        options: options;

        yourself

    "Modified: / 04-09-2015 / 16:21:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!PPCConfiguration methodsFor:'accessing'!

context

    ^ context

!

options

    ^ context options

    "Modified: / 26-08-2015 / 19:48:43 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

options: aPPCCompilationOptions

    context options: aPPCCompilationOptions

    "Created: / 26-08-2015 / 19:56:46 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

passes

    ^ passes

!

passes:aCollection

    passes := aCollection asOrderedCollection

    "Modified: / 04-09-2015 / 14:14:33 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!PPCConfiguration methodsFor:'accessing - defaults'!

defaultPassesForTokenizingParser

    ^  {

        PPCTokenDetector .

        PPCCacheFirstFollowPass .

        PPCLL1Visitor .

        PPCTokenizingVisitor .

        PPCMergingVisitor .

        PPCSpecializingVisitor .

        PPCInliningVisitor .

        PPCMergingVisitor .

        PPCCheckingVisitor .

        PPCCacheFirstFollowPass .

        PPCTokenizingCodeGenerator .

        PPCFSAVisitor .

        PPCTokenCodeGenerator .

        PPCScannerCodeGenerator .    

    } asOrderedCollection.

    "Created: / 04-09-2015 / 15:56:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

defaultPassesForUniversalParser

    ^ {

        PPCTokenDetector.

        PPCCacheFirstFollowPass. 

        PPCSpecializingVisitor .

        PPCRecognizerComponentDetector .

        PPCSpecializingVisitor .

        PPCInliningVisitor .

        PPCMergingVisitor .

        PPCCheckingVisitor .

        PPCUniversalCodeGenerator

    } asOrderedCollection.

    "Created: / 04-09-2015 / 15:56:14 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!PPCConfiguration methodsFor:'compiling'!

buildClass: clazz

    |  builder |

    builder := PPCClassBuilder new.

    builder compiledClassName: clazz name.

    builder compiledSuperclass: clazz superclass.

    builder methodDictionary: clazz methodDictionary.

    builder constants: clazz constants.

    ^ builder compileClass.	

!

!

generateParser

    | parserClass parserSuper rootMethod |

    context options generate ifFalse:[

        ^ self

    ].

    context parserClass methodDictionary isEmpty ifTrue:[ 

        ^ self

    ].

    parserSuper := context options parserSuperclass.

    parserSuper isNil ifTrue:[ 

        parserSuper := context options tokenize 

                        ifTrue:[ PPTokenizingCompiledParser ]

                        ifFalse:[ PPCompiledParser ]   

    ].

    rootMethod := context parserClass propertyAt:#rootMethod.

    context parserClass name:context options parserName.

    context parserClass superclass: parserSuper.

    parserClass := self buildClass:context parserClass.

    parserClass startSymbol:rootMethod methodName.

    self remember:parserClass as:#parser.

    ir := parserClass new

    "Modified: / 25-08-2015 / 00:05:49 / Jan Vrany"

    "Modified: / 04-09-2015 / 16:07:23 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

generateScanner

    | scanner |

    context options generate ifFalse:[

        ^ self

    ].

    context scannerClass methodDictionary isEmpty ifTrue:[ 

        ^ self

    ].

    context scannerClass name:context options scannerName.

    context scannerClass superclass:context options scannerSuperclass.

    scanner := (self buildClass:context scannerClass).

    context parserClass addConstant:scanner as:#scannerClass.

    ir := scanner.

    self remember:scanner as:#scanner

    "Modified: / 25-08-2015 / 00:06:49 / Jan Vrany"

    "Modified: / 04-09-2015 / 15:33:12 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

!

!

!

remember: value as: key

    context options debug ifTrue: [ 

        history add: key -> value.

    ]

    "Modified: / 28-08-2015 / 14:14:33 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

reportTime: timeInMs

    context options profile ifTrue: [ 

    ]

! !

!PPCConfiguration methodsFor:'running'!

runPass: pass

    | p |

    p := pass asPPCPass.

    ir := p run: ir in: context.

    self remember:(self copyTree:ir) as:p class name

    "Created: / 26-08-2015 / 22:35:39 / Jan Vrany <jan.vrany@fit.cvut.cz>"

    "Modified: / 29-08-2015 / 07:16:10 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !