"

 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' }"

JavaByteCodeProcessor subclass:#JavaByteCodeDisassembler

	instanceVariableNames:'outStream placeholders format lastLno'

	classVariableNames:'StandardFormat ExtendedFormat'

	poolDictionaries:''

	category:'Languages-Java-Bytecode'

!

!JavaByteCodeDisassembler 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.

"

! !

!JavaByteCodeDisassembler class methodsFor:'initialization'!

initialize

    super initialize.

    Verbose := false.

    StandardFormat := '  %(PC) %(ISN) %(OPERANDS)'.

    ExtendedFormat := '  %(PC) [%(OPCODE)] %(ISN) %(OPERANDS) %(STACK)'.

    "Modified: / 22-03-2011 / 17:07:20 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 22-03-2011 / 20:53:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaByteCodeDisassembler class methodsFor:'instance creation'!

new

    "return an initialized instance"

    ^ self basicNew initialize.

! !

!JavaByteCodeDisassembler class methodsFor:'disassembling'!

diassemble:aMethod 

    ^ self new diassemble:aMethod.

    "Created: / 17-03-2011 / 17:41:17 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

diassemble:aMethod to: aStream 

    ^ self new diassemble:aMethod to: aStream

    "Created: / 22-03-2011 / 21:13:06 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaByteCodeDisassembler methodsFor:'disassembling'!

diassemble:aJavaMethod 

    self diassemble:aJavaMethod to:Transcript.

    "Created: / 17-03-2011 / 17:42:38 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 20-03-2011 / 22:43:54 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

diassemble:aJavaMethod to:aStream 

    |fakeArgArray size|

    outStream := aStream.

    size := aJavaMethod javaNumArgs.

    fakeArgArray := Array new:size.

    1 to:size

        do:[:index | fakeArgArray at:index put:('Arg ' , index printString) ].

    self prettyPrintHeaderFor:aJavaMethod.

    self 

        process:aJavaMethod

        receiver:aJavaMethod javaClass

        arguments:fakeArgArray.

    "Created: / 17-03-2011 / 22:21:49 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 22-03-2011 / 15:59:50 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

! !

!JavaByteCodeDisassembler methodsFor:'helpers - constants'!

address

^ 'address'.

    "Created: / 20-03-2011 / 21:20:36 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

arrayLength

    ^ 'arrayLength'

    "Created: / 20-03-2011 / 18:31:17 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

arrayRef

    ^ 'arrayRef'

    "Created: / 20-03-2011 / 18:24:42 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

dimensions

^'count1, [count2,...]'.

    "Created: / 20-03-2011 / 21:26:27 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

empty

    ^ 'EMPTY'

    "Created: / 20-03-2011 / 18:30:47 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

excRef

    ^ 'exceptionRef'

    "Created: / 20-03-2011 / 18:36:48 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

index

    ^ 'index'

    "Created: / 20-03-2011 / 18:28:44 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

key

^'key'.

    "Created: / 20-03-2011 / 21:24:18 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

nothing

    ^ ''

    "Created: / 20-03-2011 / 18:31:44 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

null

    ^ 'null'

    "Created: / 20-03-2011 / 18:29:45 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

objRef

^ 'objectRef'

    "Created: / 20-03-2011 / 18:24:35 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

result

    ^ 'result'

    "Created: / 20-03-2011 / 18:40:13 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

sep

^ ', '.

    "Created: / 20-03-2011 / 18:28:24 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

size

    ^ 'size'

    "Created: / 20-03-2011 / 18:30:17 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

stackGroupClose

    ^ '}'.

    "Created: / 20-03-2011 / 21:02:42 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

stackGroupOpen

^'{'.

    "Created: / 20-03-2011 / 21:02:36 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

value

    ^ 'value'

    "Created: / 20-03-2011 / 18:24:52 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

valueMarked

    ^ 'valueX'

    "Created: / 20-03-2011 / 20:58:23 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

valueMarked2

    ^ 'valueY'

    "Created: / 20-03-2011 / 21:33:53 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

varArgs

^'[arg1, arg2, ...] '.

    "Created: / 20-03-2011 / 21:16:15 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

whatever

    ^ '..'

    "Created: / 20-03-2011 / 18:31:56 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

! !

!JavaByteCodeDisassembler methodsFor:'helpers - instruction groups'!

arrayValueLoader    

self 

        writeInstructionWithArgs: self nothing

        stackBefore: self arrayRef , self sep , self index

        after: self value.

    "Created: / 20-03-2011 / 19:58:50 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

arrayValueStorer

    self 

        writeInstructionWithArgs: self nothing

        stackBefore: self arrayRef , self sep , self index , self sep , self value

        after: self whatever.

    "Created: / 20-03-2011 / 20:01:05 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

constPusher: const

    self 

        writeInstructionWithArgs: self nothing

        stackBefore: self whatever

        after: const.

    "Created: / 20-03-2011 / 20:39:01 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

fieldLoader: index 

    self 

        writeInstructionWithArgs: self nothing

        stackBefore: self whatever

        after: (self prettyPrintField: index).

    "Created: / 20-03-2011 / 20:43:24 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 21-03-2011 / 15:23:17 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

fieldStorer: index 

    self 

        writeInstructionWithArgs: self nothing

        stackBefore: (self prettyPrintField: index)

        after: self whatever.

    "Created: / 20-03-2011 / 20:53:33 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 21-03-2011 / 15:23:22 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

