adlint 1.18.6 → 2.0.0

data/lib/adlint/{c/message_shima.rb → exam/c_builtin/c_check_shima.rb}

@@ -1,4 +1,4 @@
-# Message detection classes for C language.
+# Code checkings (cc1-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,19 @@
 #
 #++
 
+require "adlint/exam"
 require "adlint/report"
-require "adlint/message"
+require "adlint/c/phase"
+require "adlint/c/syntax"
+require "adlint/c/format"
 
 module AdLint #:nodoc:
-module C #:nodoc:
+module Exam #:nodoc:
+module CBuiltin #:nodoc:
+
+  class W0573 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
 
-  class W0573 < PassiveMessageDetection
     def initialize(context)
       super
       interp = context[:c_interpreter]
@@ -63,7 +69,7 @@ module C #:nodoc:
 
     def format_str_index_of(function_call_expression)
       function_call_expression.argument_expressions.index do |arg_expr|
-        arg_expr.kind_of?(StringLiteralSpecifier)
+        arg_expr.kind_of?(C::StringLiteralSpecifier)
       end
     end
 
@@ -75,14 +81,16 @@ module C #:nodoc:
         if format_str && format_str.literal.value =~ /\AL?"(.*)"\z/i
           location = format_str.location
           trailing_args = arg_variables[(format_str_index + 1)..-1] || []
-          return ScanfFormat.new($1, location, trailing_args, environment)
+          return C::ScanfFormat.new($1, location, trailing_args, environment)
         end
       end
       nil
     end
   end
 
-  class W0606 < PassiveMessageDetection
+  class W0606 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -102,7 +110,9 @@ module C #:nodoc:
     end
   end
 
-  class W0645 < PassiveMessageDetection
+  class W0645 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -117,6 +127,8 @@ module C #:nodoc:
   end
 
   class W0685 < W0573
+    def_registrant_phase C::Prepare2Phase
+
     def check(function_call_expression, function, arg_variables,
               result_variable)
       if function.named? && function.name =~ /\A.*scanf\z/
@@ -137,6 +149,8 @@ module C #:nodoc:
   end
 
   class W0686 < W0573
+    def_registrant_phase C::Prepare2Phase
+
     def check(function_call_expression, function, arg_variables,
               result_variable)
       if function.named? && function.name =~ /\A.*scanf\z/
@@ -156,7 +170,9 @@ module C #:nodoc:
     end
   end
 
-  class W0697 < PassiveMessageDetection
+  class W0697 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:c_interpreter]
@@ -185,7 +201,9 @@ module C #:nodoc:
     end
   end
 
-  class W0698 < PassiveMessageDetection
+  class W0698 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -219,6 +237,8 @@ module C #:nodoc:
   end
 
   class W0699 < W0698
+    def_registrant_phase C::Prepare2Phase
+
     private
     def check(return_statement)
       return unless @current_function.implicitly_typed?
@@ -230,7 +250,9 @@ module C #:nodoc:
     end
   end
 
-  class W0700 < PassiveMessageDetection
+  class W0700 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:c_interpreter]
@@ -269,7 +291,9 @@ module C #:nodoc:
     end
   end
 
-  class W0711 < PassiveMessageDetection
+  class W0711 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -285,6 +309,8 @@ module C #:nodoc:
   end
 
   class W0712 < W0711
+    def_registrant_phase C::Prepare2Phase
+
     private
     def check(expression)
       if expression.lhs_operand.logical? && !expression.rhs_operand.logical?
@@ -294,6 +320,8 @@ module C #:nodoc:
   end
 
   class W0713 < W0711
+    def_registrant_phase C::Prepare2Phase
+
     private
     def check(expression)
       if expression.lhs_operand.logical? && expression.rhs_operand.logical?
@@ -302,7 +330,9 @@ module C #:nodoc:
     end
   end
 
-  class W0714 < PassiveMessageDetection
+  class W0714 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -317,7 +347,9 @@ module C #:nodoc:
     end
   end
 
-  class W0715 < PassiveMessageDetection
+  class W0715 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -332,7 +364,9 @@ module C #:nodoc:
     end
   end
 
-  class W0716 < PassiveMessageDetection
+  class W0716 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -359,6 +393,8 @@ module C #:nodoc:
   end
 
   class W0717 < W0716
+    def_registrant_phase C::Prepare2Phase
+
     private
     def check(expression)
       if expression.lhs_operand.logical? && !expression.rhs_operand.logical?
@@ -368,6 +404,8 @@ module C #:nodoc:
   end
 
   class W0718 < W0716
+    def_registrant_phase C::Prepare2Phase
+
     private
     def check(expression)
       if !expression.lhs_operand.logical? && expression.rhs_operand.logical?
@@ -377,6 +415,8 @@ module C #:nodoc:
   end
 
   class W0726 < W0698
+    def_registrant_phase C::Prepare2Phase
+
     private
     def check(return_statement)
       return unless return_statement.expression
@@ -390,7 +430,9 @@ module C #:nodoc:
     end
   end
 
-  class W0732 < PassiveMessageDetection
+  class W0732 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -407,7 +449,9 @@ module C #:nodoc:
     end
   end
 
-  class W0733 < PassiveMessageDetection
+  class W0733 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -424,7 +468,9 @@ module C #:nodoc:
     end
   end
 
-  class W0734 < PassiveMessageDetection
+  class W0734 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -443,6 +489,8 @@ module C #:nodoc:
   end
 
   class W0735 < W0734
