1 with Ada
.unchecked_conversion
;
3 package Validity_Check2_Pkg
is
5 type Op_Code
is (One
, Two
, Three
, Four
);
7 subtype Valid_Msg
is Integer range 0 .. 15;
9 function Op_Code_To_Msg
is
10 new Ada
.Unchecked_Conversion
(Source
=> Op_code
, Target
=> Valid_Msg
);
16 end Validity_Check2_Pkg
;