Re: Problem with Position of the enumeration Type

["G.B." <bauhaus@notmyhomepage.invalid>]

On 23.01.19 22:42, Niklas Holsti wrote:
> 
> As others have also noted, enumeration representation clauses are used mostly when the enumeration value is an input (say, from some memory-mapped control register, or from a binary input file) or an output. Communication protocols and HW interfaces often define fields that encode some finite set of possible logical values/meanings, but where the encoding has gaps.
> 
> A final note: if you use an enumerated type for an input value, it is wise to check if the input is valid before using it. Use the 'Valid attribute for this. However, this attribute can also have a non-trivial cost. For example, the compiler may implement the function call E_Test'Valid(E) by code that compares the (representation of) E against each of the valid values 10, 21, 34, 100, 255 in turn (although a better compiler would use a binary search).

Has it been pointed out that one can use two enum types
together, one for I/O and the other for internal purposes
and then simply convert?

    type E_Test is (A, B, C);

    type E_for_IO is new E_Test;
    for E_for_IO use
       (A => 2#0000_1010#
        B => 2#0001_0101#
        C => 2#0010_0010#);

...

    some_E_Test := E_Test (some_E_for_IO);


-- 
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff