adlint 1.18.6 → 2.0.0

data/lib/adlint/{cpp/message_shima.rb → exam/c_builtin/cpp_check_shima.rb}

@@ -1,4 +1,4 @@
-# Message detection classes for C preprocessor language.
+# Code checkings (cpp-phase) of adlint-exam-c_builtin package.
 #
 # Author::    Rie Shima <mailto:rkakuuchi@users.sourceforge.net>
 # Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -29,13 +29,18 @@
 #
 #++
 
+require "adlint/exam"
 require "adlint/report"
-require "adlint/message"
+require "adlint/cpp/phase"
+require "adlint/cpp/macro"
 
 module AdLint #:nodoc:
-module Cpp #:nodoc:
+module Exam #:nodoc:
+module CBuiltin #:nodoc:
+
+  class W0687 < PassiveCodeCheck
+    def_registrant_phase Cpp::Prepare2Phase
 
-  class W0687 < PassiveMessageDetection
     # NOTE: W0687 may be duplicative when the same header which causes this
     #       warning is included twice or more.
     ensure_uniqueness_of :W0687
@@ -54,7 +59,9 @@ module Cpp #:nodoc:
     end
   end
 
-  class W0688 < PassiveMessageDetection
+  class W0688 < PassiveCodeCheck
+    def_registrant_phase Cpp::Prepare2Phase
+
     # NOTE: W0688 may be duplicative when the same header which causes this
     #       warning is included twice or more.
     ensure_uniqueness_of :W0688
@@ -82,6 +89,8 @@ module Cpp #:nodoc:
   end
 
   class W0689 < W0688
+    def_registrant_phase Cpp::Prepare2Phase
+
     # NOTE: W0689 may be duplicative when the same header which causes this
     #       warning is included twice or more.
     ensure_uniqueness_of :W0689
@@ -101,6 +110,8 @@ module Cpp #:nodoc:
   end
 
   class W0690 < W0688
+    def_registrant_phase Cpp::Prepare2Phase
+
     # NOTE: W0690 may be duplicative when the same header which causes this
     #       warning is included twice or more.
     ensure_uniqueness_of :W0690
@@ -116,6 +127,8 @@ module Cpp #:nodoc:
   end
 
   class W0695 < W0687
+    def_registrant_phase Cpp::Prepare2Phase
+
     # NOTE: W0695 may be duplicative when the same header which causes this
     #       warning is included twice or more.
     ensure_uniqueness_of :W0695
@@ -128,7 +141,9 @@ module Cpp #:nodoc:
     end
   end
 
-  class W0806 < PassiveMessageDetection
+  class W0806 < PassiveCodeCheck
+    def_registrant_phase Cpp::Prepare2Phase
+
     # NOTE: W0806 may be duplicative when the same header which causes this
     #       warning is included twice or more.
     ensure_uniqueness_of :W0806
@@ -148,20 +163,24 @@ module Cpp #:nodoc:
   end
 
   class W0807 < W0687
+    def_registrant_phase Cpp::Prepare2Phase
+
     # NOTE: W0807 may be duplicative when the same header which causes this
     #       warning is included twice or more.
     ensure_uniqueness_of :W0807
 
     private
     def check(undef_line, macro)
-      if macro.kind_of?(SpecialMacro)
+      if macro.kind_of?(Cpp::SpecialMacro)
         identifier = undef_line.identifier
         W(:W0807, identifier.location, identifier.value)
       end
     end
   end
 
-  class W0808 < PassiveMessageDetection
+  class W0808 < PassiveCodeCheck
+    def_registrant_phase Cpp::Prepare2Phase
+
     # NOTE: W0808 may be duplicative when the same header which causes this
     #       warning is included twice or more.
     ensure_uniqueness_of :W0808
@@ -185,3 +204,4 @@ module Cpp #:nodoc:
 
 end
 end
+end

data/lib/adlint/{cpp/code.rb → exam/c_builtin/cpp_code.rb}

@@ -1,4 +1,4 @@
-# Code structure extractor for C preprocessor language.
+# Code structure extractions (cpp-phase) of adlint-exam-c_builtin package.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
 # Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -29,13 +29,17 @@
 #
 #++
 
-require "adlint/code"
+require "adlint/exam"
 require "adlint/report"
+require "adlint/cpp/phase"
 
 module AdLint #:nodoc:
-module Cpp #:nodoc:
+module Exam #:nodoc:
+module CBuiltin #:nodoc:
 
   class ObjectLikeMacroExtraction < CodeExtraction
+    def_registrant_phase Cpp::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:cpp_interpreter]
@@ -52,6 +56,8 @@ module Cpp #:nodoc:
   end
 
   class FuncLikeMacroExtraction < CodeExtraction
+    def_registrant_phase Cpp::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:cpp_interpreter]
@@ -69,6 +75,8 @@ module Cpp #:nodoc:
   end
 
   class IncludeDirectiveExtraction < CodeExtraction
+    def_registrant_phase Cpp::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:cpp_interpreter]
@@ -90,6 +98,8 @@ module Cpp #:nodoc:
   end
 
   class DirectiveExtraction < CodeExtraction
+    def_registrant_phase Cpp::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:cpp_visitor]
@@ -187,3 +197,4 @@ module Cpp #:nodoc:
 
 end
 end
+end

data/lib/adlint/{ld/message.rb → exam/c_builtin/ld_check.rb}

@@ -1,4 +1,4 @@
-# Message detection classes for cross module analysis.
+# Code checkings (ld-phase) of adlint-exam-c_builtin package.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
 # Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -29,12 +29,16 @@
 #
 #++
 
-require "adlint/message"
+require "adlint/exam"
+require "adlint/ld/phase"
 
 module AdLint #:nodoc:
-module Ld #:nodoc:
+module Exam #:nodoc:
+module CBuiltin #:nodoc:
+
+  class W0555 < PassiveCodeCheck
+    def_registrant_phase Ld::PreparePhase
 
-  class W0555 < PassiveMessageDetection
     def initialize(context)
       super
       context[:ld_function_traversal].on_definition += method(:check)
@@ -49,7 +53,9 @@ module Ld #:nodoc:
     end
   end
 
-  class W0586 < PassiveMessageDetection
+  class W0586 < PassiveCodeCheck
+    def_registrant_phase Ld::PreparePhase
+
     def initialize(context)
       super
       context[:ld_typedef_traversal].listeners += method(:check)
@@ -64,7 +70,9 @@ module Ld #:nodoc:
     end
   end
 
-  class W0589 < PassiveMessageDetection
+  class W0589 < PassiveCodeCheck
+    def_registrant_phase Ld::PreparePhase
+
     def initialize(context)
       super
       context[:ld_function_traversal].on_definition += method(:check_function)
@@ -95,7 +103,9 @@ module Ld #:nodoc:
     end
   end
 
-  class W0591 < PassiveMessageDetection
+  class W0591 < PassiveCodeCheck
+    def_registrant_phase Ld::PreparePhase
+
     def initialize(context)
       super
       context[:ld_function_traversal].on_definition += method(:check)
@@ -114,7 +124,9 @@ module Ld #:nodoc:
     end
   end
 
-  class W0593 < PassiveMessageDetection
+  class W0593 < PassiveCodeCheck
+    def_registrant_phase Ld::PreparePhase
+
     def initialize(context)
       super
       context[:ld_variable_traversal].on_definition += method(:check)
@@ -133,7 +145,9 @@ module Ld #:nodoc:
     end
   end
 
-  class W0628 < PassiveMessageDetection
+  class W0628 < PassiveCodeCheck
+    def_registrant_phase Ld::PreparePhase
+
     def initialize(context)
       super
       context[:ld_function_traversal].on_definition += method(:check)
@@ -150,7 +164,9 @@ module Ld #:nodoc:
     end
   end
 
-  class W0770 < PassiveMessageDetection
+  class W0770 < PassiveCodeCheck
+    def_registrant_phase Ld::PreparePhase
+
     # NOTE: W0770 may be duplicative when function declarations of the same
     #       name appears twice or more in the project.
     ensure_uniqueness_of :W0770
@@ -185,7 +201,9 @@ module Ld #:nodoc:
     end
   end
 
-  class W0791 < PassiveMessageDetection
+  class W0791 < PassiveCodeCheck
+    def_registrant_phase Ld::PreparePhase
+
     # NOTE: W0791 may be duplicative when definitions of the same name appears
     #       twice or more in the project.
     ensure_uniqueness_of :W0791
@@ -216,7 +234,9 @@ module Ld #:nodoc:
     end
   end
 
-  class W1037 < PassiveMessageDetection
+  class W1037 < PassiveCodeCheck
+    def_registrant_phase Ld::PreparePhase
+
     # NOTE: W1037 may be duplicative when declarations or definitions of the
     #       same name appears twice or more in the project.
     ensure_uniqueness_of :W1037
@@ -257,3 +277,4 @@ module Ld #:nodoc:
 
 end
 end
+end

data/lib/adlint/{ld/metric.rb → exam/c_builtin/ld_metric.rb}

@@ -1,4 +1,4 @@
-# Quality metric measurement classes for cross module analysis.
+# Metric measurements (ld-phase) of adlint-exam-c_builtin package.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
 # Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -29,13 +29,17 @@
 #
 #++
 
