metamodel: rename 'universal' to 'enum'
[nit.git] / src / analysis / reachable_as_init.nit
index fa81128..2f65f7a 100644 (file)
@@ -14,7 +14,7 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-# Package containing all bases for the reachable from init method analysis
+# Module containing all bases for the reachable from init method analysis
 package reachable_as_init
 
 import icode
@@ -26,7 +26,7 @@ redef class Program
 
        # This method will create a file and output all inits reachable as init in it
        fun dump_reachable_as_init_methods(directory_name: String) do
-               var f = new OFStream.open("{directory_name}/{module.name}.reachable_methods_as_init.log")
+               var f = new OFStream.open("{directory_name}/{main_module.name}.reachable_methods_as_init.log")
                with_each_live_local_classes !action(c) do
                        for g in c.global_properties do
                                var p = c[g]
@@ -51,7 +51,7 @@ end
 
 # Default behavior is to say that all initializers are called as init
 class DefaultReachableAsInitAnalysis
-special ReachableAsInitAnalysis
+       super ReachableAsInitAnalysis
        redef fun is_method_reachable_as_init(method: MMMethod, c: MMLocalClass): Bool do
                if method.global.is_init and method.global.is_init_for(c) then return true
                return false