GitLab

In order to solve some issues with the Add1() attribute, a new attribute AddCarry() is proposed as an attribute available for Pablo output streams.

This attribute indicates that a FixedRate output stream is conditionally extended one position when the stream has a 1 bit at the EOFbit position (i.e. one past end of file). That is, in the event there is a 1 bit in this stream at the EOFbit position, that bit is emitted to the output stream and the final ProducedItemCount is incremented by 1 in comparison to the AvailableItemCount of the principal reference stream.

Otherwise, when the bit at the EOFbit position is 0, then no bit is emitted and the ProducedItemCount is not incremented.