"

 COPYRIGHT (c) 1996-2011 by Claus Gittinger

 COPYRIGHT (c) 2010-2011 by Jan Vrany, Jan Kurs and Marcel Hlopko

                            SWING Research Group, Czech Technical University in Prague

 Parts of the code written by Claus Gittinger are under following

 license:

 This software is furnished under a license and may be used

 only in accordance with the terms of that license and with the

 inclusion of the above copyright notice.   This software may not

 be provided or otherwise made available to, or used by, any

 other person.  No title to or ownership of the software is

 hereby transferred.

 Parts of the code written at SWING Reasearch Group [1] are MIT licensed:

 Permission is hereby granted, free of charge, to any person

 obtaining a copy of this software and associated documentation

 files (the 'Software'), to deal in the Software without

 restriction, including without limitation the rights to use,

 copy, modify, merge, publish, distribute, sublicense, and/or sell

 copies of the Software, and to permit persons to whom the

 Software is furnished to do so, subject to the following

 conditions:

 The above copyright notice and this permission notice shall be

 included in all copies or substantial portions of the Software.

 THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,

 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES

 OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND

 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT

 HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,

 WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

 FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR

 OTHER DEALINGS IN THE SOFTWARE.

 [1] Code written at SWING Research Group contain a signature

     of one of the above copright owners.

"

"{ Package: 'stx:libjava' }"

Context variableSubclass:#JavaContext

	instanceVariableNames:'exArg exPC byteCode constPool acqrMonitors'

	classVariableNames:''

	poolDictionaries:''

	category:'Languages-Java-Support'

!

!JavaContext class methodsFor:'documentation'!

copyright

"

 COPYRIGHT (c) 1996-2011 by Claus Gittinger

 COPYRIGHT (c) 2010-2011 by Jan Vrany, Jan Kurs and Marcel Hlopko

                            SWING Research Group, Czech Technical University in Prague

 Parts of the code written by Claus Gittinger are under following

 license:

 This software is furnished under a license and may be used

 only in accordance with the terms of that license and with the

 inclusion of the above copyright notice.   This software may not

 be provided or otherwise made available to, or used by, any

 other person.  No title to or ownership of the software is

 hereby transferred.

 Parts of the code written at SWING Reasearch Group [1] are MIT licensed:

 Permission is hereby granted, free of charge, to any person

 obtaining a copy of this software and associated documentation

 files (the 'Software'), to deal in the Software without

 restriction, including without limitation the rights to use,

 copy, modify, merge, publish, distribute, sublicense, and/or sell

 copies of the Software, and to permit persons to whom the

 Software is furnished to do so, subject to the following

 conditions:

 The above copyright notice and this permission notice shall be

 included in all copies or substantial portions of the Software.

 THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,

 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES

 OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND

 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT

 HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,

 WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

 FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR

 OTHER DEALINGS IN THE SOFTWARE.

 [1] Code written at SWING Research Group contain a signature

     of one of the above copright owners.

"

! !

!JavaContext methodsFor:'* As yet uncategorized *'!

markForException

    "set the exception handler flag in the receiver.

     The JVM needs this to enter an exception handler instead of restarting

     from the beginning (when the context is restarted).

     - a highly internal mechanism and not for public use."

"

%{  /* NOCONTEXT */

#ifdef __JAVA_EX_PEND

     /* actually no longer - only a non-nil exPC is now used as marker */

     __INST(flags) = (OBJ)((INT)__INST(flags) | __MASKSMALLINT(__JAVA_EX_PEND));

#endif

%}

"

    "Modified: / 13-12-1995 / 19:05:22 / cg"

    "Modified: / 25-10-2010 / 17:19:23 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaContext methodsFor:'ST context mimicri'!

arg1Index

    "the java stack contains the receiver in a non-static

     method, as slot 0. Therefore, the first arg is found at slot2

     if this is for a non-static method"

    self method isStatic ifTrue:[

	^ 1

    ].

    ^ 2

!

argAt:n

    "return the i'th argument (1..nArgs)"

    ^ self at:(self arg1Index - 1 + n)

    "Created: / 2.1.1998 / 17:54:13 / cg"

    "Modified: / 2.1.1998 / 21:39:30 / cg"

!

argAt:n put:value

    "change the i'th argument (1..nArgs)"

    ^ super argAt:(self arg1Index - 1 + n) put:value

    "Created: / 2.1.1998 / 17:54:34 / cg"

    "Modified: / 2.1.1998 / 21:35:19 / cg"

!

args

    "return an array filled with the arguments of this context"

    |n|

    n := self numArgs.

    n == 0 ifTrue:[

	"/ little optimization here - avoid creating empty containers

	^ #()

    ].

    ^ (Array new:n) replaceFrom:1 to:n with:self startingAt:(self arg1Index).

    "Created: / 2.1.1998 / 17:54:57 / cg"

    "Modified: / 2.1.1998 / 21:34:44 / cg"

