Skip to content

Commit 44ef2ca

Browse files
committed
Fix document
1 parent c574c7f commit 44ef2ca

2 files changed

Lines changed: 6 additions & 6 deletions

File tree

docs/src/lvs/binary-format.rst

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -28,10 +28,10 @@ This page describes version ``0x00011000``.
2828
*PatternEdge
2929
*SignConstraint
3030
31-
NodeId = NODE-TYPE TLV-LENGTH NonNegativeInteger
32-
Parent = NODE-TYPE TLV-LENGTH NonNegativeInteger
31+
NodeId = NODE-ID-TYPE TLV-LENGTH NonNegativeInteger
32+
Parent = PARENT-ID-TYPE TLV-LENGTH NonNegativeInteger
3333
SignConstraint = KEY-NODE-ID-TYPE TLV-LENGTH NonNegativeInteger
34-
RuleName = IDENTIFIER-TYPE TLV-LENGTH CNAME
34+
RuleName = IDENTIFIER-TYPE TLV-LENGTH "#" CNAME
3535
CNAME = ("_" / ALPHA) *("_" / ALPHA / DIGIT)
3636
3737
ValueEdge = VALUE-EDGE-TYPE TLV-LENGTH
@@ -52,7 +52,7 @@ This page describes version ``0x00011000``.
5252
UserFnCall = USER-FN-CALL-TYPE TLV-LENGTH
5353
FnId
5454
*UserFnArg
55-
FnId = USER-FN-ID-TYPE TLV-LENGTH CNAME
55+
FnId = USER-FN-ID-TYPE TLV-LENGTH "$" CNAME
5656
UserFnArg = USER-FN-ARG-TYPE TLV-LENGTH (Value / Tag)
5757
5858
TagSymbol = TAG-SYMBOL-TYPE TLV-LENGTH

docs/src/lvs/lvs.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -297,7 +297,7 @@ Based on the above specifications, the trust schema can be written as:
297297
// The platform prefix definition. The pair of quotes means that it can only be matched by the identical component.
298298
#platform: "ndn"/"blog"
299299
// The certificate name suffix definition. Each underscore can be matched by an arbitrary pattern except that contains slash.
300-
#KEY="KEY"/_/_/_
300+
#KEY: "KEY"/_/_/_
301301
// The root certificate definition, i.e., /ndn/blog/KEY/<key-id>/<issuer>/<cert-id>.
302302
#root: #platform/#KEY
303303
// Admin's certificate definition. The non-sharp patterns, role and adminID, are sent from the application. Each pattern can match an arbitrary components, but the matched components for the same pattern should be the same. The constraint shows that the component "_role" must be "admin". The underscore means that the matched components for the pattern "_role" may not be identical in the chain. The admin's certificate must be signed by the root certificate.
@@ -327,7 +327,7 @@ With the string of trust schema and the user function dictionary, we can compile
327327
328328
lvs_text = r'''
329329
#platform: "ndn"/"blog"
330-
#KEY="KEY"/_/_/_
330+
#KEY: "KEY"/_/_/_
331331
#root: #platform/#KEY
332332
#admin: #platform/_role/adminID/#KEY & {_role: "admin"} <= #root
333333
#author: #platform/_role/ID/#KEY & {_role: "author", ID: $isValidID()} <= #admin

0 commit comments

Comments
 (0)