SafetyCases: Java 9 compliance.
* Rename the class Module to SafetyModule. * Make the class SafetyModule abstract (as per intention of the meta-model). * Align the naming of the ModuleRef class (Library elements) --> SafetyModuleRef. * Add a migrator for ModuleRef elements. A migrator for Module elements is not needed since this class has been used like an abstract one. * Change the getFileProject utility class to handle cases in which the passed element is the FileProject. refs 3104
Showing with 9 additions and 10 deletions