!

argsAndVars

    "return an array filled with the arguments and variables of this context"

    |n|

    n := self numArgs + self numVars.

    n == 0 ifTrue:[

	"/ little optimization here - avoid creating empty containers

	^ #()

    ].

    ^ (Array new:n) replaceFrom:1 to:n with:self startingAt:(self arg1Index).

    "Created: / 2.1.1998 / 17:55:14 / cg"

    "Modified: / 13.1.1998 / 15:44:56 / cg"

!

lineNumber

    |nr pc|

    pc := self pc.

"/ 'ask line for pc:' print. pc printCR.

    pc isNil ifTrue:[

	nr := self lineNumberFromMethod.

	nr notNil ifTrue:[

	    ^ nr

	].

	" '-> 0 [a]' printCR. "

	^0

    ].

    nr := self method lineNumberForPC:pc.

    nr isNil ifTrue:[

	nr := self lineNumberFromMethod.

	nr notNil ifTrue:[

	    ^ nr

	].

	" '-> 0 [b]' printCR. "

	^ 0

    ].

"/ '-> ' print. nr printCR.

     ^ nr.

    "Created: / 1.5.1996 / 15:05:47 / cg"

    "Modified: / 15.1.1998 / 15:25:29 / cg"

!

lineNumberFromMethod

    |m|

    m := self method.

    m notNil ifTrue:[

	^ m lineNumber

    ].

    ^ nil

    "Created: / 4.1.1998 / 23:34:45 / cg"

    "Modified: / 4.1.1998 / 23:35:55 / cg"

!

method

    "the method may be found in the interpreter temps ..."

    method isJavaMethod ifTrue:[^ method].

    ^ super method

    "Created: / 1.5.1996 / 15:03:43 / cg"

    "Modified: / 25.9.1999 / 23:26:40 / cg"

!

numArgs

    "return the number of args.

     Redefined since Java keeps the receiver of a non-static method

     at local slot 1."

    |n|

    n := super numArgs.

    self method isStatic ifFalse:[

	n := n - 1

    ].

    ^ n

    "Created: / 2.1.1998 / 22:21:24 / cg"

!

numTemps

    "return the number of temporary variables of the Method.

     Redefined since Java keeps the receiver of a non-static method

     at local slot 1."

    |n|

    n := self size - super numVars - super numArgs.

    ^ n

    "Created: / 13.1.1998 / 16:52:32 / cg"

    "Modified: / 13.1.1998 / 17:23:27 / cg"

!

numVars

    "return the number of locals.

     Redefined since Java keeps the receiver of a non-static method

     at local slot 0 and holds the args as locals."

    |n|

    n := super numVars.

    ^ (n - self numArgs) max:0

    "Created: / 13.1.1998 / 17:03:08 / cg"

    "Modified: / 13.1.1998 / 17:25:16 / cg"

!

pc

    lineNr isNil ifTrue:[^ nil].

    ^ lineNr bitAnd:16rFFFF

    "Created: / 4.1.1998 / 23:33:48 / cg"

    "Modified: / 10.11.1998 / 13:20:12 / cg"

!

quickLineNumber

    "the lineNumber - without decompiling"

    ^ self method quickLineNumberForPC:self pc

    "Created: / 10.11.1998 / 14:20:30 / cg"

!

selector

    "the selector can be extracted from the method.

     the method may be found in the interpreter temps ..."

    |s m|

    selector isNil ifTrue:[

	m := self method.

	m notNil ifTrue:[

	    ^ m name

	]

    ].

    ^ super selector

    "Modified: / 30.12.1997 / 17:22:06 / cg"

    "Created: / 30.12.1997 / 17:23:47 / cg"

!

setPC:newPC

    lineNr := newPC

    "Created: / 5.1.1998 / 00:09:02 / cg"

!

temporaries

    "return an array filled with the arguments and variables of this context"

    |n nSkipped|

    "/ the flas-numVars includes the receiver and args

    nSkipped := super numVars "self numArgs + self numVars".

    "/ but my context setup is args+numvars.

    nSkipped := super numArgs + super numVars.

    n := self size - nSkipped.

    n == 0 ifTrue:[

	"/ little optimization here - avaoid creating empty containers

	^ #()

    ].

    ^ (Array new:n) replaceFrom:1 to:n with:self startingAt:nSkipped+1.

    "Created: / 13.1.1998 / 15:44:12 / cg"

    "Modified: / 13.1.1998 / 17:22:54 / cg"

!

