jihg です。

From: Masaaki Sakano [mailto:mas / star.le.ac.uk] 
Subject: [ruby-list:33853] arguments for def [Re: 右辺の値なしでも実行可
能? ]

>坂野 正明と申します。
...
>Ruby の def 文においては、引数の受渡しは、多重代入と大体同じ(違いは引数の数のミスマッチに関する厳しさだけ?)だと思います。ですの
で、
>def文の中で、破壊的メソッドを使う時は要注意なんだと認識しています。
...
>何か、lint のようなことで検出できれば、言うことないかな、と思います。# しかし何が破壊的メソッドかの完全な判別は原理的に不可能に近い?いかがでしょうか?

lint がどういうものか知らない。tlint は Redhat に入ってた。ガイドで勉強
してみるつもり。

それはさておき、簡単に作ってみた。ろくに試してない。無いよりはましってこ
とで。(無いほうがましってこともあるが...)

先を越されたか?

+----------------- 説明

=begin
=機能

引数を破壊する操作を警告する。感度が高い。

=対象

組み込みクラス String ,Array ,Hash の破壊的メソッド。

自作クラスの破壊的メソッドには対応していない。
※課題。

=制約

関数定義は、def と end のインデントがバイト単位で同一でなければならな
い。

    def foo(arg)
        end             # 無視される
    
    arg << "break!"     # 警告

次のような形式は許されない。

    def foo(arg); ... ;end

def 〜 end を入れ子にすることは出来ない。

    def foo(arg)
        arg << "break!" # 警告
        eval <<EOS
            def bar        # ここから変わってしまう
            end         # ここで終わり
    EOS
        arg << "break!" # 警告されない
    ebd

def 〜 end 内に、バイト単位で同一のインデントを持つ end を置くことは出来
ない。

    def foo(arg)
    if flag
        true
    end                 # ここを def の終わりと認識する。
    
    arg << "break!"     # 警告されない
    end

def 〜 end の構文および対関係が適正でなければならない。

    def foo(arg         # 閉じ括弧がない
    end
    
    Def foo(arg)        # Def は間違い
    end
    
    def foo(arg)        # end が存在しない

=参考文献

「Ruby プログラミング入門」
原信一郎 著,まつもとゆきひろ 監修,オーム社
=end

+----------------- 本体

=begin
=挙動サンプル。

  class hoge
    def method(a ,b ,c = default)
      c << "break!"
      (c << "break!")
      a<<"break!"
      a+b<<"break!"
      a += "break!"
      a.chomp!
      a.replace("break!")
      a.push
      a.pop
      a.shift
      a.unshift
      a.concat(b)
      a.clear
      a.fill("break!")
      a.store(b,c)
      a[b]=c
      a.delete("hash")
      a.delete_if{}
      a.update(b)
      #
      @a << "break!"
      na << "break!"
      a+nb<<"break!"
      na += "break!"
      na.chomp!
      na.replace("break!")
      na.push
      na.pop
      na.shift
      na.unshift
      na.concat(b)
      na.clear
      na.fill("break!")
      na.store(b,c)
      na[b]=c
      na.delete("hash")
      na.delete_if{}
      na.update(b)
    end
    
    def method(aa)
      eval("aa << \"break!\"")
      #
      eval("a << \"break!\"")
    end
  end
  
  def func(ab)
    eval <<EOS
      ab << "break!"
  EOS
  end
  
  def func(ac)
    #
    eval("ac " + "<< \"break!\"")
  end
  
  def foo
    a << "break!"
    .shift
  end
  
  a << "break!"

=end
flnm = ARGV.shift
open(flnm ,"r") do |flh|
  row = 1
  count = 0
  re = nil
  reEnd = nil
  while line = flh.gets
    line.scan(/(?:^|\s+|;)def\s+.+?\((.*?)\)/i) do |s|
      sRE = (s[0].split(/\s*,\s*/)).each do |ss|
        ss.gsub!(/(.+?)\s*(?:$|=.*)/){ $1 }
      end.join("|")
      re = /[^\w@](#{sRE})
        (?:
          (?:
            \.
            (?:
               (?:\w+!|replace)
              |(?:push|unshift|pop|shift|concat|clear|fill)
              |(?:store|delete(?:_if)?|update)
            )
            \b
          )
          |(?:\s*(?:<<|\+=))
          |(?:\[.+?\]\s*=\s*)
        )
      /x
      sREEnd = line.scan(/\s*/)[0]
      reEnd = /^#{sREEnd}end\b"/
    end
    unless re.nil?
      line.scan(re) do |sArg|
        print "warning : #{flnm}(#{row})---" +
          " 引数 #{sArg} に対し破壊的な操作をしています。" +
          "'#{line.scan(/(.*?)(?:\r\n|\r|\n)/)}'\n"
        count += 1
      end
      re = nil if reEnd =~ line
    end
    row += 1
  end
  print "(#{count})count."
end

#Version 2002.2.13