Add missing type assignment operator

[ctf.git] / common-trace-format-proposal.txt

diff --git a/common-trace-format-proposal.txt b/common-trace-format-proposal.txt
index 4cb69429e9c0256ee8d46d261e34f924fe747ce4..4cd7e7c751fcdbb851ac1f0c500471826827a269 100644 (file)
--- a/common-trace-format-proposal.txt
+++ b/common-trace-format-proposal.txt
@@ -68,14 +68,10 @@ A metadata event stream contains information on trace event types. It describes:
 3. Event stream
 
 An event stream is divided in contiguous event packets of variable size. These
 3. Event stream
 
 An event stream is divided in contiguous event packets of variable size. These

-subdivisions have a variable size. An event packet can contain a certain amount
-of padding at the end. The rationale for the event stream design choices is
-explained in Appendix B. Stream Header Rationale.
-
-An event stream is divided in contiguous event packets of variable size. These
-subdivisions have a variable size. An event packet can contain a certain amount
-of padding at the end.  The stream header is repeated at the beginning of each
-event packet.
+subdivisions have a variable size. An event packet can contain a certain
+amount of padding at the end. The stream header is repeated at the
+beginning of each event packet. The rationale for the event stream
+design choices is explained in Appendix B. Stream Header Rationale.

 
 The event stream header will therefore be referred to as the "event packet
 header" throughout the rest of this document.
 
 The event stream header will therefore be referred to as the "event packet
 header" throughout the rest of this document.


@@ -795,7 +791,8 @@ similarly to C99. The enumeration type specifier and variant tag name
 (both specified with "<" ">") are part of the type specifier.
 
 A definition associates a type to a location in the event structure
 (both specified with "<" ">") are part of the type specifier.
 
 A definition associates a type to a location in the event structure

-hierarchy (see Section 6).
+hierarchy (see Section 6). This association is denoted by ":=", as shown
+in Section 7.3.

 
 
 7.2 Metadata Scopes
 
 
 7.2 Metadata Scopes


@@ -853,7 +850,7 @@ consumption, for each event, the current trace context is therefore
 readable by accessing the upper dynamic scopes.
 
 
 readable by accessing the upper dynamic scopes.
 
 

-7.2 Metadata Examples
+7.3 Metadata Examples

 
 The grammar representing the CTF metadata is presented in
 Appendix C. CTF Metadata Grammar. This section presents a rather ligher
 
 The grammar representing the CTF metadata is presented in
 Appendix C. CTF Metadata Grammar. This section presents a rather ligher


@@ -1247,6 +1244,9 @@ unary-operator: one of
 assignment-operator:
        =
 
 assignment-operator:
        =
 

+type-assignment-operator:
+       :=
+

 constant-expression:
        unary-expression
 
 constant-expression:
        unary-expression
 


@@ -1287,6 +1287,7 @@ type-specifier:
        unsigned
        _Bool
        _Complex
        unsigned
        _Bool
        _Complex

+       _Imaginary

        struct-specifier
        variant-specifier
        enum-specifier
        struct-specifier
        variant-specifier
        enum-specifier