Commits

Paweł Wieczorek committed 296f425

rename

Comments (0)

Files changed (2)

src/Analysis/CWCPS/CWCPS_VariableUsageAnalysis.ml

  ************************************************************************************************)
 
 
-module UsageCounting = struct
+module UsageCountingAnalysis = struct
 
     module FunMonoid = PreparedMonoids.SumInt_FunMonoid(VariableOrderedType)
 
         }
 
     module Monoid = Tuple3Monoid
-            (UsageCounting.FunMonoid)
+            (UsageCountingAnalysis.FunMonoid)
             (EscapingVariablesAnalysis.FunMonoid)
             (BoundByAnalysis.FunMonoid)
 
     let __analyze = Monoid.combine
-        UsageCounting.__analyze
+        UsageCountingAnalysis.__analyze
         EscapingVariablesAnalysis.__analyze
         BoundByAnalysis.__analyze
 
         let module M = MonoidBased(Monoid) in
         let (mon_usage_count, mon_escapes, mon_bound_by) = M.Gather.gather __analyze tm in
 
-        { usage_count   = UsageCounting.FunMonoid.call      mon_usage_count
+        { usage_count   = UsageCountingAnalysis.FunMonoid.call      mon_usage_count
         ; escapes       = EscapingVariablesAnalysis.FunMonoid.call  mon_escapes
         ; known         = EscapingVariablesAnalysis.FunMonoid.call  mon_escapes |- not
         ; bound_by      = BoundByAnalysis.FunMonoid.call    mon_bound_by

src/Transformation/CWCPS/CWCPS_RemoveDeadCode.ml

 
 let bottomup =
     Transformation.bottomups_with_analysis
-        CWCPS_VariableUsageAnalysis.UsageCounting.analyze
+        CWCPS_VariableUsageAnalysis.UsageCountingAnalysis.analyze
         bottomup_transformations