casper_network 0.2.1 → 1.0.1

data/lib/types/cl_tuple.rb

@@ -0,0 +1,151 @@
+require_relative './cl_tuple_type.rb'
+require_relative './cl_value.rb'
+require_relative './error.rb'
+require_relative '../serialization/cl_value_bytes_parsers.rb'
+
+
+
+class CLTuple < CLValue  
+  include CLValueBytesParsers::CLTupleBytesParser
+  attr_accessor :size, :data
+  # before_filter: get_cl_type
+  def initialize(size, data)
+    super()
+    @size = size
+    @data = data
+    @all_members_are_clvalues = data.all? { |item| item.is_a?(CLValue)}
+    @tuple_name = ""
+    if data.size > size && @all_members_are_clvalues
+      begin
+        raise Error.new("Too many elements!")
+      rescue => e
+        e.err
+      end
+    end
+   
+    if @all_members_are_clvalues && data.size == size
+      @size = size
+      @data = data
+    else
+      begin
+        raise Error.new("Invalid data type(s) provided.")
+      rescue => e
+        e.err
+      end
+    end
+    get_full_type
+  end
+
+  def get_full_type
+    if @all_members_are_clvalues
+      if @data.size == @size
+        if @data.size == 1
+          @cl_type = CLTuple1Type.new
+          @tuple_name =  @cl_type.to_string
+          @cl_type.to_string + " (" + @data[0].get_cl_type + ")"
+        elsif @data.size == 2
+          @cl_type = CLTuple2Type.new
+          @tuple_name =  @cl_type.to_string
+          @cl_type.to_string + " (" + @data[0].get_cl_type + ", " + @data[1].get_cl_type + ")"
+        elsif @data.size == 3
+          @cl_type = CLTuple3Type.new
+          @tuple_name =  @cl_type.to_string
+          @cl_type.to_string + " (" + @data[0].get_cl_type + ", " + @data[1].get_cl_type + ", " + @data[2].get_cl_type + ")"
+        else
+          begin
+            raise Error.new("Tuple is not defined!")
+          rescue => e
+            e.err
+          end
+        end          
+      elsif @data.size > size
+        begin
+          raise Error.new("Too many elements!")
+        rescue => e
+          e.err
+        end
+      end
+    else
+      begin
+        raise Error.new("Invalid data type(s) provided.")
+      rescue => e
+        e.err
+      end
+    end
+  end
+
+  def get_tuple_name
+    @tuple_name
+  end
+
+  def get_value
+    @data  
+  end
+
+  def get_size
+    @size
+  end
+
+  def get(index)
+    if index >= @size
+      Error.new("Tuple index out of bounds.")
+    else
+      @data[index]
+    end
+  end
+
+  def set(index, item) 
+    if index >= @size
+      Error.new("Tuple index out of bounds.")
+    else
+      data[index] = item
+    end
+  end
+
+  def push(item)
+    if @data.size < @size
+      @data.push(item)
+    else
+      Error.new("No more space in this tuple!")
+    end
+  end
+
+end
+
+
+class CLTuple1 < CLTuple
+  
+  def initialize(data)
+    super(1, data)
+  end
+
+  def get_cl_type
+    @cl_tuple_type = CLTuple1Type.new
+    @cl_tuple_type.to_string
+  end
+end
+
+class CLTuple2 < CLTuple
+  
+  def initialize(data)
+    super(2, data)
+  end
+
+  def get_cl_type
+    @cl_tuple_type = CLTuple2Type.new
+    @cl_tuple_type.to_string
+  end
+end
+
+class CLTuple3 < CLTuple
+  
+  def initialize(data)
+    super(3, data)
+    # puts data
+  end
+
+  def get_cl_type
+    @cl_tuple_type = CLTuple3Type.new
+    @cl_tuple_type.to_string
+  end
+end

data/lib/types/cl_tuple_type.rb

