"

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

JavaByteCodeProcessorTests subclass:#JavaByteCodeInterpreterTests

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'Languages-Java-Tests'

!

!JavaByteCodeInterpreterTests 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

"

! !

!JavaByteCodeInterpreterTests class methodsFor:'resources'!

resources

    ^ Array with: JavaInitializedResource with: JavaTestsResource.

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

    "Modified: / 16-03-2011 / 14:43:31 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaByteCodeInterpreterTests methodsFor:'tests'!

testAnd

    | result  expResult |

    expResult := 2r10010101.

    result := self 

                invoke: #'and(II)I'

                class: self loadSimpleMathJavaClass

                args: #( 255 149 ).

    self assertTrue: expResult = result.

    "static method

     0    iload_0

     1    iload_1

     2    iand

     3    ireturn"

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

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

!

testBitShiftLeft

    | result  expResult |

    expResult := 2r101010000.

    result := self 

                invoke: #'bitShiftLeft(II)I'

                class: self loadSimpleMathJavaClass

                args: #( 21 4 ).

    self assertTrue: expResult = result.

    "static method

     0    iload_0

     1    iload_1

     2    ishl

     3    ireturn"

    "Created: / 14-03-2011 / 16:56:49 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 16-03-2011 / 21:49:29 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testBitShiftRight

    | result  expResult |

    expResult := 2r11011.

    result := self 

                invoke: #'bitShiftRight(II)I'

                class: self loadSimpleMathJavaClass

                args: #( 439 4 ).

    self assertTrue: expResult = result.

    "static method

     0    iload_0

     1    iload_1

     2    ishr

     3    ireturn"

    "Created: / 14-03-2011 / 16:57:02 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

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

!

testDec2

    | result  expResult |

    expResult := 1.

    result := self 

                invoke: #'dec2(I)I'

                class: self loadSimpleMathJavaClass

                args: #( 3 ).

    self assertTrue: expResult = result.

    "static method

     0    iinc 0 -1

     3    iinc 0 -1

     6    iload_0

     7    ireturn"

    "Created: / 14-03-2011 / 16:58:12 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

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

!

testDiv

    | result  expResult |

    expResult := 1.

    result := self 

                invoke: #'div(II)I'

                class: self loadSimpleMathJavaClass

                args: #( 101 10 ).

    self assertTrue: expResult = result.

    "static method

     0    iload_0

     1    iload_1

     2    irem

     3    ireturn"

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

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

!

testDivision

    | result  expResult |

    expResult := 10.

    result := self 

                invoke: #'division(II)I'

                class: self loadSimpleMathJavaClass

                args: #( 101 10 ).

    self assertTrue: expResult = result.

    "static method

     0    iload_0

     1    iload_1

     2    idiv

     3    ireturn"

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

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

!

testInc2

    | result  expResult |

    expResult := 5.

    result := self 

                invoke: #'inc2(I)I'

                class: self loadSimpleMathJavaClass

                args: #( 3 ).

    self assertTrue: expResult = result.

    "static method

     0    iinc 0 1

     3    iinc 0 1

     6    iload_0

     7    ireturn"

    "Created: / 14-03-2011 / 16:58:00 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

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

!

testInheritedMethodCall

    | result |

    self shouldnt: 

            [ result := self 

                        invoke: #'foo()Ljava/lang/String;'

                        class: self loadSimpleInheritingJavaClass

                        args: nil. ]

        raise: Error.

    self assertFalse: (result isNil).

"0    ldc1 2 ['foo'] 

