"

 COPYRIGHT (c) 2011 by >>yourCompany<<

              All Rights Reserved

 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.

"

"{ 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) 2011 by >>yourCompany<<

              All Rights Reserved

 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.

"

! !

!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 prettyPrintIndex: index)

        stackBefore: self whatever

        after: (self prettyPrintField: index).

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

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

!

indexedFieldStorer

   | index |

    wide 

        ifTrue: 

            [ index := self fetchIndex2.

            wide := false. ]

           ifFalse: [ index := self fetchIndex ].

               self writeInstructionWithArgs: (self prettyPrintIndex: index)

                stackBefore: (self prettyPrintField: index)

                after: self whatever.

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

    "Modified: / 21-03-2011 / 15:26:21 / 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 printString ]).

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

!

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: ('[ ' reindent: 3);

        cr.

    npairs timesRepeat:

            [ result

                print: (self fetchBytes4 printString reindent: 3);

                print: ': ';

                print: (self prettyPrintJump: self fetchBytes4);

                cr. ].

    result

        print: ('default' reindent: 3);

        print: ': ';

        print: (self prettyPrintJump: default);

        cr.

    result

        print: (']' reindent: 3);

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

!

prettyPrintRef: ref

^ ref printString.

    "Created: / 20-03-2011 / 17:20:25 / Marcel Hlopko <hlopkmar@fel.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.

    result

        print: 'PADDING: ';

        print: paddingSize printString;

        print: ' LOW: ';

        print: low printString;

        print: ' HIGH: ';

        print: high printString;

        cr.

    result

        print: ('[ ' reindent: 3);

        cr.

    low to: high

        do: 

            [:index | 

            result

                print: (index printString reindent: 3);

                print: ': ';

                print: (self prettyPrintJump: self fetchBytes4);

                cr. ].

                result

                print: ('default' reindent: 3);

                print: ': ';

                print: (self prettyPrintJump: default);

                                cr. 

    result

        print: (']' reindent: 3);