@@ -0,0 +1,108 @@
+require_relative './cl_type.rb'
+require_relative './constants.rb'
+
+
+class CLTupleType < CLType
+  def initialize(data = nil)
+    super()  
+    @data = data
+  end
+
+  def to_string
+    if @data.size == 1
+      @cl_type = CLTuple1Type.new
+      @cl_type.to_string
+    elsif @data.size == 2
+      @cl_type = CLTuple2Type.new
+      @cl_type.to_string
+    elsif @data.size == 3
+      @cl_type = CLTuple3Type.new
+      @cl_type.to_string
+    else
+      raise "Invalid Type"
+    end
+  end
+
+  def get_data 
+    @data
+  end
+
+  def to_json 
+    to_string
+  end
+end
+
+
+class CLTuple1Type < CLTupleType
+  def initialize(value = nil)  
+    super(value)
+    @value = value
+  end
+
+  def to_string
+    # TUPLE1_ID
+    TAGS.key(18).to_s
+  end
+
+  def get_value 
+    @value
+  end
+
+  def to_json 
+    to_string
+  end 
+
+  def to_bytes
+    [18].pack("C*").unpack1("H*")
+  end
+end
+
+class CLTuple2Type < CLTupleType
+  def initialize(value = nil)  
+    super(value)
+    @value = value
+  end
+
+  def to_string
+    # TUPLE2_ID
+    TAGS.key(19).to_s
+  end
+
+  def get_value 
+    @value
+  end
+
+  def to_json 
+    to_string
+  end
+
+  def to_bytes
+    [19].pack("C*").unpack1("H*")
+  end
+end
+
+class CLTuple3Type < CLTupleType
+  def initialize(value = nil)  
+    super(value)
+    @value = value
+  end
+
+  def to_string
+    # TUPLE3_ID
+    TAGS.key(20).to_s
+  end
+
+  def get_value 
+    @value
+  end
+
+  def to_json 
+    to_string
+  end
+
+  def to_bytes
+    [20].pack("C*").unpack1("H*")
+  end
+end
+
+

data/lib/types/cl_type.rb

@@ -0,0 +1,96 @@
+require 'json'
+
+# Casper types, i.e. types which can be stored and manipulated by smart contracts.
+# Provides a description of the underlying data type of a CLValue.
+class CLType    
+  TAGS = {
+    # Boolean primitive.
+    Bool:  0,
+    # Signed 32-bit integer primitive.
+    I32:  1,
+    # Signed 64-bit integer primitive.
+    I64:  2,
+    # Unsigned 8-bit integer primitive.
+    U8:  3,
+    # Unsigned 32-bit integer primitive.
+    U32:  4,
+    # Unsigned 64-bit integer primitive.
+    U64:  5,
+    # Unsigned 128-bit integer primitive.
+    U128:  6,
+    # Unsigned 256-bit integer primitive.
+    U256:  7,
+    # Unsigned 512-bit integer primitive.
+    U512:  8,
+    # Singleton value without additional semantics.
+    Unit: 9,
+    # A string. e.g. "Hello, World!".
+    String: 10,
+    # Global state key.
+    Key: 11,
+    # Unforgeable reference.
+    URef: 12,
+    # Optional value of the given type Option(CLType).
+    Option: 13,
+    # Variable-length list of values of a single `CLType` List(CLType).
+    List: 14,
+    # Fixed-length list of a single `CLType` (normally a Byte).
+    ByteArray: 15,
+    # Co-product of the the given types; one variant meaning success, the other failure.
+    Result: 16,
+    # Key-value association where keys and values have the given types Map(CLType, CLType).
+    Map: 17,
+    # Single value of the given type Tuple1(CLType).
+    Tuple1: 18,
+    # Pair consisting of elements of the given types Tuple2(CLType, CLType).
+    Tuple2: 19,
+    # Triple consisting of elements of the given types Tuple3(CLType, CLType, CLType).
+    Tuple3: 20,
+    # Indicates the type is not known.
+    Any: 21,
+    # A Public key.
+    PublicKey: 22
+  }
+
+  def initialize(value = nil)
+    @value = value
+  end
+
+  # @return [String]
+  def to_string
+
+  end
+
+  def to_json
+
+  end
+
+  def get_link_to
+
+  end
+
+  def get_cl_type_tag(key)   
+    TAGS[key]
+  end
+
+  # @param [Integer] value
+  # @return [String] 
+  def get_tag_key(value)
+    TAGS.key(value).to_s
+  end
+
+  # @return [Integer] tag_value
+  def get_tag_value
+    @tag_value
+  end
+
+  def get_tags
+    TAGS
+  end
+
+  # @param [Integer] value
+  # @return [Boolean] 
+  def tag_value_isvalid(value)
+    TAGS.has_value?(value)
+  end
+end

