Variant records..

[ganesh.ramasivan@gdcanada.com (Ganesh Ramasivan)]

In the following example, how would i forbid the user of data type Foo
from specifying the following:

John : Foo(Vehicle => MAN, Power => AUTOMATIC);

ie. is there a way to restrict the user from specifying certain types
as variants?

Thanks for your input.

Ganesh

Example:

procedure Variant is

   type Vehicle_Type is (CAR, LEGS, BIKE, PLANE);
   type Vehicle_Power is (MANUAL, AUTOMATIC);

   type Foo(Vehicle : Vehicle_Type; Power: Vehicle_Power) is
    record
        case Vehicle is
	     when CAR  =>
            null;
	     when LEGS =>
            null;
	     when BIKE =>
            null;
	     when PLANE =>
            null;
         when others =>
            null;
        end case;
    end record;

    Audi : Foo(Vehicle => CAR, Power => MANUAL); 
begin
 null;
end Variant;