+    def_registrant_phase C::Prepare2Phase
+
     private
     def check(expr)
       if expr.rhs_operand.arithmetic? || expr.rhs_operand.bitwise?
@@ -453,7 +501,9 @@ module C #:nodoc:
     end
   end
 
-  class W0781 < PassiveMessageDetection
+  class W0781 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -481,7 +531,9 @@ module C #:nodoc:
     end
   end
 
-  class W0801 < PassiveMessageDetection
+  class W0801 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -495,7 +547,9 @@ module C #:nodoc:
     end
   end
 
-  class W0809 < PassiveMessageDetection
+  class W0809 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -582,7 +636,9 @@ module C #:nodoc:
     end
   end
 
-  class W1030 < PassiveMessageDetection
+  class W1030 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -615,7 +671,9 @@ module C #:nodoc:
     end
   end
 
-  class W1033 < PassiveMessageDetection
+  class W1033 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -634,7 +692,9 @@ module C #:nodoc:
     end
   end
 
-  class W1066 < PassiveMessageDetection
+  class W1066 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       @interp = context[:c_interpreter]
@@ -651,7 +711,7 @@ module C #:nodoc:
       return unless original_variable.type.floating?
 
       case expression = @rvalues[original_variable]
-      when AdditiveExpression, MultiplicativeExpression
+      when C::AdditiveExpression, C::MultiplicativeExpression
         if original_variable.type.same_as?(from_type) &&
             result_variable.type.same_as?(to_type)
           W(message_id, expression.location)
@@ -692,6 +752,8 @@ module C #:nodoc:
   end
 
   class W1067 < W1066
+    def_registrant_phase C::Prepare2Phase
+
     private
     def from_type
       @interp.float_type
@@ -703,6 +765,8 @@ module C #:nodoc:
   end
 
   class W1068 < W1066
+    def_registrant_phase C::Prepare2Phase
+
     private
     def from_type
       @interp.double_type
@@ -713,7 +777,9 @@ module C #:nodoc:
     end
   end
 
-  class W1069 < PassiveMessageDetection
+  class W1069 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -737,7 +803,7 @@ module C #:nodoc:
 
     def enter_if_else_statement(node)
       @if_else_statement_chain.push(node)
-      if node.else_statement.kind_of?(IfStatement)
+      if node.else_statement.kind_of?(C::IfStatement)
         W(:W1069, @if_else_statement_chain.first.location)
       end
     end
@@ -748,6 +814,8 @@ module C #:nodoc:
   end
 
   class W1070 < W0781
+    def_registrant_phase C::Prepare2Phase
+
     private
     def check(node)
       if exec_path_num = @exec_path_nums.last and exec_path_num == 2
@@ -761,7 +829,9 @@ module C #:nodoc:
     end
   end
 
-  class W1072 < PassiveMessageDetection
+  class W1072 < PassiveCodeCheck
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -776,3 +846,4 @@ module C #:nodoc:
 
 end
 end
+end

data/lib/adlint/{c/code.rb → exam/c_builtin/c_code.rb}

@@ -1,4 +1,4 @@
-# Code structure extractor for C language.
+# Code structure extractions (cc1-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,18 @@
 #
 #++
 
+require "adlint/exam"
 require "adlint/report"
-require "adlint/code"
+require "adlint/c/phase"
+require "adlint/c/syntax"
 
 module AdLint #:nodoc:
-module C #:nodoc:
+module Exam #:nodoc:
+module CBuiltin #:nodoc:
 
   class TypeDeclExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -74,6 +79,8 @@ module C #:nodoc:
   end
 
   class GVarDeclExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:c_interpreter]
@@ -94,6 +101,8 @@ module C #:nodoc:
   end
 
   class FuncDeclExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:c_interpreter]
@@ -131,6 +140,8 @@ module C #:nodoc:
   end
 
   class VarDefExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:c_interpreter]
@@ -210,6 +221,8 @@ module C #:nodoc:
   end
 
   class FuncDefExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:c_interpreter]
@@ -237,6 +250,8 @@ module C #:nodoc:
   end
 
   class LabelDefExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -254,6 +269,8 @@ module C #:nodoc:
   end
 
   class InitializationExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -274,6 +291,8 @@ module C #:nodoc:
   end
 
   class AssignmentExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -297,6 +316,8 @@ module C #:nodoc:
   end
 
   class FuncCallExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       @interp = context[:c_interpreter]
@@ -324,6 +345,8 @@ module C #:nodoc:
   end
 
   class CrossRefExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       interp = context[:c_interpreter]
@@ -377,6 +400,8 @@ module C #:nodoc:
   end
 
   class LiteralExtraction < CodeExtraction
+    def_registrant_phase C::Prepare2Phase
+
     def initialize(context)
       super
       visitor = context[:c_visitor]
@@ -402,7 +427,7 @@ module C #:nodoc:
 
     def type_of(node)
       case node
-      when ConstantSpecifier
+      when C::ConstantSpecifier
         case node.constant.value
         when /\A0x[0-9a-f]+[UL]*\z/i
           "HN"
@@ -422,7 +447,7 @@ module C #:nodoc:
         else
           "NA"
         end
-      when StringLiteralSpecifier
+      when C::StringLiteralSpecifier
         case node.literal.value
         when /\A".*"\z/i
           "SN"
@@ -439,3 +464,4 @@ module C #:nodoc:
 
 end
 end
+end