"{ Package: 'jv:smallsense' }"

SmallSenseParser subclass:#SmallSenseAbstractInstvarInterfaceExtractor

	instanceVariableNames:'stack copied initialStack saveStacks input collector

		blockTraversal blockArgs'

	classVariableNames:''

	poolDictionaries:''

	category:'SmallSense-Roel Typer'

!

!SmallSenseAbstractInstvarInterfaceExtractor methodsFor:'extracting'!

extractInterfacesFrom:m addTo:aTypeCollector 

    |parser|

    method := m.

    saveStacks := Dictionary new.

    stack := OrderedCollection new.

     "0 to: method numTemps - 1 do: [:i | stack add: #temp -> i ]."

    initialStack := stack copy.

    collector := aTypeCollector.

    parser := SmalltalkXInstvarInterfaceExtractor new.

    parser setColector:aTypeCollector.

    input := parser 

                parseMethod:method source

                in:method mclass

                ignoreErrors:false

                ignoreWarnings:false.

    blockTraversal := false.

    blockArgs := 0.

    [ input isNil ] whileFalse:[

        self unaryExpressionFor:input.

        input :=input nextStatement.

    ]

    "Modified: / 24-11-2010 / 22:24:16 / Jakub <zelenja7@fel.cvut.cz>"

!

extractInterfacesFrom:sourc class:class addTo:aTypeCollector 

    |parser|

    saveStacks := Dictionary new.

    stack := OrderedCollection new.

     "0 to: method numTemps - 1 do: [:i | stack add: #temp -> i ]."

    initialStack := stack copy.

    collector := aTypeCollector.

    parser := SmalltalkXInstvarInterfaceExtractor new.

    parser setColector:aTypeCollector.

    input := parser 

                parseMethod: sourc

                in:class

                ignoreErrors:false

                ignoreWarnings:false.

    blockTraversal := false.

    blockArgs := 0.

    [ input isNil ] whileFalse:[

        self unaryExpressionFor:input.

        input :=input nextStatement.

    ]

    "Created: / 17-03-2011 / 16:00:31 / Jakub <zelenja7@fel.cvut.cz>"

! !

!SmallSenseAbstractInstvarInterfaceExtractor methodsFor:'opcodes-control'!

nativeSend: selector numArgs: na 

        | receiver args |

        args := stack removeLast: na.

        receiver := stack removeLast.

        receiver isInteger 

                ifTrue: 

                        [ collector 

                                addSend: selector

                                to: receiver ]

                ifFalse: 

                        [ receiver isVariableBinding ifTrue: 

                                [ receiver key = #temp 

                                        ifTrue: 

                                                [ collector 

                                                        addSend: selector

                                                        toTmp: receiver value ]

                                        ifFalse: 

                                                [ receiver key = #return ifTrue: 

                                                        [ collector 

                                                                addSend: selector

                                                                onReturnOfSelfMethod: receiver value ] ] ] ].

        (receiver = #self and: [ collector theClass methodDictionary includesKey: selector ]) ifTrue: 

                [ args doWithIndex: 

                        [ :arg :index | 

                        collector 

                                handleAssignment: arg

                                forTmp: index - 1

                                in: collector theClass >> selector ] ].

        stack add: (collector 

                        pushSendOf: selector

                        to: receiver

                        args: args)

    "Modified: / 18-05-2011 / 23:47:10 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

send: selector numArgs: na 

	^self 

		nativeSend: selector

		numArgs: na

! !

!SmallSenseAbstractInstvarInterfaceExtractor methodsFor:'opcodes-data movement'!

dupFirst

	stack add: stack last

!

pop

	stack removeLast

!

pushConstant: value

	value class == BlockClosure

		ifTrue:

			[self

				readBlock: value method

				copied: 0]

		ifFalse: [

			blockArgs := value.

			stack addLast: value class]

!

pushContext

	stack add: #context

!

pushInst: index

	stack add: index

!

pushReceiver

	stack addLast: #self

!

pushStatic: assoc

	"assoc can be an association OR a variable binding. I just push the complete association, since it does not interest me for the moment."

	stack addLast: assoc

! !

!SmallSenseAbstractInstvarInterfaceExtractor methodsFor:'private'!

copied: list

	copied := list

!

initialize

        super initialize.

        blockTraversal := false.

        blockArgs := 0.

    "Modified: / 03-11-2010 / 21:27:34 / Jakub <zelenja7@fel.cvut.cz>"

!

input

	^input

!

method: aMethod

	method := aMethod.

	copied := #()

!

readBlock: block copied: count

        | newCopied |

        newCopied := stack removeLast: count.

        stack add: #block.

        ^(self class new)

                copied: newCopied;

                extractInterfacesFrom: block source class:block mclass

                        addTo: collector

    "Modified: / 17-03-2011 / 16:01:39 / Jakub <zelenja7@fel.cvut.cz>"

!

reloadStack

        stack isNil

                ifTrue:

                        [stack := self saveStacks

                                at: self input startPosition

                                ifAbsent: [initialStack copy].

                        ^self].

        stack := self saveStacks

                at: self input startPosition

                ifAbsent: [stack]

    "Modified: / 28-10-2010 / 15:04:05 / Jakub <zelenja7@fel.cvut.cz>"

!

saveStacks

	saveStacks ifNil: [saveStacks := Dictionary new].

	^saveStacks

!

setColector:colectorSetter 

    collector := colectorSetter.

    "Created: / 03-11-2010 / 21:33:42 / Jakub <zelenja7@fel.cvut.cz>"

! !

!SmallSenseAbstractInstvarInterfaceExtractor class methodsFor:'documentation'!

version_HG

    ^ '$Changeset: <not expanded> $'

!

version_SVN

    ^ '$Id: SmallSenseAbstractInstvarInterfaceExtractor.st 7823 2011-11-26 16:55:59Z vranyj1 $'

! !