Re: Variant Record Component

[tmoran@acm.org]

> Is there a way to determine if an object of some variant record type
> contains a specific variant component, other than a trying it and
> handling a possible constraint error?
 Do you mean a situation with a non-simple "case" like:
   type r(v : integer) is record
     case v is
       when 0 => a:integer;
       when 1 | 2 | 3 => b:integer;
       when others => null;
     end case;
   end record;
where you would essentially have to replicate the "case" statement,
and you would rather just ask "if x.b exists"?