adlint 2.6.14 → 3.0.0

data/spec/adlint/{c → cc1}/operator_spec.rb

@@ -1,7 +1,7 @@
 # Unit specification of operator of controlling expressions.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -32,7 +32,7 @@
 require "spec_helper"
 
 module AdLint
-module C
+module Cc1
 
   describe Operator do
     context "Operator" do

data/spec/adlint/{c → cc1}/syntax_spec.rb

@@ -1,7 +1,7 @@
 # Unit specification of AST of C language.
 #
 # Author::    Rie Shima <mailto:rkakuuchi@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Rie Shima <mailto:rkakuuchi@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -32,11 +32,9 @@
 require "spec_helper"
 
 module AdLint
-module C
+module Cc1
 
   describe Expression do
-    before(:all) { Traits.instance.read_from($default_traits) }
-
     let(:symbol_table) { SymbolTable.new }
 
     context "`*'" do
@@ -150,7 +148,7 @@ module C
     end
 
     context "`(char) i'" do
-      subject { cast_expression(char_type_name, object_specifier("i")) }
+      subject { cast_expression(char_t_name, object_specifier("i")) }
 
       it { should_not be_logical }
       it { should_not be_arithmetic }
@@ -160,7 +158,7 @@ module C
     context "`(char) (i + 1)'" do
       subject do
         cast_expression(
-          char_type_name, grouped_expression(
+          char_t_name, grouped_expression(
             additive_expression(
               "+", object_specifier("i"), constant_specifier(1))))
       end
@@ -173,7 +171,7 @@ module C
     context "`(char) (i == 0)'" do
       subject do
         cast_expression(
-          char_type_name,
+          char_t_name,
           grouped_expression(
             equality_expression(
               "==", object_specifier("i"), constant_specifier(1))))
@@ -187,7 +185,7 @@ module C
     context "`(char) (i & 1)'" do
       subject do
         cast_expression(
-          char_type_name,
+          char_t_name,
           grouped_expression(
             and_expression(object_specifier("i"), constant_specifier(1))))
       end
@@ -637,14 +635,14 @@ module C
       CastExpression.new(type_name, operand)
     end
 
-    def char_type_name
+    def char_t_name
       sq_list = SpecifierQualifierList.new.tap { |obj|
-        obj.type_qualifiers.push(char_type_specifier)
+        obj.type_qualifiers.push(char_t_specifier)
       }
       TypeName.new(sq_list, nil, symbol_table)
     end
 
-    def char_type_specifier
+    def char_t_specifier
       StandardTypeSpecifier.new(Token.new(:CHAR, "char", location))
     end
 

data/spec/adlint/{c → cc1}/type_spec.rb

@@ -1,7 +1,7 @@
 # Unit specification of C type models.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -32,197 +32,190 @@
 require "spec_helper"
 
 module AdLint
-module C
+module Cc1
 
   describe Type do
-    before(:all) { Traits.instance.read_from($default_traits) }
+    before(:all) { @adlint = AdLint.new($default_traits) }
 
-    let(:type_table) { TypeTable.new }
-
-    let(:int_ptr) {
-      pointer_type(int_type)
-    }
-
-    let(:const_int_ptr) {
-      pointer_type(qualified_type(int_type, :const))
-    }
+    before(:each) do
+      @monitor = ProgressMonitor.new(nil, nil, false)
+      @logger  = Logger.new(File.open(File::NULL, "w"))
+    end
 
-    let(:const_int) {
-      qualified_type(int_type, :const)
-    }
+    let(:type_table) { TypeTable.new(@adlint.traits, @monitor, @logger) }
 
-    let(:volatile_int) {
-      qualified_type(int_type, :volatile)
+    let(:int_ptr_t) {
+      pointer_type(int_t)
     }
 
-    let(:const_volatile_int) {
-      qualified_type(int_type, :const, :volatile)
+    let(:const_int_ptr_t) {
+      pointer_type(qualified_type(int_t, :const))
     }
 
-    let(:const_char) {
-      qualified_type(char_type, :const)
+    let(:const_int_t) {
+      qualified_type(int_t, :const)
     }
 
-    let(:const_unsigned_char) {
-      qualified_type(unsigned_char_type, :const)
+    let(:volatile_int_t) {
+      qualified_type(int_t, :volatile)
     }
 
-    let(:char) {
-      char_type
+    let(:const_volatile_int_t) {
+      qualified_type(int_t, :const, :volatile)
     }
 
-    let(:char_ptr) {
-      pointer_type(char_type)
+    let(:const_char_t) {
+      qualified_type(char_t, :const)
     }
 
-    let(:const_char_ptr) {
-      pointer_type(qualified_type(char_type, :const))
+    let(:const_unsigned_char_t) {
+      qualified_type(unsigned_char_t, :const)
     }
 
-    let(:unsigned_char) {
-      unsigned_char_type
+    let(:char_ptr_t) {
+      pointer_type(char_t)
     }
 
-    let(:const_unsigned_char_ptr) {
-      pointer_type(qualified_type(unsigned_char_type, :const))
+    let(:const_char_ptr_t) {
+      pointer_type(qualified_type(char_t, :const))
     }
 
-    let(:signed_char) {
-      signed_char_type
+    let(:const_unsigned_char_ptr_t) {
+      pointer_type(qualified_type(unsigned_char_t, :const))
     }
 
     describe ArrayType do
       context "`int[3]'" do
-        subject { array_type(int_type, 3) }
+        subject { array_type(int_t, 3) }
 
         it "should be convertible to `const int *'" do
-          should be_convertible(const_int_ptr)
+          should be_convertible(const_int_ptr_t)
         end
 
         it "should be convertible to `int *'" do
-          should be_convertible(int_ptr)
+          should be_convertible(int_ptr_t)
         end
       end
 
       context "`int[]'" do
-        subject { array_type(int_type) }
+        subject { array_type(int_t) }
 
         it "should be convertible to `const int *'" do
-          should be_convertible(const_int_ptr)
+          should be_convertible(const_int_ptr_t)
         end
 
         it "should be convertible to `int *'" do
-          should be_convertible(int_ptr)
+          should be_convertible(int_ptr_t)
         end
       end
     end
 
     describe PointerType do
       context "`const int *'" do
-        subject { const_int_ptr }
+        subject { const_int_ptr_t }
 
         it "should not be convertible to `int[]'" do
-          should_not be_convertible(array_type(int_type))
+          should_not be_convertible(array_type(int_t))
         end
       end
 
       context "`int *'" do
-        subject { int_ptr }
+        subject { int_ptr_t }
 
         it "should be convertible to `int[]'" do
-          should be_convertible(array_type(int_type))
+          should be_convertible(array_type(int_t))
         end
       end
 
       context "`const int'" do
-        subject { const_int }
+        subject { const_int_t }
 
         it "should be more cv-qualified than `int'" do
-          should be_more_cv_qualified(int_type)
+          should be_more_cv_qualified(int_t)
         end
 
         it "should not be more cv-qualified than `const int'" do
-          should_not be_more_cv_qualified(const_int)
+          should_not be_more_cv_qualified(const_int_t)
         end
 
         it "should not be more cv-qualified than `volatile int'" do
-          should_not be_more_cv_qualified(volatile_int)
+          should_not be_more_cv_qualified(volatile_int_t)
         end
       end
 
       context "`volatile int'" do
-        subject { volatile_int }
+        subject { volatile_int_t }
 
         it "should be more cv-qualified than `int'" do
-          should be_more_cv_qualified(int_type)
+          should be_more_cv_qualified(int_t)
         end
       end
 
       context "`const volatile int'" do
-        subject { const_volatile_int }
+        subject { const_volatile_int_t }
 
         it "should be more cv-qualified than `int'" do
-          should be_more_cv_qualified(int_type)
+          should be_more_cv_qualified(int_t)
         end
 
         it "should be more cv-qualified than `const int'" do
-          should be_more_cv_qualified(const_int)
+          should be_more_cv_qualified(const_int_t)
         end
 
         it "should be more cv-qualified than `volatile int'" do
-          should be_more_cv_qualified(volatile_int)
+          should be_more_cv_qualified(volatile_int_t)
         end
       end
     end
 
     describe QualifiedType do
       context "`const char'" do
-        subject { const_char }
+        subject { const_char_t }
 
         it "should be equal to `const unsigned char'" do
-          should == const_unsigned_char
+          should == const_unsigned_char_t
         end
 
         it "should be convertible to `char'" do
-          should be_convertible(char)
+          should be_convertible(char_t)
         end
 
         it "should be convertible to `const unsigned char'" do
-          should be_convertible(const_unsigned_char)
+          should be_convertible(const_unsigned_char_t)
         end
       end
 
       context "`char'" do
-        subject { char }
+        subject { char_t }
 
         it "should be convertible to `const char'" do
-          should be_convertible(const_char)
+          should be_convertible(const_char_t)
         end
       end
 
       context "`const char *'" do
-        subject { const_char_ptr }
+        subject { const_char_ptr_t }
 
         it "should be convertible to `const unsigned char *'" do
-          should be_convertible(const_unsigned_char_ptr)
+          should be_convertible(const_unsigned_char_ptr_t)
         end
 
         it "should not be convertible to `char *'" do
-          should_not be_convertible(char_ptr)
+          should_not be_convertible(char_ptr_t)
         end
       end
     end
 
     describe CharType do
       context "`char'" do
-        subject { char }
+        subject { char_t }
 
         it "should be equal to `unsigned char'" do
-          should == unsigned_char
+          should == unsigned_char_t
         end
 
         it "should not be equal to `signed char'" do
-          should_not == signed_char
+          should_not == signed_char_t
         end
       end
     end

data/{lib/adlint/c.rb → spec/adlint/location_spec.rb}

@@ -1,7 +1,7 @@
-# AdLint::C package loader.
+# Unit specification of tokens' location identifier.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -29,29 +29,24 @@
 #
 #++
 
-require "adlint/c/branch"
-require "adlint/c/builtin"
-require "adlint/c/ctrlexpr"
-require "adlint/c/const"
-require "adlint/c/conv"
-require "adlint/c/domain"
-require "adlint/c/enum"
-require "adlint/c/environ"
-require "adlint/c/expr"
-require "adlint/c/format"
-require "adlint/c/interp"
-require "adlint/c/lexer"
-require "adlint/c/mediator"
-require "adlint/c/object"
-require "adlint/c/operator"
-require "adlint/c/option"
-require "adlint/c/parser"
-require "adlint/c/phase"
-require "adlint/c/resolver"
-require "adlint/c/scanner"
-require "adlint/c/scope"
-require "adlint/c/seqp"
-require "adlint/c/syntax"
-require "adlint/c/type"
-require "adlint/c/util"
-require "adlint/c/value"
+require "spec_helper"
+
+module AdLint
+
+  describe Location do
+    before(:all) { @adlint = AdLint.new($default_traits) }
+
+    context "initial header" do
+      subject { Location.new(Pathname.new("spec/conf.d/empty_pinit.h"), 1, 1) }
+
+      it { should_not be_in_analysis_target(@adlint.traits) }
+    end
+
+    context "source file" do
+      subject { Location.new(Pathname.new("spec/conf.d/project/foo.c"), 1, 1) }
+
+      it { should be_in_analysis_target(@adlint.traits) }
+    end
+  end
+
+end