"

 Copyright (c) 2010-2011 Jan Vrany, Jan Kurs & Marcel Hlopko,

                         SWING Research Group, Czech Technical University 

                         in Prague

 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.

"

"{ Package: 'stx:libjava/experiments' }"

JavaClassReloadingTests subclass:#JavaSingleClassReloadingTests

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'Languages-Java-Tests-ClassReloading'

!

!JavaSingleClassReloadingTests class methodsFor:'documentation'!

copyright

"

 Copyright (c) 2010-2011 Jan Vrany, Jan Kurs & Marcel Hlopko,

                         SWING Research Group, Czech Technical University 

                         in Prague

 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.

"

!

history

    "Created: #test_overloads_01b / 11-04-2013 / 13:35:15 / Marcel Hlopko <marcel.hlopko@fit.cvut.cz>"

    "Modified: #test_03a / 21-08-2013 / 23:09:27 / Marcel Hlopko <marcel.hlopko@fit.cvut.cz>"

    "Modified: #test_03b / 21-08-2013 / 23:11:15 / Marcel Hlopko <marcel.hlopko@fit.cvut.cz>"

    "Modified (comment): #test_hierarchy_02b / 21-08-2013 / 23:39:18 / Marcel Hlopko <marcel.hlopko@fit.cvut.cz>"

    "Modified (comment): #test_hierarchy_02a / 21-08-2013 / 23:39:24 / Marcel Hlopko <marcel.hlopko@fit.cvut.cz>"

    "Modified: #test_hierarchy_03a / 21-08-2013 / 23:47:03 / Marcel Hlopko <marcel.hlopko@fit.cvut.cz>"

    "Modified: #test_hierarchy_04a / 21-08-2013 / 23:56:05 / Marcel Hlopko <marcel.hlopko@fit.cvut.cz>"

! !

!JavaSingleClassReloadingTests methodsFor:'interfaces'!

testAddingInterface

    OperatingSystem getLoginName = 'm' ifTrue:[

        self assert: false message: 'implement me!!'

    ]

    "Created: / 16-12-2012 / 17:40:40 / Marcel Hlopko <marcel.hlopko@fit.cvut.cz>"

    "Modified: / 03-04-2013 / 22:07:26 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!JavaSingleClassReloadingTests methodsFor:'tests - fields'!

test_fields_00

    "

    1) compile simple class with one field

    2) change type of the field from int to Object

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_01 { 

    public String foo = 1;

    public int bar() {

        return 1;

    }

}'.

    jinst1 := jclass1 new.

    jclass2 := self compileAndRegister:'

public class test_01 { 

    public Object foo = new Object();

    public int bar() {

        return 2;

    }

}'.

    jinst2 := jclass2 new.

    callerClass := self compileAndRegister:'

public class CallerClass {

    public static Object getFoo(test_01 inst) {

        return inst.foo;

    }

}'.

    self assert: jclass1 ~~ jclass2.

    self assert: jclass1 fields size == 1.

    self assert: jclass1 fields anElement descriptor = 'Ljava/lang/String;'.

    self assert: jinst1 bar == 1.

    self assert: jclass2 fields size == 1.

    self assert: jclass2 fields anElement descriptor = 'Ljava/lang/Object;'.

    self assert: jinst2 bar == 2.

    self should:   [ callerClass getFoo: jinst1 ] raise: Error.

    self shouldnt: [ callerClass getFoo: jinst2 ] raise: Error.

    "Created: / 09-04-2013 / 15:00:51 / Jan Vrany <jan.vrany@fit.cvut.cz>"

    "Modified: / 09-04-2013 / 16:17:26 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_01a

    "

    1) compile simple class with one field

    2) change type of the field from String to Object

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_01 { 

    public String foo = "xxx";

    public int bar() {

        return 1;

    }

}'.

    jinst1 := jclass1 new.

    jclass2 := self compileAndRegister:'

public class test_01 { 

    public Object foo = new Object();

    public int bar() {

        return 2;

    }

}'.

    jinst2 := jclass2 new.

    callerClass := self compileAndRegister:'

public class CallerClass {

