-
Notifications
You must be signed in to change notification settings - Fork 5
/
draft-gregorio-uritemplate-05.xml
1381 lines (1296 loc) · 59.8 KB
/
draft-gregorio-uritemplate-05.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE rfc SYSTEM "rfc2629.dtd" [
<!ENTITY rfc2119 SYSTEM 'bibxml/reference.RFC.2119.xml'>
<!ENTITY rfc3986 SYSTEM 'bibxml/reference.RFC.3986.xml'>
<!ENTITY rfc3987 SYSTEM 'bibxml/reference.RFC.3987.xml'>
<!ENTITY rfc5234 SYSTEM 'bibxml/reference.RFC.5234.xml'>
<!ENTITY rfc2978 SYSTEM 'bibxml/reference.RFC.2978.xml'>
<!ENTITY rfc3629 SYSTEM 'bibxml/reference.RFC.3629.xml'>
<!ENTITY ASCII SYSTEM 'bibxml/_reference.ANSI.X3-4.1986.xml'>
<!ENTITY UNIV4 SYSTEM 'bibxml/univ4.xml'>
<!ENTITY UTR15 SYSTEM 'bibxml/utr15.xml'>
]>
<!--<?xml-stylesheet type='text/xsl' href='rfc2629.xslt'/ ?>-->
<?rfc toc="yes" ?>
<?rfc symrefs="yes" ?>
<?rfc sortrefs="yes"?>
<?rfc iprnotified="yes" ?>
<?rfc strict="yes" ?>
<?rfc compact="yes" ?>
<?rfc comments="yes" ?>
<?rfc inline="yes" ?>
<?rfc linkmailto="no" ?>
<?rfc tocdepth="3" ?>
<!--
1. Update the docName
2. Update the date
3. Update the Revision History.
-->
<rfc category="std" ipr="pre5378Trust200902" docName="draft-gregorio-uritemplate-05">
<front>
<title>URI Template</title>
<author initials='J.C.' surname="Gregorio" fullname='Joe Gregorio'>
<organization>Google</organization>
<address>
<email>joe@bitworking.org</email>
<uri>http://bitworking.org/</uri>
</address>
</author>
<author initials="R." surname="Fielding" fullname="Roy T. Fielding" role="editor">
<organization abbrev="Adobe">Adobe Systems Incorporated</organization>
<address>
<email>fielding@gbiv.com</email>
<uri>http://roy.gbiv.com/</uri>
</address>
</author>
<author initials='M.H.' surname="Hadley" fullname='Marc Hadley'>
<organization>Oracle</organization>
<address>
<email>Marc.Hadley@oracle.com</email>
<uri>http://oracle.com/</uri>
</address>
</author>
<author initials='M.N.' surname="Nottingham" fullname='Mark Nottingham'>
<organization></organization>
<address>
<email>mnot@pobox.com</email>
<uri>http://mnot.net/</uri>
</address>
</author>
<author initials='D.O.' surname="Orchard" fullname='David Orchard'>
<organization></organization>
<address>
<uri>http://www.pacificspirit.com/</uri>
</address>
</author>
<date day="11" month="Jul" year="2011"/>
<abstract>
<t>
A URI Template is a compact sequence of characters
for describing a range of Uniform Resource Identifiers
through variable expansion.
This specification defines the URI Template
syntax and the process for expanding a URI Template into a
URI reference, along with guidelines for the
use of URI Templates on the Internet.
</t>
</abstract>
<note title="Editorial Note (to be removed by RFC Editor)">
<t>
To provide feedback on this Internet-Draft, join the
<eref target="http://lists.w3.org/Archives/Public/uri/">W3C URI
mailing list (http://lists.w3.org/Archives/Public/uri/)</eref>.
</t>
</note>
</front>
<middle>
<section title="Introduction" anchor="intro">
<section title="Overview" anchor="overview">
<t>
A Uniform Resource Identifier (URI) <xref target="RFC3986"/>
is often used to identify a specific resource within a common
space of similar resources. For example, personal web spaces
are often delegated using a common pattern, such as
</t>
<figure><artwork>
http://example.com/~fred/
http://example.com/~mark/
</artwork></figure>
<t>
or a set of dictionary entries might be grouped in a hierarchy
by the first letter of the term, as in
</t>
<figure><artwork>
http://example.com/dictionary/c/cat
http://example.com/dictionary/d/dog
</artwork></figure>
<t>
or a service interface might be invoked with various user input
in a common pattern, as in
</t>
<figure><artwork>
http://example.com/search?q=cat&lang=en
http://example.com/search?q=dog&lang=fr
</artwork></figure>
<t>
URI Templates provide a mechanism for abstracting a space of
resource identifiers such that the variable parts can be easily
identified and described. URI templates can have many uses,
including discovery of available services, configuring resource
mappings, defining computed links, specifying interfaces, and
other forms of programmatic interaction with resources.
For example, the above resources could be described by the
following URI templates:
</t>
<figure><artwork>
http://example.com/~{username}/
http://example.com/dictionary/{term:1}/{term}
http://example.com/search{?q,lang}
</artwork></figure>
<t>
We define the following terms:
<list style="symbols">
<t>expression -
The text between '{' and '}', including the enclosing braces,
as defined in <xref target="syntax"/>.</t>
<t>expansion -
The string result obtained from a template expression after
processing it according to its expression type, list of variable
names, and value modifiers, as defined in <xref target="expansion"/>.</t>
<t>template processor -
A program or library that, given a URI Template and a set of
variables with values, transforms the template string into a
URI-reference by parsing the template for expressions and
substituting each one with its corresponding expansion.</t>
</list>
</t>
<t>
A URI Template provides both a structural description of a URI
space and, when variable values are provided, a simple instruction
on how to construct a URI corresponding to those values.
A URI Template is transformed into a URI-reference by replacing each
delimited expression with its value as defined by the
expression type and the values of variables named within the
expression. The expression types range from simple string
expansion to multiple key=value lists. The expansions
are based on the URI generic syntax, allowing an implementation
to process any URI Template without knowing the scheme-specific
requirements of every possible resulting URI.
</t>
<t>
For example, the following URI Template includes a
form-style parameter expression, as indicated by the "?" operator
appearing before the variable names.
</t>
<figure><artwork>
http://www.example.com/foo{?query,number}
</artwork></figure>
<t>
Each template expression describes, in a machine-readable manner,
how a URI is to be constructed. In this example,
the expansion process for templates beginning with the
question-mark ("?") operator follows the same pattern
as form-style interfaces on the World Wide Web.
</t>
<figure><artwork>
http://www.example.com/foo{?query,number}
\_____________/
|
|
For each defined variable in [ 'query', 'number' ],
substitute "?" if it is the first substitution or "&"
thereafter, followed by the variable name, '=', and the
variable's value.
</artwork></figure>
<t>
If the variables have the values
</t>
<figure><artwork>
query := "mycelium"
number := 100
</artwork></figure>
<t>
then the expansion of the above URI Template is
</t>
<figure><artwork>
http://www.example.com/foo?query=mycelium&number=100
</artwork></figure>
<t>
Alternatively, if 'query' is undefined, then the expansion
would be
</t>
<figure><artwork>
http://www.example.com/foo?number=100
</artwork></figure>
<t>
or if both variables are undefined, then it would be
</t>
<figure><artwork>
http://www.example.com/foo
</artwork></figure>
<t>
A URI Template may be provided in absolute form, as in the examples
above, or in relative form. A template MUST be expanded before the
resulting reference can be resolved from relative to absolute form.
</t>
<t>
Although the URI syntax is used for the result, the template
string is allowed to contain the broader set of characters
that can be found in IRI references <xref target="RFC3987"/>.
A URI Template is therefore also an IRI template, and the result
of template processing can be rendered as an IRI by transforming
each of the pct-encoded sequences to their corresponding Unicode
character if that character is not in the reserved set.
</t>
</section>
<section title="Levels and Expression Types" anchor="types">
<t>
URI Templates are similar to a macro language with a fixed set of
macro definitions: the expression type determines the expansion
process. The default expression type is simple string expansion, wherein
a single named variable is replaced by its value as a string after UTF-8
encoding the characters and then pct-encoding any octets that are
not in the unreserved set.
</t>
<t>
Since most template processors implemented prior to this specification
have only implemented the default expression type, we refer to these as
Level 1 templates.
</t>
<figure><artwork>
.-----------------------------------------------------------------.
| Level 1 examples, with variables having values of |
| |
| var := "value" |
| hello := "Hello World!" |
| empty := "" |
| undef := null |
| |
|-----------------------------------------------------------------|
| Op Expression Expansion |
|-----------------------------------------------------------------|
| | Simple string expansion (Sec 3.2.2) |
| | |
| | {var} value |
| | {hello} Hello%20World%21 |
| | O{empty}X OX |
| | O{undef}X OX |
`-----------------------------------------------------------------'
</artwork></figure>
<t>
Level 2 templates add the ability to define a default string, which is
substituted if the variable is undefined, and the plus ("+") operator
for expansion values that are allowed to include reserved characters.
</t>
<figure><artwork>
.-----------------------------------------------------------------.
| Level 2 examples, with variables having values of |
| |
| var := "value" |
| hello := "Hello World!" |
| empty := "" |
| undef := null |
| path := "/foo/bar" |
| |
|-----------------------------------------------------------------|
| Op Expression Expansion |
|-----------------------------------------------------------------|
| | String expansion with defaults (Sec 3.2.2) |
| | |
| | {var|default} value |
| | O{empty|default}X OX |
| | O{undef|default}X OdefaultX |
| | |
|-----+-----------------------------------------------------------|
| + | Reserved expansion with defaults (Sec 3.2.3) |
| | |
| | {+var} value |
| | {+hello} Hello%20World! |
| | {+path}/here /foo/bar/here |
| | here?ref={+path} here?ref=/foo/bar |
| | up{+path}{x}/here up/foo/bar1024/here |
| | up{+empty|/1}/here up/here |
| | up{+undef|/1}/here up/1/here |
| | |
`-----------------------------------------------------------------'
</artwork></figure>
<t>
Level 3 templates add more complex operators for lists of
comma-separated values, dot-prefixed labels, slash-prefixed path
segments, semicolon-prefixed path parameters, and the forms-style
construction of a query syntax consisting of key=value pairs that
are separated by an ampersand character.
</t>
<figure><artwork>
.-----------------------------------------------------------------.
| Level 3 examples, with variables having values of |
| |
| var := "value" |
| hello := "Hello World!" |
| empty := "" |
| undef := null |
| path := "/foo/bar" |
| x := "1024" |
| y := "768" |
| |
|-----------------------------------------------------------------|
| Op Expression Expansion |
|-----------------------------------------------------------------|
| | String expansion with multiple variables (Sec 3.2.2) |
| | |
| | {x,y} 1024,768 |
| | {x,hello,y} 1024,Hello%20World%21,768 |
| | ?{x,empty} ?1024, |
| | ?{x,undef} ?1024 |
| | ?{undef,y} ?768 |
| | ?{x,undef|0} ?1024,0 |
| | |
|-----+-----------------------------------------------------------|
| + | Reserved expansion with multiple variables (Sec 3.2.3) |
| | |
| | {+x,hello,y} 1024,Hello%20World!,768 |
| | {+path,x}/here /foo/bar/1024/here |
| | |
|-----+-----------------------------------------------------------|
| . | Label expansion, dot-prefixed (Sec 3.2.4) |
| | |
| | X{.var} X.value |
| | X{.empty} X. |
| | X{.undef} X |
| | |
|-----+-----------------------------------------------------------|
| / | Path segments, slash-prefixed (Sec 3.2.5) |
| | |
| | {/var} /value |
| | {/var,empty} /value/ |
| | {/var,undef} /value |
| | |
|-----+-----------------------------------------------------------|
| ; | Path-style parameters, semicolon-prefixed (Sec 3.2.6) |
| | |
| | {;x,y} ;x=1024;y=768 |
| | {;x,y,empty} ;x=1024;y=768;empty |
| | {;x,y,undef} ;x=1024;y=768 |
| | |
|-----+-----------------------------------------------------------|
| ? | Form-style query, ampersand-separated (Sec 3.2.7) |
| | |
| | {?x,y} ?x=1024&y=768 |
| | {?x,y,empty} ?x=1024&y=768&empty= |
| | {?x,y,undef} ?x=1024&y=768 |
| | |
`-----------------------------------------------------------------'
</artwork></figure>
<t>
Finally, Level 4 templates add the ability to specify value modifiers
as a suffix to the variable name. The prefix modifier (":") indicates
that only a limited number of characters from the beginning of the
value are used by the expansion. The explode ("*") modifier tells
the expansion process to treat the value as a multivalued structure ---
a list of values or key=value pairs -- rather than as a single string.
</t>
<figure><artwork>
.-----------------------------------------------------------------.
| Level 4 examples, with variables having values of |
| |
| var := "value" |
| hello := "Hello World!" |
| path := "/foo/bar" |
| list := [ "red", "green", "blue" ] |
| keys := [("semi", ";"), ("dot", ".")] |
| |
| Op Expression Expansion |
|-----------------------------------------------------------------|
| | String expansion with value modifiers (Sec 3.2.2) |
| | |
| | {var:3} val |
| | {var:30} value |
| | {list} red,green,blue |
| | {list*} red,green,blue |
| | {keys} semi,%3B,dot,.,comma,%2C |
| | {keys*} semi=%3B,dot=.,comma=%2C |
| | |
|-----+-----------------------------------------------------------|
| + | Reserved expansion with value modifiers (Sec 3.2.3) |
| | |
| | {+path:6}/here /foo/b/here |
| | {+list} red,green,blue |
| | {+list*} red,green,blue |
| | {+keys} semi,;,dot,.,comma,, |
| | {+keys*} semi=;,dot=.,comma=, |
| | |
|-----+-----------------------------------------------------------|
| . | Label expansion, dot-prefixed (Sec 3.2.4) |
| | |
| | X{.var:3} X.val |
| | X{.list} X.red,green,blue |
| | X{.list*} X.red.green.blue |
| | X{.keys} X.semi,%3B,dot,.,comma,%2C |
| | X{.keys*} X.semi=%3B.dot=..comma=%2C |
| | |
|-----+-----------------------------------------------------------|
| / | Path segments, slash-prefixed (Sec 3.2.5) |
| | |
| | {/var:1,var} /v/value |
| | {/list} /red,green,blue |
| | {/list*} /red/green/blue |
| | {/list*,path:4} /red/green/blue/%2Ffoo |
| | {/keys} /semi,%3B,dot,.,comma,%2C |
| | {/keys*} /semi=%3B/dot=./comma=%2C |
| | |
|-----+-----------------------------------------------------------|
| ; | Path-style parameters, semicolon-prefixed (Sec 3.2.6) |
| | |
| | {;hello:5} ;hello=Hello |
| | {;list} ;red,green,blue |
| | {;list*} ;red;green;blue |
| | {;keys} ;semi,%3B,dot,.,comma,%2C |
| | {;keys*} ;semi=%3B;dot=.;comma=%2C |
| | |
|-----+-----------------------------------------------------------|
| ? | Form-style query, ampersand-separated (Sec 3.2.7) |
| | |
| | {?var:3} ?var=val |
| | {?list} ?list=red,green,blue |
| | {?list*} ?list=red&list=green&list=blue |
| | {?keys} ?keys=semi,%3B,dot,.,comma,%2C |
| | {?keys*} ?semi=%3B&dot=.&comma=%2C |
| | |
`-----------------------------------------------------------------'
</artwork></figure>
</section>
<section title="Design Considerations" anchor="design">
<t>
Mechanisms similar to URI Templates have been defined within
several specifications, including WSDL, WADL and OpenSearch.
This specification extends and formally defines the syntax so
that URI Templates can be used consistently across multiple
Internet applications and within Internet message fields,
while at the same time retaining compatibility with those
earlier definitions.
</t>
<t>
The URI Template syntax has been designed to carefully balance
the need for a powerful expansion mechanism with the need for
ease of implementation. The syntax is designed to be trivial
to parse while at the same time providing enough flexibility to
express many common template scenarios. Implementations are able
to parse the template and perform the expansions in a single pass.
</t>
<t>
Templates are simple and readable when used with common
examples because the single-character operators match the URI
generic syntax delimiters. The operator's associated delimiter
(";", "?", "/", and ".") is omitted when none of the listed variables
are defined. Likewise, the expansion process for ";"
(path-style parameters) will omit the "=" when the variable value
is empty, whereas the process for "?" (form-style parameters)
will not omit the "=" when the value is empty. Multiple variables
and list values have their values joined with "," if there is no
predefined joining mechanism for the operator. Only one operator,
plus ("+"), will substitute unencoded reserved characters found
inside the variable values; the other operators will pct-encode
reserved characters found in the variable values prior to expansion.
</t>
<t>
The most common cases for URI spaces can be described with
Level 1 template expressions. If we were only concerned with
URI generation, then the template syntax could be limited to
just simple variable expansion, since more complex forms could
be generated by changing the variable values. However, URI
Templates have the additional goal of describing the layout of
identifiers in terms of preexisting data values. The template
syntax therefore includes operators that reflect how
resource identifiers are commonly allocated. Likewise, since
prefix substrings are often used to partition large spaces of
resources, modifiers on variable values provide a way
to specify both the substring and the full value string
with a single variable name.
</t>
</section>
<section title="Limitations" anchor="limitations">
<t>
Since a URI Template describes a superset of the identifiers,
there is no implication that every possible expansion for
each delimited variable expression corresponds to a URI of an
existing resource. Our expectation is that an application
constructing URIs according to the template will be provided
with an appropriate set of values for the variables being
substituted and will be able to cope with any errors that might
occur when the resulting URI is used for name resolution or access.
</t>
<t>
URI Templates are not URIs: they do not identify
an abstract or physical resource, they are not parsed as URIs,
and should not be used in places where a URI would be expected
unless the template expressions will be expanded by a template
processor prior to use. Distinct field, element, or attribute
names should be used to differentiate protocol elements that
carry a URI Template from those that expect a URI reference.
</t>
</section>
<section title="Notational Conventions" anchor="notation">
<t>
The key words "MUST", "MUST NOT", "REQUIRED", "SHALL",
"SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED",
"MAY", and "OPTIONAL" in this document are to be
interpreted as described in <xref target="RFC2119"/>.
</t>
<t>
This specification uses the Augmented Backus-Naur Form (ABNF)
notation of <xref target="RFC5234"/>. The following ABNF rules
are imported from the normative references <xref target="RFC5234"/>,
<xref target="RFC3986"/>, and <xref target="RFC3987"/>.
</t>
<figure><artwork type="abnf">
ALPHA = %x41-5A / %x61-7A ; A-Z / a-z
DIGIT = %x30-39 ; 0-9
HEXDIG = DIGIT / "A" / "B" / "C" / "D" / "E" / "F"
pct-encoded = "%" HEXDIG HEXDIG
unreserved = ALPHA / DIGIT / "-" / "." / "_" / "~"
reserved = gen-delims / sub-delims
gen-delims = ":" / "/" / "?" / "#" / "[" / "]" / "@"
sub-delims = "!" / "$" / "&" / "'" / "(" / ")"
/ "*" / "+" / "," / ";" / "="
ucschar = %xA0-D7FF / %xF900-FDCF / %xFDF0-FFEF
/ %x10000-1FFFD / %x20000-2FFFD / %x30000-3FFFD
/ %x40000-4FFFD / %x50000-5FFFD / %x60000-6FFFD
/ %x70000-7FFFD / %x80000-8FFFD / %x90000-9FFFD
/ %xA0000-AFFFD / %xB0000-BFFFD / %xC0000-CFFFD
/ %xD0000-DFFFD / %xE1000-EFFFD
iprivate = %xE000-F8FF / %xF0000-FFFFD / %x100000-10FFFD
</artwork></figure>
</section>
<section title='Character Encoding and Unicode Normalization'
anchor="unicode-normal">
<t>
This specification uses the terms "character" and "coded
character set" in accordance with the definitions provided
in <xref target="RFC2978"/>, and "character encoding" in
place of what <xref target="RFC2978"/> refers to as a "charset".
</t>
<t>
The ABNF notation defines its terminal values to be
non-negative integers (codepoints) that are a superset of the
US-ASCII coded character set <xref target="ASCII"/>. This
specification defines terminal values as codepoints within the
Unicode coded character set <xref target="UNIV4"/>.
</t>
<t>
In spite of the syntax and template expansion process being defined
in terms of Unicode codepoints, it should be understood that
templates occur in practice as a sequence of characters in
whatever form or encoding is suitable for the context in which
they occur, whether that be octets embedded in a network protocol
element or paint applied to the side of a bus.
This specification does not mandate any particular character encoding
for mapping between URI Template characters and the octets used to
store or transmit those characters.
When a URI Template appears in a protocol element, the character
encoding is defined by that protocol; without such a definition,
a URI Template is assumed to be in the same character encoding as
the surrounding text. It is only during the process of template
expansion that a string of characters in a URI Template MUST be
transformed into its corresponding sequence of normalized
Unicode codepoints.
</t>
<t>
The Unicode Standard <xref target="UNIV4"/> defines various
equivalences between sequences of characters for various purposes.
Unicode Standard Annex #15 <xref target="UTR15"/> defines various
Normalization Forms for these equivalences, in particular
Normalization Form KC (NFKC: Compatibility Decomposition followed
by Canonical Composition). The normalization form determines how
to consistently encode the equivalent strings.
</t>
<t>
In theory, all URI processing implementations, including template
processors, should use the same normalization form for generating
or handling a URI reference. In practice, they do not. However,
template processors transform the template literals and variable
values from characters to codepoints, expand the expressions, and
then transform the resulting codepoints back to characters again.
In order to promote consistent generation of URI references from
templates, template processors MUST ensure that the template and
each variable value is in NFKC when they are transformed to
a sequence of Unicode codepoints. The final step of template
processing will encode the expanded sequence of Unicode
codepoints, which should still be in NFKC, as UTF-8
<xref target="RFC3629"/> and then further pct-encode any octets
within the UTF-8 string that are not allowed in a URI.
</t>
</section>
</section>
<section title="Syntax" anchor="syntax">
<t>
A URI Template is a string of printable Unicode characters
that contains zero or more embedded variable expressions, each
expression being delimited by a matching pair of braces ('{', '}').
</t>
<figure><artwork type="abnf">
URI-Template = *( literals / expression )
</artwork></figure>
<t>
Although templates (and template processor implementations) are
described above in terms of four gradual levels, we define the
URI-Template syntax in terms of the ABNF for Level 4. A template
processor limited to lower level templates MAY exclude the ABNF
rules applicable only to higher levels. However, it is RECOMMENDED
that all parsers implement the full syntax such that unsupported
levels can be properly identified as such to the end user.
</t>
<t>
Each character in a URI Template MUST be transcoded to an NFKC
Unicode codepoint prior to evaluation. If a character sequence
in the template consists of pct-encoded triplets corresponding
to a valid sequence of octets in UTF-8 that represent a character
not in the reserved set, then the triplets MUST be replaced with
their corresponding Unicode codepoint. In other words, pct-encoded
UTF-8 found within the template is decoded prior to further processing
unless the corresponding character is in the reserved set.
</t>
<section title="Literals" anchor="literals">
<t>
The characters outside of expressions in a URI Template string
are intended to be translated literally to the URI-reference.
</t>
<figure><artwork type="abnf">
literals = %x21 / %x23-24 / %x26 / %x28-3B / %x3D / %x3F-5B
/ %x5D-5F / %x61-7A / %x7E / ucschar / iprivate
/ pct-encoded
; any Unicode character except: CTL, SP,
; DQUOTE, "'", "%" (aside from pct-encoded),
; "<", ">", "\", "^", "`", "{", "|", "}"
</artwork></figure>
<t>
A sequence of pct-encoded literals that corresponds to a UTF-8
encoded character that is not within the reserved set will be
transcoded during template processing, as describe above. If
such a character is not in the unreserved set, it will be
re-pct-encoded during the final step of template processing.
Unreserved characters will therefore be normalized to their
unencoded form as a side-effect of template processing.
</t>
</section>
<section title="Expressions" anchor="expressions">
<t>
Template expressions are the parameterized parts of a URI Template.
Each expression contains an optional operator, which defines the
expression type and its corresponding expansion process, followed by a
comma-separated list of variable specifiers (variable names and
optional value modifiers). If no operator is provided, the expression
defaults to simple variable expansion of unreserved values.
</t>
<figure><artwork type="abnf">
expression = "{" [ operator ] variable-list "}"
operator = "+" / "." / "/" / ";" / "?" / op-reserve
op-reserve = "," / "!" / "@"
; reserved for local use: "$" / "(" / ")"
</artwork></figure>
<t>
</t>
<t>
The operator characters have been chosen to reflect each of their roles
as reserved characters in the URI generic syntax. The operators defined
by this specification include:
plus ("+") for substituting values that may contain reserved characters;
dot (".") for substituting values as a sequence of name labels prefixed
by ".";
slash ("/") for substituting values as a sequence of path segments
separated by "/";
semicolon (";") for substituting key=value pairs as path parameters
prefixed by ";"; and,
question-mark ("?") for substituting a query component beginning
with "?" and consisting of key=value pairs separated by "&".
These operators will be described in detail in <xref target="expansion"/>.
</t>
<t>
The operator characters comma (","), exclamation ("!"), and at-sign ("@")
are reserved for future extensions. A processor that unexpectedly
encounters such an extension operator SHOULD pass the expression
through unexpanded and MAY also indicate a warning to the invoking
application.
</t>
<t>
The expression syntax specifically excludes use of the dollar ("$")
and parentheses ["(" and ")"] characters so that they remain
available for local language extensions outside the scope of this
specification.
</t>
</section>
<section title="Variables" anchor="variables">
<t>
After the operator (if any), each expression contains a list of
one or more comma-separated variable specifiers (varspec).
The variable names serve multiple purposes: documentation for
what kinds of values are expected, identifiers for associating
values within a template processor, and the string to use
for each key on key=value expansions.
</t>
<figure><artwork type="abnf">
variable-list = varspec *( "," varspec )
varspec = varname [ modifier ] [ "|" default ]
varname = varchar *( varchar / "." )
varchar = ALPHA / DIGIT / "_" / ucschar / iprivate
/ pct-encoded
</artwork></figure>
<t>
An expression MAY reference variables that are unknown
to the template processor or whose value is set to a special
"undefined" value, such as undef or null. Such undefined
variables are given special treatment by the expansion process.
</t>
<t>
A variable value that is a string of length zero is not considered
undefined; it has the defined value of an empty string.
</t>
<t>
A variable may have a composite or structured value, such as a
list of values, an associative array of (key, value) pairs, or
a structure of components defined by some separate schema.
Such value types are not directly indicated by the template
syntax, but do have an impact on the expansion process. A
composite or structured value with zero member values is
considered undefined.
</t>
<t>
If a variable appears more than once in an expression or
within multiple expressions of a URI Template, the value of
that variable MUST remain static throughout the expansion
process (i.e., the variable must have the same value for the
purpose of calculating each expansion).
</t>
</section>
<section title="Value Modifiers" anchor="modifiers">
<t>
Each of the variables in a Level 4 template expression can have
a modifier indicating either that its expansion is limited to a
prefix of the variable's value string or that its expansion is
exploded into components based on an external type or schema
associated with that variable.
</t>
<figure><artwork type="abnf">
modifier = prefix / explode
</artwork></figure>
<section title="Prefix Values" anchor="prefix-values">
<t>
A prefix modifier indicates that the variable expansion is limited
to a prefix of the variable's value string. Prefix modifiers are
often used to partition an identifier space hierarchically, as is
common in reference indices and hash-based storage. It also serves
to limit the expanded value to a maximum number of characters.
</t>
<figure><artwork type="abnf">
prefix = ":" offset
max-length = %x31-39 *DIGIT ; positive integer
</artwork></figure>
<t>
The max-length is a positive integer that refers to a maximum number
of characters from the beginning of the variable's value as a
Unicode string.
Note that this numbering is in characters, not octets, in order to
avoid splitting between the octets of a multi-octet UTF-8 encoded
character or within a pct-encoded triplet.
If the max-length is greater than the length of the variable's
value, then the entire value string is used.
</t>
<t>
For example,
</t>
<figure><artwork>
Given the variable assignments
var := "value"
semi := ";"
Example Template Expansion
{var} value
{var:20} value
{var:3} val
{semi} %3B
{semi:2} %3B
</artwork></figure>
</section>
<section title="Component Values" anchor="component-values">
<t>
An explode modifier ("*") indicates that the
variable represents a composite value that may be substituted
in full or partial forms, depending on the variable's type or
schema. Since URI Templates do not contain an indication of
type or schema, this is assumed to be determined by context.
An example context is a mark-up element or header field that
contains one attribute that is a template and one or more other
attributes that define the schema applicable to variables found
in the template. Likewise, a typed programming language might
differentiate variables as strings, lists, associative arrays,
or structures.
</t>
<figure><artwork type="abnf">
explode = "*"
</artwork></figure>
<t>
Explode modifiers improve brevity in the URI Template syntax.
For example, a resource that provides a geographic map for a
given street address might accept a hundred permutations on
fields for address input, including partial addresses (e.g.,
just the city or postal code). Such a resource could be
described as a template with each and every address component
listed in order, or with a far more simple template that makes
use of an explode modifier, as in
</t>
<figure><artwork>
/mapper{?address*}
</artwork></figure>
<t>
along with some context that defines what the variable named
"address" can include, such as by reference to some other
standard for addressing (e.g., UPU S42 or AS/NZS 4819:2003).
A recipient aware of the schema can then provide appropriate
expansions, such as:
</t>
<figure><artwork>
/mapper?city=Newport%20Beach&state=CA
</artwork></figure>
<t>
If an explode modifier is present, the expansion process for that
variable, as defined in <xref target="expansion"/>, is dependent on
both the operator being used and the type or schema of the value
being substituted.
</t>
</section>
</section>
<section title="Value Defaults" anchor="defaults">
<t>
Each of the variables in Level 2 (and above) templates may also
be supplied with a default value to be used when a template processor
determines that variable to be undefined. The default value is
limited to unreserved characters, the equal sign ("="), and
pct-encoded triplets, since the default is provided in the exact
form that it would appear in the expanded URI reference.
The default is not affected by any variable modifiers, since we
assume that the default string provided in the expression already
reflects the desired value.
</t>
<figure><artwork type="abnf">
default = *( unreserved / "=" / pct-encoded )
</artwork></figure>
<t>
The following examples illustrate how default values work with
different variable types.
</t>
<figure><artwork>
Given the variable assignments:
var := "value"
name := [ "Fred", "Wilma", "Pebbles" ]
favs := [("color","red"), ("volume","high")]
empty_keys := []
empty := ""
undef := null
Example Template Expansion
{var|default} value
{undef|default} default
{undef:3|default} default
x{empty}y xy
x{empty|_}y xy
x{undef}y xy
x{undef|_}y x_y
x{.name|none} x.Fred,Wilma,Pebbles
x{.name*|none} x.Fred.Wilma.Pebbles
x{.empty} x.
x{.empty|none} x.
x{.undef} x
x{.undef|none} x.none
x{/name|none} x/Fred,Wilma,Pebbles
x{/name*|none} x/Fred/Wilma/Pebbles
x{/undef} x
x{/undef|none} x/none
x{/empty} x/
x{/empty|none} x/
x{/empty_keys} x
x{/empty_keys|none} x/none
x{/empty_keys*} x
x{/empty_keys*|none} x/none
x{;name|none} x;name=Fred,Wilma,Pebbles
x{;favs|none} x;favs=color,red,volume,high
x{;favs*|none} x;color=red;volume=high
x{;empty} x;empty
x{;empty|none} x;empty
x{;undef} x
x{;undef|none} x;none
x{;undef|foo=y} x;foo=y
x{?var|none} x?var=value
x{?favs|none} x?favs=color,red,volume,high
x{?favs*|none} x?color=red&volume=high
x{?empty} x?empty=
x{?empty|foo=none} x?empty=
x{?undef} x
x{?undef|foo=none} x?foo=none
x{?empty_keys} x
x{?empty_keys|none} x?none
x{?empty_keys|y=z} x?y=z
x{?empty_keys*|y=z} x?y=z
</artwork></figure>
</section>
</section>
<section title="Expansion" anchor="expansion">
<t>
The process of URI Template expansion is to scan the template
string from beginning to end, copying literal characters as-is
and replacing each expression with the result of applying the
expression's operator to the value of each variable named in
the expression.
</t>
<t>
Each variable value MUST be formed as a sequence of NFKC Unicode
codepoints prior to template expansion. A value is assumed to be
raw data that might need to be encoded by the template processor
during expansion, depending on the expression type.
</t>
<t>
If a template processor encounters an error outside of an expression,
such as a character sequence that does not match the <URI-Template>
grammar, then processing of the template SHOULD cease, the URI-reference
result SHOULD be undefined, and the location and type of error SHOULD be
indicated to the invoking application. If an error is encountered inside
an expression, such as an operator or value modifier that it does not
recognize or cannot support, then the expression SHOULD be copied to
the result unexpanded, processing of the remainder of the template SHOULD
continue, and the location and type of error SHOULD be indicated to
the invoking application.
</t>
<section title='Literal Expansion' anchor="literal-expansion">
<t>
If the literal character is allowed anywhere in the URI
syntax (unreserved / reserved), then it is copied directly
to the result string. Otherwise, the pct-encoded equivalent
of the literal character is copied to the result string by
encoding the character in UTF-8 (a sequence of octets) and
then encoding each octet as a pct-encoded triplet.
</t>
</section>
<section title='Expression Expansion' anchor="expression-expansion">
<t>
Each expression is indicated by an opening brace ("{") character
and continues until the next closing brace ("}"). The expression
is expanded by determining the expression type and then following
that type's expansion process for each comma-separated varspec
in the expression. Level 1 templates are limited to the default
operator (simple string value expansion) and a single variable
per expression. Level 2 templates are limited to a single