adlint 1.0.0

data/share/doc/samples/adlint_traits.yml

@@ -0,0 +1,238 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint is free software: you can redistribute it and/or modify it under the
+# terms of the GNU General Public License as published by the Free Software
+# Foundation, either version 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint is distributed in the hope that it will be useful, but WITHOUT ANY
+# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+# A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License along with
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+
+# Schema version of the traits file.
+# DO NOT EDIT MANUALLY!
+version: "1.0.0"
+
+#
+# Project specific traits section
+#
+project_traits:
+
+  # Project name.
+  project_name: "screen-4.0.3"
+
+  # Project specific additional include paths.
+  # Ex.
+  #   include_path:
+  #     - "include/foo"
+  #     - "../include/bar"
+  #     - "/opt/baz/include"
+  include_path:
+    - "../screen-4.0.3"
+
+  # Pathname of the project specific initial header file.
+  # This header file is automatically included above the first line of the
+  # target source file.
+  initial_header: "adlint_pinit.h"
+
+  #
+  # Project specific coding style section
+  #
+  coding_style:
+
+    # Indent style which is a convention governing the identation of blocks.
+    # Select from "K&R", "Allman" and "GNU".
+    #
+    # The value "K&R" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0) {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "Allman" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0)
+    #       {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "GNU" means...
+    #   int
+    #   foo(int i)
+    #   {
+    #     if (i == 0)
+    #       {
+    #         return 0;
+    #       }
+    #     return i;
+    #   }
+    indent_style: "GNU"
+
+    # Appearance width of a TAB character.
+    tab_width: 8
+
+    # Appearance width of 1-level of the indentation.
+    indent_width: 2
+
+  # Character encoding of source files.
+  file_encoding:
+
+#
+# Compiler specific traits section
+#
+compiler_traits:
+
+  # Pathname of the compiler specific initial header file.
+  # This header file is automatically included above the first line of the
+  # project specific initial header file.
+  initial_header: "adlint_cinit.h"
+
+  #
+  # Compiler specific standard type section
+  #
+  standard_type:
+
+    # Bit size of the `char' type family.
+    char_size: 8
+    # Bit size of the alignment of the `char' type family.
+    char_alignment: 8
+
+    # Bit size of the `short' type family.
+    short_size: 16
+    # Bit size of the alignment of the `short' type family.
+    short_alignment: 16
+
+    # Bit size of the `int' type family.
+    int_size: 32
+    # Bit size of the alignment of the `int' type family.
+    int_alignment: 32
+
+    # Bit size of the `long int' type family.
+    long_size: 32
+    # Bit size of the alignment of the `long int' type family.
+    long_alignment: 32
+
+    # Bit size of the `long long int' type family.
+    long_long_size: 64
+    # Bit size of the alignment of the `long long int' type family.
+    long_long_alignment: 64
+
+    # Bit size of the `float' type.
+    float_size: 32
+    # Bit size of the alignment of the `float' type.
+    float_alignment: 32
+
+    # Bit size of the `double' type.
+    double_size: 64
+    # Bit size of the alignment of the `double' type.
+    double_alignment: 64
+
+    # Bit size of the `long double' type.
+    long_double_size: 96
+    # Bit size of the alignment of the `long double' type.
+    long_double_alignment: 96
+
+    # Bit size of the pointer to functions.
+    code_ptr_size: 32
+    # Bit size of the alignment of the pointer to functions.
+    code_ptr_alignment: 32
+
+    # Bit size of the pointer to data.
+    data_ptr_size: 32
+    # Bit size of the alignment of the pointer to data.
+    data_ptr_alignment: 32
+
+    # Treat the `char' type as same as the `unsigned char' type?
+    char_as_unsigned_char: true
+
+  # Compiler specific include paths.
+  # Ex.
+  #   include_path:
+  #     - "/usr/include"
+  #     - "/usr/local/include"
+  include_path:
+    - "/usr/local/include"
+    - "/usr/include"
+    - "/usr/lib/gcc/i686-redhat-linux/4.5.1/include"
+
+  # Treat the `>>' operator as a logical shift, not an arithmetic shift?
+  arithmetic:
+    logical_right_shift: true
+
+  # Token substitution setting to warn the use of compiler specific extensions.
+  #
+  # If your compiler supports `__attribute__(...)' extension and you want to
+  # know the use of this extension, specify as below.
+  #   extension_substitution:
+  #     "__attribute__(__adlint__any)": ""
+  # The token sequence consists of `__attribute__', `(', any kind of tokens,
+  # `)' will be replaced with nothing (erased) after the preprocessing phase.
+  # And this substitution will be warned by the message W0061.
+  extension_substitution:
+    "__extension__": ""
+    "__attribute__(__adlint__any)": ""
+    "__inline__": "inline"
+    "__asm__ __adlint__any(__adlint__any)": ""
+
+  # Token substitution setting to silently ignore the use of compiler specific
+  # extensions.
+  #
+  # If your compiler supports `__asm__ volatile (...)' extension and you do not
+  # mind the use of this extension, specify as below.
+  #   arbitrary_substitution:
+  #     "__asm__ __adlint__any(__adlint__any)": ""
+  # The token sequence consists of `__asm__', any kind of tokens, `(', any kind
+  # of tokens, `)' will be replaced with nothing (erased) silently after the
+  # preprocessing phase.
+  arbitrary_substitution:
+    "typeof": "__typeof__"
+    "__typeof": "__typeof__"
+    "alignof": "__alignof__"
+    "__alignof": "__alignof__"
+    "__signed__": "signed"
+
+  # Max length of all symbols can be identified by the compiler.
+  identifier_max: 128
+
+#
+# Linker specific traits section
+#
+linker_traits:
+
+  # Max length of external symbols can be identified by the linker.
+  identifier_max: 128
+
+  # Are external symbols identified without case by the linker?
+  identifier_ignore_case: false
+
+#
+# Message traits section
+#
+message_traits:
+
+  # Language of the message text.
+  # Currently, "en_US" and "ja_JP" are supported.
+  # Please help to translate the message catalog into your language.
+  language: "ja_JP"
+
+  # Message text replacement.
+  # Ex.
+  #   change_list:
+  #     W9999: "Your custom message for the warning of #9999."
+  change_list:

data/share/doc/texinfo.css

@@ -0,0 +1,22 @@
+table {
+    width: 100%;
+    border-spacing: 0px;
+    border-collapse: collapse;
+    border: 2px solid black;
+}
+
+th {
+    border: 1px solid black;
+    background: gray;
+    color: white;
+    text-align: center;
+}
+
+td { border: 1px solid black; }
+
+.verbatim {
+    background: lightgray;
+    margin-left: 2em;
+    margin-right: 2em;
+    padding: 5px 10px 5px 10px;
+}