-
Notifications
You must be signed in to change notification settings - Fork 4
/
323.txt
27 lines (16 loc) · 1.16 KB
/
323.txt
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
* DocumentIndex
[2] A DocumentIndex is a scalar value used to identify a source data stream. It must be a true value. A positive integer should be used.
[3] The value [CODE[-1]] represents that the source is an unknown data stream.
* CharacterIndex
[4] A CharacterIndex is a non-negative integer representing the location of a character in the given source character stream. It is the offset from the beginning of the character string.
;; [5] It is unclear whether "an unknown character index" is necessary or not at the time of writing. If necessary, the value [CODE[-1]] will be used.
* IndexedStringSegment
[6] An IndexedStringSegment is an array reference containing a character string,
a DocumentIndex, and a CharacterIndex.
[7] The pair of the DocumentIndex and the CharacterIndex identifies the source
location of the first character of the character string.
[8] An IndexedStringSegment represents the character string.
* IndexedString
[1] An IndexedString is an array reference containing zero or more IndexedStringSegment,
representing a string consist of concatenation of strings represented by
the IndexedStringSegments, in order.