src/analysis/dead_method_removal.nit

   1 # This file is part of NIT ( http://www.nitlanguage.org ).
   2 #
   3 # Copyright 2009 Jean-Sebastien Gelinas <calestar@gmail.com>
   4 #
   5 # Licensed under the Apache License, Version 2.0 (the "License");
   6 # you may not use this file except in compliance with the License.
   7 # You may obtain a copy of the License at
   8 #
   9 #        http://www.apache.org/licenses/LICENSE-2.0
  10 #
  11 # Unless required by applicable law or agreed to in writing, software
  12 # distributed under the License is distributed on an "AS IS" BASIS,
  13 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  14 # See the License for the specific language governing permissions and
  15 # limitations under the License.
  16
  17 # This package introduces an algorithm to remove the body of dead methods
  18 package dead_method_removal
  19
  20 import reachable_method_analysis
  21
  22 redef class Program
  23         # Calling this method will change all iroutines that are dead
  24         # and put an abort in them
  25         fun optimize_dead_methods do
  26                 with_each_iroutines !action(i,m) do
  27                         if not rma.is_iroutine_reachable(i) then
  28                                 i.set_not_reachable(m)
  29                         end
  30                 end
  31         end
  32 end
  33
  34 redef class IRoutine
  35         # Simple helper function ...
  36         private fun set_not_reachable(m: MMModule) do
  37                 var icb = new ICodeBuilder(m, self)
  38                 icb.seq.icodes.clear
  39                 icb.add_abort("This method should not be called !")
  40         end
  41 end