unageanu-javaclass 0.2.1 → 0.4.0

data/ChangeLog

@@ -0,0 +1,5 @@
+2010-01-17 0.4.0
+    * add sample/caller.rb.
+
+2009-12-23 0.3.0
+    * support the analysis of stack map table attributes and code attribute.

data/javaclass.gemspec

@@ -0,0 +1,18 @@
+Gem::Specification.new do |spec|
+  spec.name = "unageanu-javaclass"
+  spec.version = "0.4.0"
+  spec.summary = "javaclass is a java class file parser for ruby."
+  spec.author = "Masaya Yamauchi"
+  spec.email = "y-masaya@red.hot.co.jp"
+  spec.homepage = "http://github.com/unageanu/javaclass/tree/master"
+  spec.test_files = Dir.glob( "test/**/*" )
+  spec.files = [
+    "README",
+    "javaclass.gemspec",
+    "ChangeLog"
+  ]+Dir.glob( "lib/**/*" )+Dir.glob( "sample/**/*" )+spec.test_files
+  spec.has_rdoc = true
+  spec.rdoc_options << "--main" << "README"
+  spec.extra_rdoc_files = ["README"]
+  spec.add_dependency('rubyzip', '>= 0.9.1')
+end

data/lib/javaclass.rb

@@ -10,5 +10,6 @@ require "javaclass/attribute"
 require "javaclass/class"
 require "javaclass/constant"
 require "javaclass/member"
+require "javaclass/code"
 require "javaclass/reader"
 require "javaclass/ziputils"

data/lib/javaclass/accessflag.rb

@@ -3,7 +3,7 @@ require "javaclass/base"
 module JavaClass
 
   #
-  #===クラスのアクセスフラグの基底クラス。
+  #===アクセスフラグの基底クラス。
   #
   class AccessFlag
     include JavaClass::Base

data/lib/javaclass/attribute.rb

@@ -803,10 +803,14 @@ module JavaClass
 
       body = to_byte( @max_stack, 2)
       body += to_byte( @max_locals, 2)
-      body += to_byte( @codes.length, 4)
+      
+      tmp = []
       @codes.each {|c|
-        body += to_byte( c, 1 )
+        tmp += c.to_bytes
       }
