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
|