data/lib/types/cl_type_tag.rb

@@ -0,0 +1,51 @@
+
+class CLTypeTag
+  TAGS = {
+    Bool: 0,
+    I32: 1,
+    I64: 2,
+    U8: 3,
+    U32: 4,
+    U64: 5,
+    U128: 6,
+    U256: 7,
+    U512: 8,
+    Unit: 9,
+    String: 10,
+    Key: 11,
+    URef: 12,
+    Option: 13,
+    List: 14,
+    ByteArray: 15,
+    Result: 16,
+    Map: 17,
+    Tuple1: 18,
+    Tuple2: 19,
+    Tuple3: 20,
+    Any: 21,
+    PublicKey: 22
+  }
+
+  # Constructor 
+  # @param [Integer] tag_value
+  def initialize(tag_value)
+    @tag_value = tag_value
+  end
+
+  # @param [Integer] tag_value
+  # @return [Boolean] true or false
+  def tag_value_isvalid(tag_value)
+    TAGS.has_value?(tag_value)
+    # "#{tag_value} is invalid CLType tag"
+  end
+
+  # @return [Integer] tag_value
+  def get_tag_value
+    @tag_value
+  end
+
+  # @return [String] 
+  def get_tag_name
+    TAGS.key(@tag_value).to_s
+  end
+end

data/lib/types/cl_u128.rb

@@ -0,0 +1,26 @@
+require_relative './cl_u128_type.rb'
+require_relative './cl_value.rb'
+require_relative '../serialization/cl_value_bytes_parsers.rb'
+
+
+
+class CLu128 < CLValue  
+  include CLValueBytesParsers::CLU128BytesParser
+ 
+  def initialize(value)
+    raise "error"  unless value.instance_of? Integer
+    super
+    @value =  value
+  end
+
+  def get_cl_type
+    @cl_type = CLU128Type.new
+    @cl_type.to_string
+  end
+
+  def get_value
+    @value  
+  end
+
+end
+

data/lib/types/cl_u128_type.rb

@@ -0,0 +1,26 @@
+require_relative './cl_type.rb'
+require_relative './constants.rb'
+
+
+class CLU128Type < CLType
+  def initialize(value = nil)  
+    super(value)
+    @value = value
+  end
+
+  def to_string
+    TAGS.key(6).to_s
+  end
+
+  def get_value 
+    @value
+  end
+
+  def to_json 
+    to_string
+  end
+
+  def to_bytes
+    [6].pack("C*").unpack1("H*")
+  end
+end

data/lib/types/cl_u256.rb

@@ -0,0 +1,26 @@
+require_relative './cl_u256_type.rb'
+require_relative './cl_value.rb'
+require_relative '../serialization/cl_value_bytes_parsers.rb'
+
+
+
+class CLu256 < CLValue  
+  include CLValueBytesParsers::CLU256BytesParser
+ 
+  def initialize(value)
+    raise "error"  unless value.instance_of? Integer
+    super
+    @value =  value
+  end
+
+  def get_cl_type
+    @cl_type = CLU256Type.new
+    @cl_type.to_string
+  end
+
+  def get_value
+    @value  
+  end
+
+end
+

data/lib/types/cl_u256_type.rb

@@ -0,0 +1,26 @@
+require_relative './cl_type.rb'
+require_relative './constants.rb'
+
+
+class CLU256Type < CLType
+  def initialize(value = nil)  
+    super(value)
+    @value = value
+  end
+
+  def to_string
+    TAGS.key(7).to_s
+  end
+
+  def get_value 
+    @value
+  end
+
+  def to_json 
+    to_string
+  end
+
+  def to_bytes
+    [7].pack("C*").unpack1("H*")
+  end
+end

data/lib/types/cl_u32.rb

