rlang 0.4.1 → 0.6.0

data/lib/rlang/parser/wtype.rb

@@ -18,17 +18,18 @@ class WType
   include Log
 
   WASM_TYPE_MAP = {
-    I64: Type::I64,
-    I32: Type::I32,
-    F64: Type::F64,
-    F32: Type::F32
+    UI64: Type::UI64,
+    I64:  Type::I64,
+    UI32: Type::UI32,
+    I32:  Type::I32,
+    F64:  Type::F64,
+    F32:  Type::F32
   }
 
   # Implicit Type cast order in decreasing order of precedence
   # Class types have precedence over default integer type
   # because of pointer arithmetics
-  # TODO: :Class should be inserted before WType::DEFAULT
-  CAST_PRECEDENCE = [:F64, :F32, :I64, :Class, :I32]
+  CAST_PRECEDENCE = [:F64, :F32, :UI64, :I64, :Class, :UI32, :I32]
   
   attr_reader :name
 
@@ -45,11 +46,28 @@ class WType
     wtypes[leading_idx]
   end
 
+  # Name is a symbol of the form :A or :"A::B" or :"A::B::C"
+  # or a string "A" or "A::B" or "A::B::C"
+  # or it can also be an array of symbols [:A], [:A, :B] or [:A, :B, :C]
+  # (It is not a class object)
   def initialize(name)
-    @name = name.to_sym
+    if name.is_a? Symbol
+      @name = name
+    elsif name.is_a? String
+      @name = name.to_sym
+    elsif name.is_a? Array
+      @name = name.map(&:to_s).join('::').to_sym
+    else
+      raise "Unknown type for WType name (got #{name}, class: #{name.class}"
+    end
     raise "Invalid WType #{name.inspect}" unless self.valid?
   end
 
+  def class_path
+    return [] if self.blank?
+    name.to_s.split('::').map(&:to_sym)
+  end
+
   def default?
     @name == WType::DEFAULT.name
   end
@@ -62,6 +80,10 @@ class WType
     WASM_TYPE_MAP.has_key? @name
   end
 
+  def signed?
+    self.native? && WASM_TYPE_MAP[@name].signed?
+  end
+
   def blank?
     @name == :none || @name == :nil
   end
@@ -111,6 +133,7 @@ class WType
   end
 
   DEFAULT = self.new(WASM_TYPE_MAP.key(Type::DEFAULT))
+  UNSIGNED_DEFAULT = self.new(WASM_TYPE_MAP.key(Type::UNSIGNED_DEFAULT))
 
 end