Renaming a module in the Explorer

[sungshik]

Problem

When an rsc file is renamed in the Explorer, the name change isn't applied to the module name in the file, nor in any of the other modules that import it.

Example

Before renaming:

• src/main/rascal/Foo.rsc:

  module Foo
  import Bar;

• src/main/rascal/Bar.rsc:

  module Bar

After renaming Bar to Baz -- expected:

• src/main/rascal/Foo.rsc:

  module Foo
  import Baz;

• src/main/rascal/Baz.rsc:

  module Baz

After renaming Bar to Baz in the Explorer -- actual:

• src/main/rascal/Foo.rsc:

  module Foo
  import Bar; // <-- not changed

• src/main/rascal/Baz.rsc:

  module Bar // <-- not changed