[sv-bc] bit stream types definition

The bit stream type definition says:
4.16 Bit-stream casting

Type casting can also be applied to unpacked arrays and structs. It is thus
possible to convert freely between bitstream

types using explicit casts. Types that can be packed into a stream of bits
are called bit-stream types. A bitstream

type is a type consisting of the following:

- Any integral, packed, or string type

- Unpacked arrays, structures, or classes of the above types

- Dynamically-sized arrays (dynamic, associative, or queues) of any of the
above types

This definition is recursive, so that, for example, a structure containing a
queue of int is a bit-stream type.

 

If I interpret this strictly, a class data type is only a bit stream type if
it contains

data declaration elements which are of any integral, packed or string types
(those are strictly the "above" types). 

Is that what was intended (to not include unpacked arrays, and unpacked
structures data declaration elements)?

 

I think it is not what was intended.

Rather it should have been written as:

A bit-stream type is a type consisting of the following:

- Any integral, packed, or string type

- Unpacked arrays which element type is a bit-stream type,

- Unpacked structures, or classes, which only contains data members which
are bit -stream types.

- classes, which only contains data declarations which have bit-stream
types.

- Dynamically-sized arrays (dynamic, associative, or queues) which element
types are bit-stream types.

 

Note in 4.16 and 8.17 bit-stream type is incorrectly spelled bitstream
(without the -)

4.16: (2 occurrences)

It is thus possible to convert freely between bitstream

types using explicit casts.

 A bitstream

type is a type consisting of the following:

8.17: (1 occurrence)

The streaming operators perform packing of bitstream

types (see 4.16) into a sequence of bits in a user-specified order. 

Francoise