indexedFieldLoader

    | index |

    wide 

        ifTrue: 

            [ index := self fetchIndex2.

            wide := false. ]

        ifFalse: [ index := self fetchIndex ].

    self 

        writeInstructionWithArgs: (self prettyPrintField: index)

        stackBefore: self whatever

        after: self whatever.

    "Created: / 20-03-2011 / 20:44:01 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 19-05-2011 / 10:38:23 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

indexedFieldStorer

    | index |

    wide 

        ifTrue: 

            [ index := self fetchIndex2.

            wide := false. ]

        ifFalse: [ index := self fetchIndex ].

    self 

        writeInstructionWithArgs: (self prettyPrintField: index)

        stackBefore: (self prettyPrintValue:'newVal')

        after: self whatever.

    "Created: / 20-03-2011 / 20:53:41 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 19-05-2011 / 13:04:05 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

returnIfFinished

    (pc >= byteCode size) ifTrue: [ self leaveProcessorWith: nil ].

    "Created: / 21-03-2011 / 14:54:52 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

twoValuesBasedJumper

    self 

        writeInstructionWithArgs: (self prettyPrintJump: self fetchBytes2)

        stackBefore: self value , self sep , self value

        after: self whatever.

    "Created: / 20-03-2011 / 21:10:07 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 20-03-2011 / 23:03:02 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

twoValuesManipulator

    self 

        writeInstructionWithArgs: self nothing

        stackBefore: self value , self sep , self value         after: self result.

    "Created: / 20-03-2011 / 20:31:01 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

valueBasedJumper

    self 

        writeInstructionWithArgs: (self prettyPrintJump: self fetchBytes2)

        stackBefore: self value

        after: self whatever.

    "Created: / 20-03-2011 / 21:09:54 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 21-03-2011 / 13:03:34 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

valueLoader

    self 

        writeInstructionWithArgs: self nothing

        stackBefore: self whatever

        after: self value.

    "Created: / 20-03-2011 / 20:25:16 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

valueManipulator

    self 

        writeInstructionWithArgs: self nothing

        stackBefore: self value

        after: self result.

    "Created: / 20-03-2011 / 20:27:42 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

valueReturner

    self 

        writeInstructionWithArgs: self nothing

        stackBefore: self value

        after: self empty.

    self returnIfFinished.

    "Created: / 20-03-2011 / 20:48:07 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 21-03-2011 / 14:55:06 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

! !

!JavaByteCodeDisassembler methodsFor:'helpers - printing'!

prettyPrintArgs: argsString 

    ^argsString printString

    "Created: / 20-03-2011 / 17:30:41 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 21-03-2011 / 20:42:14 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

prettyPrintByte: val 

    ^ self prettyPrintValue: val.

    "Created: / 20-03-2011 / 21:46:42 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

prettyPrintExceptionTable: table 

    table isNil ifTrue: [ ^ '' ].

    ^ 'Throws:' 

        , (table inject: '' into: [:acc :each | acc , ' ' , each name ]).

    "Created: / 22-03-2011 / 16:16:34 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 22-03-2011 / 20:59:39 / Jan Vrany <jan.vrany@fit.cvut.cz>"

    "Modified: / 04-06-2011 / 17:19:17 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

prettyPrintField: fieldIndex 

    ^ 'FIELD ' , fieldIndex printString , ': ' 

        , (context at: fieldIndex + 1) displayString.

    "Created: / 20-03-2011 / 17:31:06 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 21-03-2011 / 15:57:04 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

prettyPrintHeaderFor: javaMethod 

    outStream

        cr;

        print: (javaMethod signatureNameWithModifiers);

        cr;

        print: ('defined in: ' , javaMethod javaClass printString);

        cr;

        print: '# args: ' , javaMethod javaNumArgs printString , ', ';

        print: '# vars: ' , javaMethod numVars printString , ', ';

        print: 'stack depth: ', javaMethod stackSize printString , ' ';

        cr;

        print: (self prettyPrintExceptionTable: javaMethod exceptionTable);

        cr.

    "Created: / 22-03-2011 / 15:59:50 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 22-03-2011 / 21:02:51 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

prettyPrintIndex: index 

    ^ (constantPool at: index) displayString , ' [' , index printString 

        , '@CP]'.

    "Created: / 20-03-2011 / 17:20:34 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 22-03-2011 / 16:48:32 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

prettyPrintJump: jmpNum 

    ^ 'JMP to: ' , (instrPointer + jmpNum ) printString.

    "Modified: / 21-03-2011 / 14:25:52 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

prettyPrintLineNumber

    |lineNumber|

    lineNumber := method quickLineNumberForPC: instrPointer.

    lineNumber isNil ifTrue: [^''].

    ^ (lineNumber printString leftPaddedTo: 4

        with: Character space)

    "Modified: / 22-03-2011 / 17:04:16 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

prettyPrintLookupSwitchMadness

    | paddingSize  default  npairs  result |

    result := TextStream on: ''.

    paddingSize := self skipPadding.

    default := self fetchBytes4.

    npairs := self fetchBytes4.

    result

        print: 'PADDING: ';

        print: paddingSize printString;

        print: ' NPAIRS: ';

        print: npairs printString;

        cr.

    result

        print: ('      [ ');

        cr.

    npairs timesRepeat:

            [ result

                print: '      ';

                print: (self fetchBytes4 printString);

                print: ': ';