Subversion Repositories openrisc

package Discr20 is
 
  Size : Integer;
 
  type Name is new String (1..Size);
 
  type Rec is record
     It : Name;
  end record;
 
  type Danger is (This, That);
  type def (X : Danger := This) is record
    case X is
       when This => It : Rec;
       when That => null;
       end case;
   end record;
 
   type Switch is (On, Off);
   type Wrapper (Disc : Switch := On) is private;
   function Get (X : Wrapper) return Def;
 
private
   type Wrapper (Disc : Switch := On) is record
      Case Disc is
         when On  => It : Def;
         when Off => null;
      end case;
   end record;
 
end Discr20;