2    areturn "

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

    "Modified: / 16-03-2011 / 21:47:43 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testJustLoadConstants

    "/self shouldnt: 

    [ self 

        invoke: #'justUseConstants()V'

        class: self loadSimpleMathJavaClass

        args: #(). ] value.

    "static method

     0    lconst_0

     1    lstore_0

     2    lconst_1

     3    lstore_2

     4    fconst_0

     5    fstore 4

     7    fconst_1

     8    fstore 5

     10   fconst_2

     11   fstore 6

     13   dconst_0

     14   dstore 7

     16   dconst_1

     17   dstore 9

     19   return"

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

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

!

testMultipy

    | result  expResult |

    expResult := 200.

    result := self 

                invoke: #'multiply(II)I'

                class: self loadSimpleMathJavaClass

                args: (Array with: 20 with: 10).

    self assertTrue: expResult = result.

"static method

0    iload_0 

1    iload_1 

2    imul 

3    ireturn "

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

    "Modified: / 16-03-2011 / 21:50:24 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testNegateInt

    | result  expResult |

    expResult := -56.

    result := self 

                invoke: #'negateInt(I)I'

                class: self loadSimpleMathJavaClass

                args: #( 55 ).

    self assertTrue: expResult = result.

"0    iload_0 

1    iconst_m1 

2    ixor 

3    ireturn "

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

    "Modified: / 16-03-2011 / 21:50:38 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testOr

    | result  expResult |

    expResult := 119.

    result := self 

                invoke: #'or(II)I'

                class: self loadSimpleMathJavaClass

                args: #( 55 66 ).

    self assertTrue: expResult = result.

"0    iload_0 

1    iload_1 

2    ior 

3    ireturn "

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

    "Modified: / 16-03-2011 / 21:50:51 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testOverridenMethodCall

    | result |

    self shouldnt: 

            [ result := self 

                        invoke: #'bar()Ljava/lang/String;'

                        class: self loadSimpleInheritingJavaClass

                        args: nil. ]

        raise: Error.

    self assertFalse: (result isNil).

"0    ldc1 2 ['bar'] 

2    areturn "

    "Modified: / 16-03-2011 / 21:51:01 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testPower

    | result  expResult |

    expResult := 1024.

    result := self 

                invoke: #'power(II)I'

                class: self loadSimpleMathJavaClass

                args: (Array with: 2 with: 10).

    self assertTrue: expResult = result.

"0    iload_0 

1    iload_1 

2    iconst_1 

3    invokestatic 2 [JavaMethod(stx.libjava.tests.simpleClasses.SimpleMath::int powerAcc (int int int))] 

6    ireturn "

    "Created: / 06-03-2011 / 14:18:03 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 16-03-2011 / 21:51:40 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testReturnArrayOfLongs

    | result |

    self shouldnt: 

            [ result := self 

                        invoke: #'giveMeArrayOfLongs()[J'

                        class: self loadSimpleMathJavaClass

                        args: #(). ]

        raise: Error.

"0    bipush 100

2    newarray 11 [T_LONG]

4    areturn "

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

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

!

testSetterAndGettersDouble

    | result  expResult  crate |

    crate := self loadCrateJavaClass new.

    expResult := 1234.45.

    self 

        invoke: #'setDoubleVar(D)V'

        class: crate class

        receiver: crate

        args: (Array with: 1234.45).

    result := self 

                invoke: #'getDoubleVar()D'

                class: crate class

                receiver: crate

                args: nil.

    self assert: (expResult = result).

    "setDoubleVar:

     0    aload_0

     1    dload_1

     2    putfield 3

     5    return

     getDoubleVar:

     0    aload_0

     1    getfield 3

     4    dreturn"

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

    "Modified: / 16-03-2011 / 21:54:05 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testSetterAndGettersDoubleMaxValue

    | result  expResult  crate |

    crate := self loadCrateJavaClass new.

    expResult := 1.79769313486232E+308.

    self 

        invoke: #'setDoubleVar(D)V'

        class: crate class

        receiver: crate

        args: (Array with: 1.79769313486232E+308).

    result := self 

                invoke: #'getDoubleVar()D'

                class: crate class

                receiver: crate

                args: nil.

    self assert: (expResult = result).

    "setDoubleVar:

     0    aload_0

     1    dload_1

     2    putfield 3

     5    return

     getDoubleVar:

     0    aload_0

     1    getfield 3

     4    dreturn"

    "Created: / 14-03-2011 / 14:06:13 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

    "Modified: / 16-03-2011 / 21:53:59 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testSetterAndGettersDoubleMinValue

    | result  expResult  crate |

    crate := self loadCrateJavaClass new.

    expResult := 4.94065645841247E-324.

    self 

        invoke: #'setDoubleVar(D)V'

        class: crate class

        receiver: crate

        args: (Array with: 4.94065645841247E-324).

    result := self 

                invoke: #'getDoubleVar()D'

                class: crate class

                receiver: crate

                args: nil.

    self assert: (expResult = result).

    "setDoubleVar:

     0    aload_0

     1    dload_1

     2    putfield 3

     5    return

     getDoubleVar:

     0    aload_0

     1    getfield 3

     4    dreturn"

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

    "Modified: / 16-03-2011 / 21:54:24 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testSetterAndGettersDoubleNan

    | result  crate |

    crate := self loadCrateJavaClass new.

    self 

        invoke: #'setDoubleVar(D)V'

        class: crate class

        receiver: crate

        args: (Array with: Float nan).

    result := self 

                invoke: #'getDoubleVar()D'

                class: crate class

                receiver: crate

                args: nil.

    self assert: (result isNaN).

    "setDoubleVar:

     0    aload_0

     1    dload_1

     2    putfield 3

     5    return

     getDoubleVar:

     0    aload_0

     1    getfield 3

     4    dreturn"

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

    "Modified: / 16-03-2011 / 21:54:27 / Marcel Hlopko <hlopkmar@fel.cvut.cz>"

!

testSetterAndGettersDoubleWithInfinityArg

    | result  expResult  crate |

    crate := self loadCrateJavaClass new.

    expResult := Float infinity.

    self 

        invoke: #'setDoubleVar(D)V'

        class: crate class

        receiver: crate

        args: (Array with: Float infinity).

    result := self 

                invoke: #'getDoubleVar()D'

                class: crate class

                receiver: crate

                args: nil.

    self assert: (expResult = result).

    "setDoubleVar:

     0    aload_0

     1    dload_1

     2    putfield 3

     5    return

     getDoubleVar:

     0    aload_0

     1    getfield 3

     4    dreturn"

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

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

!

testSetterAndGettersDoubleWithNegativeInfinityArg

    | result  expResult  crate |