-require "adlint/metric"
+require "adlint/exam"
 require "adlint/report"
+require "adlint/ld/phase"
 
 module AdLint #:nodoc:
-module Ld #:nodoc:
+module Exam #:nodoc:
+module CBuiltin #:nodoc:
 
   class FN_CALL < MetricMeasurement
+    def_registrant_phase Ld::PreparePhase
+
     def initialize(context)
       super
       @context = context
@@ -55,3 +59,4 @@ module Ld #:nodoc:
 
 end
 end
+end

data/lib/adlint/lang.rb

@@ -79,8 +79,8 @@ module AdLint #:nodoc:
             AdLint::C::InterpPhase,
             AdLint::Cpp::ReviewPhase,
             AdLint::C::ReviewPhase,
-            AdLint::Cpp::CommandPhase,
-            AdLint::C::CommandPhase
+            AdLint::Cpp::ExaminationPhase,
+            AdLint::C::ExaminationPhase
           ].freeze
         end
 

data/lib/adlint/ld.rb

@@ -29,8 +29,6 @@
 #
 #++
 
-require "adlint/ld/message"
-require "adlint/ld/metric"
 require "adlint/ld/object"
 require "adlint/ld/util"
 require "adlint/ld/typedef"

data/lib/adlint/ld/phase.rb

@@ -30,162 +30,162 @@
 #++
 
 require "adlint/phase"
-require "adlint/monitor"
 require "adlint/ld/object"
 require "adlint/ld/typedef"
-require "adlint/ld/message"
-require "adlint/ld/metric"
 require "adlint/ld/util"
 
 module AdLint #:nodoc:
 module Ld #:nodoc:
 
-  class MapTypedefPhase < Phase
+  class LdPhase < Phase
+    def initialize(context, phase_name)
+      super(context, "ld", phase_name)
+    end
+  end
+
+  class MapTypedefPhase < LdPhase
+    def initialize(context)
+      super(context, "mtd")
+    end
+
     private
-    def do_execute(context)
-      monitored_region("mtd") do |monitor|
-        mapper = TypedefMapper.new
-        context[:metric_fpaths].each do |fpath|
-          mapper.execute(fpath)
-          monitor.progress += 1.0 / context[:metric_fpaths].size
-        end
-        context[:ld_typedef_mapping] = mapper.result
+    def do_execute(context, monitor)
+      mapper = TypedefMapper.new
+      context[:metric_fpaths].each do |fpath|
+        mapper.execute(fpath)
+        monitor.progress += 1.0 / context[:metric_fpaths].size
       end
+      context[:ld_typedef_mapping] = mapper.result
     end
   end
 
-  class MapFunctionPhase < Phase
+  class MapFunctionPhase < LdPhase
+    def initialize(context)
+      super(context, "mfn")
+    end
+
     private
-    def do_execute(context)
-      monitored_region("mfn") do |monitor|
-        mapper = FunctionMapper.new
-        context[:metric_fpaths].each do |fpath|
-          mapper.execute(fpath)
-          monitor.progress += 1.0 / context[:metric_fpaths].size
-        end
-        context[:ld_function_mapping] = mapper.result
+    def do_execute(context, monitor)
+      mapper = FunctionMapper.new
+      context[:metric_fpaths].each do |fpath|
+        mapper.execute(fpath)
+        monitor.progress += 1.0 / context[:metric_fpaths].size
       end
+      context[:ld_function_mapping] = mapper.result
     end
   end
 
-  class MapVariablePhase < Phase
+  class MapVariablePhase < LdPhase
+    def initialize(context)
+      super(context, "mvr")
+    end
+
     private
-    def do_execute(context)
-      monitored_region("mvr") do |monitor|
-        mapper = VariableMapper.new
-        context[:metric_fpaths].each do |fpath|
-          mapper.execute(fpath)
-          monitor.progress += 1.0 / context[:metric_fpaths].size
-        end
-        context[:ld_variable_mapping] = mapper.result
+    def do_execute(context, monitor)
+      mapper = VariableMapper.new
+      context[:metric_fpaths].each do |fpath|
+        mapper.execute(fpath)
+        monitor.progress += 1.0 / context[:metric_fpaths].size
       end
+      context[:ld_variable_mapping] = mapper.result
     end
   end
 
-  class LinkFunctionPhase < Phase
+  class LinkFunctionPhase < LdPhase
+    def initialize(context)
+      super(context, "lfn")
+    end
+
     private
