"

 COPYRIGHT (c) 1996-2011 by Claus Gittinger

 New code and modifications done at SWING Research Group [1]:

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

                            SWING Research Group, Czech Technical University in Prague

 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.

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

     of one of the above copright owners. For exact set of such code,

     see the differences between this version and version stx:libjava

     as of 1.9.2010

"

"{ 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

 New code and modifications done at SWING Research Group [1]:

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

                            SWING Research Group, Czech Technical University in Prague

 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.

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

     of one of the above copright owners. For exact set of such code,

     see the differences between this version and version stx:libjava

     as of 1.9.2010

"

! !

!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: '# arg slots: ' , javaMethod numArgs printString , ', ';

        print: '# var slots: ' , javaMethod numVars printString , ', ';

        print: '# stack slots: ', javaMethod stackSize printString , ' ';

        cr;

        print: (self prettyPrintExceptionTable: javaMethod exceptionTable);

        cr.

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

    "Modified: / 12-10-2012 / 11:58:40 / 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 lineNumberForPC0: instrPointer.

    lineNumber isNil ifTrue: [^''].

    ^ (lineNumber printString leftPaddedTo: 4

        with: Character space)

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

    "Modified: / 11-09-2013 / 03:42:19 / Jan Vrany <jan.vrany@fit.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: ': ';

                print: (self prettyPrintJump: self fetchBytes4);

                cr. ].

    result

        print: ('      default');

        print: ': ';

        print: (self prettyPrintJump: default);

        cr.

    result

        print: ('   ]');

        cr.

    ^ result stringContents.

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

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

    "Modified: / 08-08-2011 / 17:31:25 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

prettyPrintRef: ref

    ^ ref prettyPrintString.

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

    "Modified: / 14-08-2011 / 21:12:43 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

prettyPrintStackBefore: beforeString after: afterString 

    ^ 'STACK: [' , beforeString printString , ' -> ' , afterString printString , ']'.

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

!

prettyPrintTableSwitchMadness

    | paddingSize  default  low  high  result |

    result := TextStream on: ''.

    paddingSize := self skipPadding.

    default := self fetchBytes4.

    low := self fetchBytes4.

    high := self fetchBytes4.