I’m looking at this from my phone, but I think Michael is right.
flood-message = [M_FLOOD, session-id, initiator, ttl,
+[objective, (locator-option / [])]]
Says each pair of objective and locator-option/empty should be packed into its
own array.
It could have said
flood-message = [M_FLOOD, session-id, initiator, ttl,
+(objective, (locator-option / []))]
In which case the array elements would be alternating between objective and
locator-option/empty.
But it doesn’t.
Note that these two-element arrays are the 5th 6th etc elements of the outer
array; there is no one-element array.
Sent from mobile, sorry for terse
> On 13. Dec 2020, at 21:32, Brian E Carpenter <[email protected]>
> wrote:
>
> Sorry I'm still on vacation and this takes a bit more care to check than
> I can do until I'm home. You could well be right, it's a long time since
> I checked that code against the draft so I could have got it wrong or never
> updated it. I think we went round the loop on the CDDL more than once.
>
> We're flying back to Auckland tomorrow, I should be able to check
> this on Wed NZ time.
>
> Regards
> Brian
>
>> On 14-Dec-20 08:43, Michael Richardson wrote:
>>
>> I captured this from Reggie.py (diag output below) a few days ago:
>>
>> [9, 3591865773, h'2607F0B0000F000200000000000005F7', 120000,
>> [
>> ["AN_join_registrar", 5, 1, "EST-TLS"],
>> [103, h'2607F0B0000F000200000000000005F7', 6, 80]
>> ]
>> ]
>>
>> (formatting is mine)
>>
>> I'm confused by this.
>> Objective-Name: "AN_join_registrar",
>> objective-flags: 5,
>> loop-count: 1,
>> objective-value: "EST-TLS"
>>
>> and then the locator-option starts with 103...?
>>
>> I guess I'm still confused by why this is:
>> [ [objective1],[locator2-option], [objective2],[locator2-option],...]
>>
>> and not:
>> [ [objective1, locator2-option], [objective2, locator2-option],...]
>>
>> or maybe:
>> [ [[objective1], [locator2-option]], [[objective2], [locator2-option]],...]
>>
>>
>> given that it says:
>> flood-message = [M_FLOOD, session-id, initiator, ttl,
>> +[objective, (locator-option / [])]]
>>
>> so I reviewed RFC8610 so under +[], which is section:
>> section 3.2 (Ocurrence). + => "one or more",
>> section 3.4 (Array).
>>
>> I conclude that I think that Reggie.py is wrong.
>> I think that this is the same mistake that we made in BRSKI.
>>
>> I am using the code at:
>> commit cf716f69e74041081c3eb93131deefe43baea8bb (HEAD -> master,
>> origin/master, origin/HEAD)
>> Author: Brian E Carpenter <[email protected]>
>> Date: Tue Nov 17 12:28:14 2020 +1300
>>
>> Dummy AN-overview for redirect
>>
>>
>> The entire packet is captured as test data at:
>> https://github.com/AnimaGUS-minerva/connect/blob/main/src/graspsamples.rs
>>
>> what I saw:
>> 85 # array(5)
>> 09 # unsigned(9)
>> 1A D61785AD # unsigned(3591865773)
>> 50 # bytes(16)
>> 2607F0B0000F000200000000000005F7 #
>> "&\a\xF0\xB0\x00\x0F\x00\x02\x00\x00\x00\x00\x00\x00\x05\xF7"
>> 1A 0001D4C0 # unsigned(120000)
>> 82 # array(2)
>> 84 # array(4)
>> 71 # text(17)
>> 414E5F6A6F696E5F726567697374726172 # "AN_join_registrar"
>> 05 # unsigned(5)
>> 01 # unsigned(1)
>> 67 # text(7)
>> 4553542D544C53 # "EST-TLS"
>> 84 # array(4)
>> 18 67 # unsigned(103)
>> 50 # bytes(16)
>> 2607F0B0000F000200000000000005F7 #
>> "&\a\xF0\xB0\x00\x0F\x00\x02\x00\x00\x00\x00\x00\x00\x05\xF7"
>> 06 # unsigned(6)
>> 18 50 # unsigned(80)
>>
>>
>> What I think I should have seen:
>>
>> [9, 3591865773, h'2607F0B0000F000200000000000005F7', 120000,
>> [[["AN_join_registrar", 5, 1, "EST-TLS"], [103,
>> h'2607F0B0000F000200000000000005F7', 6, 80]]]]
>>
>> 85 # array(5)
>> 09 # unsigned(9)
>> 1A D61785AD # unsigned(3591865773)
>> 50 # bytes(16)
>> 2607F0B0000F000200000000000005F7 #
>> "&\a\xF0\xB0\x00\x0F\x00\x02\x00\x00\x00\x00\x00\x00\x05\xF7"
>> 1A 0001D4C0 # unsigned(120000)
>> 81 # array(1)
>> 82 # array(2)
>> 84 # array(4)
>> 71 # text(17)
>> 414E5F6A6F696E5F726567697374726172 # "AN_join_registrar"
>> 05 # unsigned(5)
>> 01 # unsigned(1)
>> 67 # text(7)
>> 4553542D544C53 # "EST-TLS"
>> 84 # array(4)
>> 18 67 # unsigned(103)
>> 50 # bytes(16)
>> 2607F0B0000F000200000000000005F7 #
>> "&\a\xF0\xB0\x00\x0F\x00\x02\x00\x00\x00\x00\x00\x00\x05\xF7"
>> 06 # unsigned(6)
>> 18 50 # unsigned(80)
>>
>>
>>
>> --
>> Michael Richardson <[email protected]> . o O ( IPv6 IøT consulting )
>> Sandelman Software Works Inc, Ottawa and Worldwide
>>
>>
>>
>>
>
> _______________________________________________
> Anima mailing list
> [email protected]
> https://www.ietf.org/mailman/listinfo/anima
_______________________________________________
Anima mailing list
[email protected]
https://www.ietf.org/mailman/listinfo/anima
