search

Echtzeitsysteme / java-refactoring-ttc

Object-oriented Refactoring of Java Programs using Graph Transformation (TTC'2015)
0 stars 0 forks source link

Probably wrong assertion in pub_exs1_2 #27

Closed tsdh closed 9 years ago

tsdh commented 9 years ago

This CSC refactoring wants to create a new class example04.parent (why not stick to Java naming conventions?) for the existing classes ChildClass1 and ChildClass2. These don't have a superclass yet.

So my transformation creates that new class and makes the two existing classes subclasses of that. But I get the ARTE assertion error FAILURE: Extension of "foo.Foo" expected but "example04.parent" has been extended. (false-negative).

GerardPaligot commented 9 years ago

The same for me.

SvenPeldszus commented 9 years ago

Oh, at this point the refactoring of pub_exs1_2 is called again instead of the desired one.

I've also renamed the class in pub_exs1_1 to Parent

Also the test cases are now called pub_csc1_1 and pub_csc1_2

tsdh commented 9 years ago

Ok, the new two tests work for me now.