Method: IcAgent::Candid.read_type_table

Defined in:
lib/ic_agent/candid.rb

.read_type_table(pipe) ⇒ Object



1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
# File 'lib/ic_agent/candid.rb', line 1457

def self.read_type_table(pipe)
  type_table = []

  type_table_len = leb128u_decode(pipe).to_i
  type_table_len.times do
    ty = leb128i_decode(pipe)

    if [TypeIds::Opt, TypeIds::Vec].include?(ty)
      t = leb128i_decode(pipe)
      type_table << [ty, t]
    elsif [TypeIds::Record, TypeIds::Variant].include?(ty)
      fields = []
      obj_length = leb128u_decode(pipe)
      prev_hash = -1

      obj_length.times do
        hash = leb128u_decode(pipe)

        if hash >= 2**32
          raise ValueError, 'field id out of 32-bit range'
        end

        if prev_hash.is_a?(Integer) && prev_hash >= hash
          raise ValueError, 'field id collision or not sorted'
        end

        prev_hash = hash
        t = leb128i_decode(pipe)
        fields << [hash, t]
      end

      type_table << [ty, fields]
    elsif ty == TypeIds::Func
      2.times do
        fun_len = leb128u_decode(pipe)
        fun_len.times { leb128i_decode(pipe) }
      end

      ann_len = leb128u_decode(pipe)
      safe_read(pipe, ann_len)
      type_table << [ty, nil]
    elsif ty == TypeIds::Service
      serv_len = leb128u_decode(pipe)

      serv_len.times do
        l = leb128u_decode(pipe)
        safe_read(pipe, l)
        leb128i_decode(pipe)
      end

      type_table << [ty, nil]
    else
      raise ValueError, "Illegal op_code: #{ty}"
    end
  end

  raw_list = []
  types_len = leb128u_decode(pipe).to_i

  types_len.times do
    raw_list << leb128i_decode(pipe)
  end

  [type_table, raw_list]
end