    public static Object getFoo(test_01 inst) {

        return inst.foo;

    }

}'.

    self assert: jclass1 ~~ jclass2.

    self assert: jclass1 fields size == 1.

    self assert: jclass1 fields anElement descriptor = 'Ljava/lang/String;'.

    self assert: jinst1 bar == 1.

    self assert: jclass2 fields size == 1.

    self assert: jclass2 fields anElement descriptor = 'Ljava/lang/Object;'.

    self assert: jinst2 bar == 2.

    self should:   [ callerClass getFoo: jinst1 ] raise: Error.

    self shouldnt: [ callerClass getFoo: jinst2 ] raise: Error.

    "Created: / 09-04-2013 / 15:24:13 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_01b

    "

    1) compile simple class with one field

    2) change type of the field from String to Object

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_01 { 

    public String foo = "XXX";

    public int bar() {

        return 1;

    }

}'.

    jinst1 := jclass1 new.

    callerClass := self compileAndRegister:'

public class CallerClass {

    public static Object getFoo(test_01 inst) {

        return inst.foo;

    }

}'.

    jclass2 := self compileAndRegister:'

public class test_01 { 

    public Object foo = new Object();

    public int bar() {

        return 2;

    }

}'.

    jinst2 := jclass2 new.

    self assert: jclass1 ~~ jclass2.

    self assert: jclass1 fields size == 1.

    self assert: jclass1 fields anElement descriptor = 'Ljava/lang/String;'.

    self assert: jinst1 bar == 1.

    self assert: jclass2 fields size == 1.

    self assert: jclass2 fields anElement descriptor = 'Ljava/lang/Object;'.

    self assert: jinst2 bar == 2.

    self shouldnt: [ callerClass getFoo: jinst1 ] raise: Error.

    self should:   [ callerClass getFoo: jinst2 ] raise: Error.

    "Created: / 09-04-2013 / 15:25:10 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_02a

    "

    1) compile simple class with one public field

    2) add second field after the first one

    3) create caller class that accesses the public field

    4) check that caller class accesses the right field

       on both old and new instance

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_fields_02a { 

    public String foo = "foo";

}'.

    jinst1 := jclass1 new.

    jclass2 := self compileAndRegister:'

public class test_fields_02a { 

    public String foo = "foo+bar";

    public String bar = "foo+bar";

}'.

    jinst2 := jclass2 new.

    callerClass := self compileAndRegister:'

public class test_fields_02a_caller {

    public static String getFoo(test_fields_02a x) {

        return x.foo;

    }

}'.

    self assert: jclass2 fields size == 2.

    self assert: (callerClass getFoo: jinst1) = 'foo'.   

    self assert: (callerClass getFoo: jinst2) = 'foo+bar'.

    "Created: / 09-04-2013 / 15:32:20 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_02b

    "

    1) compile simple class with one public field

    2) add second field after the first one

    3) create caller class that accesses the public field

    4) check that caller class accesses the right field

       on both old and new instance

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_fields_02b { 

    public String foo = "foo";

}'.

    jinst1 := jclass1 new.

    callerClass := self compileAndRegister:'

public class test_fields_02b_caller {

    public static String getFoo(test_fields_02b x) {

        return x.foo;

    }

}'.

    jclass2 := self compileAndRegister:'

public class test_fields_02b { 

    public String foo = "foo+bar";

    public String bar = "foo+bar";

}'.

    jinst2 := jclass2 new.

    self assert: jclass2 fields size == 2.

    self assert: (callerClass getFoo: jinst1) = 'foo'.   

    self assert: (callerClass getFoo: jinst2) = 'foo+bar'.

    "Created: / 09-04-2013 / 15:30:49 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_03a

    "

    1) compile simple class with one public field

    2) add second field before the first one

    3) create caller class that accesses the public field

    4) check that caller class accesses the right field

       on both old and new instance

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_fields_03a { 

    public String foo = "foo";

}'.

    jinst1 := jclass1 new.

    jclass2 := self compileAndRegister:'

public class test_fields_03a { 

    public String bar = "foo+bar";

    public String foo = "foo+bar";

}'.

    jinst2 := jclass2 new.

    callerClass := self compileAndRegister:'

public class test_fields_03a_caller {

    public static String getFoo(test_fields_03a x) {

        return x.foo;

    }

}'.

    self assert: jclass2 fields size == 2.

    self assert: (callerClass getFoo: jinst1) = 'foo'.   

    self assert: (callerClass getFoo: jinst2) = 'foo+bar'.

    "Created: / 09-04-2013 / 15:33:39 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_03b

    "

    1) compile simple class with one public field

    2) add second field before the first one

    3) create caller class that accesses the public field

    4) check that caller class accesses the right field

       on both old and new instance

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_fields_03b { 

    public String foo = "foo";

}'.

    jinst1 := jclass1 new.

    callerClass := self compileAndRegister:'

public class test_fields_03b_caller {

    public static String getFoo(test_fields_03b x) {

        return x.foo;

    }

}'.

    jclass2 := self compileAndRegister:'

public class test_fields_03b { 

    public String bar = "foo+bar";

    public String foo = "foo+bar";

}'.

    jinst2 := jclass2 new.

    self assert: jclass2 fields size == 2.

    self assert: (callerClass getFoo: jinst1) = 'foo'.   

    self assert: (callerClass getFoo: jinst2) = 'foo+bar'.

    "Created: / 09-04-2013 / 15:34:11 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_03c

    "

    1) compile simple class with one public field

    2) add second field before the first one

    3) create caller class that accesses the new field

    4) check that caller class accesses the new field

       on new instance

    5) check that caller class accessing new field on

       old instances throws exception

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_fields_03c { 

    public String foo = "foo";

}'.

    jinst1 := jclass1 new.

    jclass2 := self compileAndRegister:'

public class test_fields_03c { 

    public String bar = "foo+bar";

    public String foo = "foo+bar";

}'.

    jinst2 := jclass2 new.

    callerClass := self compileAndRegister:'

public class test_fields_03c_caller {

    public static String getBar(test_fields_03c x) {

        return x.bar;

    }

}'.

    self assert: jclass2 fields size == 2.

    self assert: (callerClass getBar: jinst2) = 'foo+bar'.

    self should: [ callerClass getBar: jinst1 ] raise: Error.

    "Created: / 09-04-2013 / 15:53:51 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_04a

    "

    1) compile simple class with two public fields

    2) remove first field

    3) create caller class that accesses the second field

    4) check that caller class accesses the right field

       on both old and new instances

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_fields_04a { 

    public String foo = "foo";

    public String bar = "bar+foo";

}'.

    jinst1 := jclass1 new.

    jclass2 := self compileAndRegister:'

public class test_fields_04a { 

    public String bar = "bar";

}'.

    jinst2 := jclass2 new.

    callerClass := self compileAndRegister:'

public class test_fields_04a_caller {

    public static String getBar(test_fields_04a x) {

        return x.bar;

    }

}'.

    self assert: jclass2 fields size == 1.

    self assert: (callerClass getBar: jinst1) = 'bar+foo'.   

    self assert: (callerClass getBar: jinst2) = 'bar'.

    "Created: / 09-04-2013 / 15:46:54 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_04b

    "

    1) compile simple class with two public fields

    2) remove first field

    3) create caller class that accesses the second field

    4) check that caller class accesses the right field

       on both old and new instances

    "

    | jclass1 jinst1 jclass2 jinst2 callerClass |

    jclass1 := self compileAndRegister:'

public class test_fields_04b { 

    public String foo = "foo";

    public String bar = "bar+foo";

}'.

    jinst1 := jclass1 new.

    callerClass := self compileAndRegister:'

public class test_fields_04b_caller {

    public static String getBar(test_fields_04b x) {

        return x.bar;

    }

}'.

    jclass2 := self compileAndRegister:'

public class test_fields_04b { 

    public String bar = "bar";

}'.

    jinst2 := jclass2 new.

    self assert: jclass2 fields size == 1.

    self assert: (callerClass getBar: jinst1) = 'bar+foo'.   

    self assert: (callerClass getBar: jinst2) = 'bar'.

    "Created: / 09-04-2013 / 15:45:38 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

test_fields_04c

    "