vars

    "return an array filled with the local variables of this context"

    |nonVars mySize|

    mySize := self numVars.

    mySize == 0 ifTrue:[

	"/ little optimization here - avaoid creating empty containers

	^ #()

    ].

    nonVars := (self arg1Index-1) + self numArgs.

    ^ (Array new:mySize) replaceFrom:1 to:mySize with:self startingAt:nonVars+1

    "Created: / 13.1.1998 / 16:48:16 / cg"

! !

!JavaContext methodsFor:'accessing'!

acquiredMonitors

^acqrMonitors

    "Created: / 08-11-2011 / 12:23:18 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

acquiredMonitorsDo: aBlock 

    acqrMonitors isNil ifTrue: [ ^self ].

    acqrMonitors copy reverseDo: aBlock.

    "Created: / 08-11-2011 / 15:03:31 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 08-11-2011 / 21:46:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

addMonitor: mon 

    self assert: (acqrMonitors isNil or: [ acqrMonitors isOrderedCollection ]).

    acqrMonitors ifNil: [ acqrMonitors := Stack new ].

    acqrMonitors push: mon.

    "Created: / 08-11-2011 / 14:19:21 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 08-11-2011 / 21:40:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

programmingLanguage

    ^JavaLanguage instance

    "Created: / 17-03-2011 / 10:17:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

removeMonitor: mon 

    acqrMonitors isNil ifTrue: [

        Logger 

            log: ('removeMonitor: called but no monitors in acqrMonitors (%1)' 

                    bindWith: self)

            severity: #warn

            facility: #JVM.

        self breakPoint: #mh.

        ^ self.

    ].

    poppedObject := acqrMonitors top.

    self assert: (poppedObject == mon).

    acqrMonitors remove: mon

        ifAbsent: [

            Logger 

                log: ('removeMonitor: called but no such monitor in acqrMonitors (%1)' 

                        bindWith: self)

                severity: #warn

                facility: #JVM.

            self breakPoint: #mh.

            ^ self.

    "Created: / 08-11-2011 / 14:19:58 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 08-11-2011 / 21:39:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaContext methodsFor:'exception handler support'!

exceptionArg:aJavaException

    exArg := aJavaException.

    "Created: / 7.1.1998 / 21:36:56 / cg"

!

exceptionArg:aJavaException pc:newPc

    exArg := aJavaException.

    exPC := newPc.

    "Created: / 7.1.1998 / 21:36:56 / cg"

! !

!JavaContext methodsFor:'non local control flow'!

unwindAndRestartForJavaException

    "Called by JavaVM>>throwException: unwinds the stack

     up to this context and restarts it so an exception handler

     executes"

    | con wasMarked |

    "Each context that has a monitor acquired has

     and unwind action that release all monitors acquired.

     However, we DONT want my monitors to be released,

     so we temporarily unmark this context for unwind and

     then mark it again, eventually"

    wasMarked := self isUnwindContext.

    wasMarked ifTrue:[self unmarkForUnwind].    

    self senderIsNil ifFalse:[

        con := thisContext evaluateUnwindActionsUpTo:self.

    ].

    wasMarked ifTrue:[self markForUnwind].

    "oops, if nil, I am not on the calling chain;

     (bad bad, unwind action have already been performed.

      should we check for this situation first and NOT evaluate

      the unwind actions in this case ?)

    "

    con isNil ifTrue:[

        "

         tried to return to a context which is already dead

         (i.e. the method/block has already executed a return)

        "

        ^ self invalidReturnOrRestartError:#'unwindAndRestart:' with:nil

    ].

    "

     now, that all unwind-actions are done, I can use the

     low-level restart ...

    "

    ^ self restart

    "Created: / 08-11-2011 / 22:00:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaContext methodsFor:'printing & storing'!

receiverPrintString

    "return a string describing the receiver of the context"

    |receiverClass receiverClassName newString implementorClass searchClass|

"/ %{

"/     /*

"/      * special handling for (invalid) free objects.

"/      * these only appear if some primitiveCode does not correctly use SEND macros,

"/      * which may lead to sends to free objects. In normal operation, this 'cannot' happen.

"/      */

"/     if (__isNonNilObject(__INST(receiver)) && (__qClass(__INST(receiver))==nil)) {

"/         receiverClassName = __MKSTRING("FreeObject");

"/     }

"/ %}.

"/    receiverClassName notNil ifTrue:[^ receiverClassName].

    receiverClass := receiver class.

    "/ java has no class-methods ...

    receiverClass := receiverClass theNonMetaclass.

    receiverClassName := receiverClass nameInBrowser.

    (receiverClass == SmallInteger) ifTrue:[

	newString := '(' , receiver printString , ') ' , receiverClassName

    ] ifFalse:[

	newString := receiverClassName

    ].

    "

     kludge to avoid slow search for containing class

    "