-    def do_execute(context)
-      monitored_region("lfn") do |monitor|
-        builder = FunctionCallGraphBuilder.new(context[:ld_function_mapping])
-        context[:metric_fpaths].each do |fpath|
-          builder.execute(fpath)
-          monitor.progress += 1.0 / context[:metric_fpaths].size
-        end
-        context[:ld_function_call_graph] = builder.result
+    def do_execute(context, monitor)
+      builder = FunctionCallGraphBuilder.new(context[:ld_function_mapping])
+      context[:metric_fpaths].each do |fpath|
+        builder.execute(fpath)
+        monitor.progress += 1.0 / context[:metric_fpaths].size
       end
+      context[:ld_function_call_graph] = builder.result
     ensure
       DebugUtil.dump_function_call_graph(context)
     end
   end
 
-  class LinkVariablePhase < Phase
+  class LinkVariablePhase < LdPhase
+    def initialize(context)
+      super(context, "lvr")
+    end
+
     private
-    def do_execute(context)
-      monitored_region("lvr") do |monitor|
-        builder = VariableReferenceGraphBuilder.new(
-          context[:ld_variable_mapping], context[:ld_function_mapping],
-          context[:ld_function_call_graph])
-        context[:metric_fpaths].each do |fpath|
-          builder.execute(fpath)
-          monitor.progress += 1.0 / context[:metric_fpaths].size
-        end
-        context[:ld_variable_reference_graph] = builder.result
+    def do_execute(context, monitor)
+      builder = VariableReferenceGraphBuilder.new(
+        context[:ld_variable_mapping], context[:ld_function_mapping],
+        context[:ld_function_call_graph])
+      context[:metric_fpaths].each do |fpath|
+        builder.execute(fpath)
+        monitor.progress += 1.0 / context[:metric_fpaths].size
       end
+      context[:ld_variable_reference_graph] = builder.result
     ensure
       DebugUtil.dump_variable_reference_graph(context)
     end
   end
 
-  class PreparePhase < Phase
-    private
-    def do_execute(context)
-      monitored_region("pre") do
-        context[:ld_typedef_traversal] =
-          TypedefTraversal.new(context[:ld_typedef_mapping])
-        context[:ld_function_traversal] =
-          FunctionTraversal.new(context[:ld_function_mapping])
-        context[:ld_variable_traversal] =
-          VariableTraversal.new(context[:ld_variable_mapping])
-
-        context[:ld_commands] = setup_metric_measurements(context) +
-                                setup_message_detections(context)
-      end
+  class PreparePhase < LdPhase
+    def initialize(context)
+      super(context, "pre")
     end
 
-    def setup_metric_measurements(context)
-      [
-        FN_CALL.new(context)
-      ]
+    private
+    def do_execute(context, *)
+      context[:ld_typedef_traversal] =
+        TypedefTraversal.new(context[:ld_typedef_mapping])
+      context[:ld_function_traversal] =
+        FunctionTraversal.new(context[:ld_function_mapping])
+      context[:ld_variable_traversal] =
+        VariableTraversal.new(context[:ld_variable_mapping])
     end
+  end
 
-    def setup_message_detections(context)
-      [
-        W0555.new(context),
-        W0586.new(context),
-        W0589.new(context),
-        W0591.new(context),
-        W0593.new(context),
-        W0628.new(context),
-        W0770.new(context),
-        W0791.new(context),
-        W1037.new(context)
-      ]
+  class TypedefReviewPhase < LdPhase
+    def initialize(context)
+      super(context, "rtd")
     end
-  end
 
-  class TypedefReviewPhase < Phase
     private
-    def do_execute(context)
-      monitored_region("rtd") do
-        context[:ld_typedef_traversal].execute
-      end
+    def do_execute(context, *)
+      context[:ld_typedef_traversal].execute
     end
   end
 
-  class FunctionReviewPhase < Phase
+  class FunctionReviewPhase < LdPhase
+    def initialize(context)
+      super(context, "rfn")
+    end
+
     private
-    def do_execute(context)
-      monitored_region("rfn") do
-        context[:ld_function_traversal].execute
-      end
+    def do_execute(context, *)
+      context[:ld_function_traversal].execute
     end
   end
 
-  class VariableReviewPhase < Phase
+  class VariableReviewPhase < LdPhase
+    def initialize(context)
+      super(context, "rvr")
+    end
+
     private
-    def do_execute(context)
-      monitored_region("rvr") do
-        context[:ld_variable_traversal].execute
-      end
+    def do_execute(context, *)
+      context[:ld_variable_traversal].execute
     end
   end
 
-  class CommandPhase < Phase
+  class ExaminationPhase < LdPhase
+    def initialize(context)
+      super(context, "exm")
+    end
+
     private
-    def do_execute(context)
-      monitored_region("com") do
-        context[:ld_commands].each { |command| command.execute }
-      end
+    def do_execute(context, *)
+      examinations.each { |exam| exam.execute }
     end
   end