@@ -0,0 +1,26 @@
+require_relative './cl_u32_type.rb'
+require_relative './cl_value.rb'
+require_relative '../serialization/cl_value_bytes_parsers.rb'
+
+
+
+class CLu32 < CLValue  
+  include CLValueBytesParsers::CLU32BytesParser
+ 
+  def initialize(value)
+    raise "error"  unless value.instance_of? Integer
+    super
+    @value =  value
+  end
+
+  def get_cl_type
+    @cl_type = CLU32Type.new
+    @cl_type.to_string
+  end
+
+  def get_value
+    @value  
+  end
+
+end
+

data/lib/types/cl_u32_type.rb

@@ -0,0 +1,26 @@
+require_relative './cl_type.rb'
+require_relative './constants.rb'
+
+
+class CLU32Type < CLType
+  def initialize(value = nil)  
+    super(value)
+    @value = value
+  end
+
+  def to_string
+    TAGS.key(4).to_s
+  end
+
+  def get_value 
+    @value
+  end
+
+  def to_json 
+    to_string
+  end
+
+  def to_bytes
+    [4].pack("C*").unpack1("H*")
+  end
+end

data/lib/types/cl_u512.rb

@@ -0,0 +1,26 @@
+require_relative './cl_u512_type.rb'
+require_relative './cl_value.rb'
+require_relative '../serialization/cl_value_bytes_parsers.rb'
+
+
+
+class CLu512 < CLValue  
+  include CLValueBytesParsers::CLU512BytesParser
+ 
+  def initialize(value)
+    raise "error"  unless value.instance_of? Integer
+    super
+    @value =  value
+  end
+
+  def get_cl_type
+    @cl_type = CLU512Type.new
+    @cl_type.to_string
+  end
+
+  def get_value
+    @value  
+  end
+
+end
+

data/lib/types/cl_u512_type.rb

@@ -0,0 +1,26 @@
+require_relative './cl_type.rb'
+require_relative './constants.rb'
+
+
+class CLU512Type < CLType
+  def initialize(value = nil)  
+    super(value)
+    @value = value
+  end
+
+  def to_string
+    TAGS.key(8).to_s
+  end
+
+  def get_value 
+    @value
+  end
+
+  def to_json 
+    to_string
+  end
+
+  def to_bytes
+    [8].pack("C*").unpack1("H*")
+  end
+end

data/lib/types/cl_u64.rb

@@ -0,0 +1,26 @@
+require_relative './cl_u64_type.rb'
+require_relative './cl_value.rb'
+require_relative '../serialization/cl_value_bytes_parsers.rb'
+
+
+
+class CLu64 < CLValue  
+  include CLValueBytesParsers::CLU64BytesParser
+ 
+  def initialize(value)
+    raise "error"  unless value.instance_of? Integer
+    super
+    @value =  value
+  end
+
+  def get_cl_type
+    @cl_type = CLU64Type.new
+    @cl_type.to_string
+  end
+
+  def get_value
+    @value  
+  end
+
+end
+

data/lib/types/cl_u64_type.rb

@@ -0,0 +1,27 @@
+require_relative './cl_type.rb'
+require_relative './constants.rb'
+
+
+class CLU64Type < CLType
+  def initialize(value = nil)  
+    super(value)
+    @value = value
+  end
+
+  def to_string
+    TAGS.key(5).to_s
+  end
+
+  def get_value 
+    @value
+  end
+
+  def to_json 
+    to_string
+  end
+
+  def to_bytes
+    [5].pack("C*").unpack1("H*")
+  end
+
+end

data/lib/types/cl_u8.rb

@@ -0,0 +1,26 @@
+require_relative './cl_u8_type.rb'
+require_relative './cl_value.rb'
+require_relative '../serialization/cl_value_bytes_parsers.rb'
+
+
+
+class CLu8 < CLValue  
+  include CLValueBytesParsers::CLU8BytesParser
+ 
+  def initialize(value)
+    raise "error"  unless value.instance_of? Integer
+    super
+    @value =  value
+  end
+
+  def get_cl_type
+    @cl_type = CLU8Type.new
+    @cl_type.to_string
+  end
+
+  def get_value
+    @value  
+  end
+
+end
+