+      body += to_byte( tmp.length, 4)
+      body += tmp
+      
       body += to_byte( @exception_table.length, 2)
       @exception_table.each {|ex|
         body += ex.to_bytes()
@@ -1058,4 +1062,291 @@ module JavaClass
     attr :signature_index, true
     attr :index, true
   end
+  
+  #
+  #=== スタックマップテーブル属性
+  #
+  class StackMapTableAttribute < Attribute
+    #
+    #===コンストラクタ
+    #
+    #*java_class::属性の所有者であるJavaクラス
+    #*name_index::名前を示すconstant_poolのインデックス
+    #*stack_map_frame_entries::スタックマップフレームエントリ
+    #
+    def initialize( java_class, name_index, stack_map_frame_entries=[] )
+      super( java_class, name_index)
+      @stack_map_frame_entries = stack_map_frame_entries
+    end
+    def to_bytes
+      bytes = super
+      body = to_byte( @stack_map_frame_entries.length, 2 )
+      @stack_map_frame_entries.each {|e|
+        body += e.to_bytes()
+      }
+      bytes += to_byte( body.length, 4 )
+      bytes += body
+    end
+    attr :stack_map_frame_entries, true
+  end
+  
+  #
+  #=== スタックマップフレーム
+  #
+  class StackMapFrame
+    include JavaClass::Base
+    #
+    #===コンストラクタ
+    #
+    #*frame_type::種別
+    #
+    def initialize(frame_type)
+      @frame_type = frame_type
+    end
+    def to_bytes
+      to_byte( frame_type, 1 )
+    end
+    #種別
+    attr :frame_type, true
+  end
+  
+  #
+  #=== same_frame
+  #
+  class SameFrame < StackMapFrame
+  end
+
+  #
+  #=== same_locals_1_stack_item_frame
+  #
+  class SameLocals1StackItemFrame < StackMapFrame
+    #
+    #===コンストラクタ
+    #
+    #*frame_type::種別
+    #*verification_type_info:: 型情報
+    #
+    def initialize(frame_type, verification_type_info=[])
+      super(frame_type)
+      @verification_type_info = verification_type_info
+    end
+    def to_bytes
+      bytes = super
+      verification_type_info.each {|v|
+        bytes += v.to_bytes 
+      }
+      bytes
+    end
+    #型情報
+    attr :verification_type_info, true
+  end
+
+  #
+  #=== same_locals_1_stack_item_frame_extended
+  #
+  class SameLocals1StackItemFrameExtended < StackMapFrame
+    #
+    #===コンストラクタ
+    #
+    #*frame_type::種別
+    #*offset_delta:: オフセットデルタ
+    #*verification_type_info:: 型情報
+    #
+    def initialize(frame_type, offset_delta, verification_type_info=[])
+      super(frame_type)
+      @offset_delta = offset_delta
+      @verification_type_info = verification_type_info
+    end
+    def to_bytes
+      bytes = super
+      bytes += to_byte( offset_delta, 2 )
+      verification_type_info.each {|v|
+        bytes += v.to_bytes 
+      }
+      bytes
+    end
+    #オフセットデルタ
+    attr :offset_delta, true
+    #型情報
+    attr :verification_type_info, true
+  end
+  
+  #
+  #=== chop_frame
+  #
+  class ChopFrame < StackMapFrame
+    #
+    #===コンストラクタ
+    #
+    #*frame_type::種別
+    #*offset_delta:: オフセットデルタ
+    #
+    def initialize(frame_type, offset_delta)
+      super(frame_type)
+      @offset_delta = offset_delta
+    end
+    def to_bytes
+      bytes = super
+      bytes += to_byte( offset_delta, 2 )
+      bytes
+    end
+    #オフセットデルタ
+    attr :offset_delta, true
+  end
+  
+  #
+  #=== same_frame_extended
+  #
+  class SameFrameExtended < StackMapFrame
+    
+    #
+    #===コンストラクタ
+    #
+    #*frame_type::種別
+    #*offset_delta:: オフセットデルタ
+    #
+    def initialize(frame_type, offset_delta)
+      super(frame_type)
+      @offset_delta = offset_delta
+    end
+    def to_bytes
+      bytes = super
+      bytes += to_byte( offset_delta, 2 )
+      bytes
+    end
+    #オフセットデルタ
+    attr :offset_delta, true
+  end
+  
+  #
+  #=== append_frame
+  #
+  class AppendFrame < StackMapFrame
+    #
+    #===コンストラクタ
+    #
+    #*frame_type::種別
+    #*offset_delta:: オフセットデルタ
+    #*verification_type_info:: 型情報
+    #
+    def initialize(frame_type, offset_delta, verification_type_info=[])
+      super(frame_type)
+      @offset_delta = offset_delta
+      @verification_type_info = verification_type_info
+    end
+    def to_bytes
+      bytes = super
+      bytes += to_byte( offset_delta, 2 )
+      verification_type_info.each {|v|
+        bytes += v.to_bytes 
+      }
+      bytes
+    end
+    #オフセットデルタ
+    attr :offset_delta, true
+    #型情報
+    attr :verification_type_info, true
+  end
+  
+  #
+  #=== full_frame
+  #
+  class FullFrame < StackMapFrame
+    #
+    #===コンストラクタ
+    #
+    #*frame_type::種別
+    #*offset_delta:: オフセットデルタ
+    #*verification_type_info:: 型情報
+    #
+    def initialize(frame_type, offset_delta, 
+      verification_type_info_local=[], verification_type_info_stack=[])
+      super(frame_type)
+      @offset_delta = offset_delta
+      @verification_type_info_local = verification_type_info_local
+      @verification_type_info_stack = verification_type_info_stack
+    end
+    def to_bytes
+      bytes = super
+      bytes += to_byte( offset_delta, 2 )
+      [verification_type_info_local, verification_type_info_stack].each {|vi|
+        bytes += to_byte( vi.length, 2 )
+        vi.each {|v|
+          bytes += v.to_bytes 
+        }
+      }
+      bytes
+    end
+    #オフセットデルタ
+    attr :offset_delta, true
+    #ローカルの型情報
+    attr :verification_type_info_local, true
+    #スタックの型情報
+    attr :verification_type_info_stack, true
+  end
+  
+  #
+  #=== 変数情報(Object_variable_info,Uninitialized_variable_info以外)
+  #
+  class VariableInfo
+    include JavaClass::Base
+    #
+    #===コンストラクタ
+    #
+    #*tag::タグ
+    #
+    def initialize(tag)
+      @tag = tag
+    end
+    def to_bytes
+      to_byte( tag, 1 )
+    end
+    #タグ
+    attr :tag, true
+  end
+  
+  #
+  #=== 変数情報(Object_variable_info)
+  #
+  class ObjectVariableInfo < VariableInfo
+    include JavaClass::Base
+    #
+    #===コンストラクタ
+    #
+    #*tag::タグ
+    #*cpool_index:: cpool_index
+    #
+    def initialize(tag,cpool_index)
+      super(tag)
+      @cpool_index = cpool_index
+    end
+    def to_bytes
+      super + to_byte( cpool_index, 2 )
+    end
+    #cpool_index
+    attr :cpool_index, true
+  end
+   
+   #
+  #=== 変数情報(Uninitialized_variable_info)
+  #
+  class UninitializedVariableInfo < VariableInfo
+    include JavaClass::Base
+    #
+    #===コンストラクタ
+    #
+    #*tag::タグ
+    #*offset:: オフセット
+    #
+    def initialize(tag,offset)
+      super(tag)
+      @offset = offset
+    end
+    def to_bytes
+      super + to_byte( offset, 2 )
+    end
+    #オフセット
+    attr :offset, true
+  end
+  
 end

data/lib/javaclass/base.rb

@@ -1,11 +1,40 @@
 
 module JavaClass
-
+  
+  #ユーティリティ
+  module Utils
+    
+    #配列で指定されたパスをすべて探索して配下のjar,classを解析し通知する
+    #*paths:: 探索するパスの配列。ファイルの場合、jarまたはclassであれば解析。
+    #         ディレクトリであれば再帰的に探索。
+    def self.each_class( *paths, &block )
+      paths.each {|path|
+        if File.directory?( path )
+          JavaClass::Utils.each_class( *Dir.glob("#{path}/*"), &block )
+        elsif File.file?( path )
+          if path =~ /\.class$/
+            open( path, "r" ) {|f|
+              block.call(JavaClass.from( f ))
+            }
+          elsif path =~ /\.jar$/
+            JavaClass::ZipUtils.each_class( path, &block )
+          end
+        end
+      }
+    end
+  end
+  
   module Base
 
     # 0..255の数字の配列に変換する
-    def to_byte( value, length )
+    def to_byte( value, length, signed=false )
       return [0x00]*length if value == nil
+      
+      if signed && value < 0 
+        border = 0x80 << (8 * (length-1))
+        value = (value + border) | border
+      end
+    
       tmp = []
       length.times {|i|
         tmp.unshift( value & 0xFF )
@@ -359,9 +388,9 @@ module JavaClass
       when 0xfe; str = "impdep1"
       when 0xff; str = "impdep2"
       else
-        aise "unknown code. code=" << code.to_s
+        raise "unknown code. code=" << code.to_s
       end
-      return str;
+      return str
     end
   
   end

data/lib/javaclass/code.rb

@@ -0,0 +1,78 @@
+
+
+module JavaClass
+  
+  # コード
+  class Code
+    include JavaClass::Base
+    def initialize( java_class, index, opcode, operands=[], wide=false )
+      @java_class = java_class
+      @index = index
+      @opcode = opcode
+      @operands = operands
+      @wide = wide
+    end
+    def to_s
+#      opts = values = operands.inject(""){|str,i|
+#        if i.name == "index"
+#          c = @java_class.get_constant(i.value)
+#          str += c.kind_of?(MemberRefConstant) ? c.name_and_type.name : c.to_s 
+#        end
+#        str
+#      }
+      values = operands.map{|i|i.to_s}
+      values.unshift( Converters.convert_code(opcode) )
+      values.unshift( "#{@index} :" )
+#      values.push( "#" + opts ) if !opts.empty?
+      return values.join(" ") 
+    end
+    def to_bytes
+      bytes = []
+      bytes += to_byte( 0xC4, 1 ) if wide
+      bytes += to_byte( opcode, 1 )
+      operands.each {|o|
+        bytes += o.to_bytes
+      }
+      return bytes
+    end
+    # JavaClass
+    attr :java_class, true
+    # インデックス
+    attr :index, true
+    # opcode
+    attr :opcode, true
+    # operands
+    attr :operands, true
+    # wideかどうか
+    attr :wide, true
+  end
+  
+  # オペランド
+  class Operand
+    include JavaClass::Base
+    def initialize( size, value, name="" )
+      @size = size
+      @value = value
+      @name=name
+    end
+    def to_s
+      value.to_s
+    end
+    def to_bytes
+      bytes = []
+      if size =~ /(u|s)(\d)/
+        bytes += to_byte( value, $2.to_i, $1=="s" )
+      else
+        raise "unknown size. size=#{size}"
+      end
+      return bytes
+    end
+    # データサイズ( s1, u1 ..etc.. )
+    attr :size, true
+    # 値
+    attr :value, true
+    # 表示名
+    attr :name, true
+  end
+  
+end