-- Autogenerated by MSIL2Ada v. 2
-- By: Martin C. Carlisle
--     Department of Computer Science
--     US Air Force Academy
--     carlislem@acm.org
pragma Extensions_Allowed(On);
with MSSyst.Object;
with MSIL_Types;
use MSIL_Types;
with type MSSyst.Security.IPermission.Ref is access;
with type MSSyst.Security.ISecurityEncodable.Ref is access;
with type MSSyst.Security.IStackWalk.Ref is access;
with type MSSyst.Security.Permissions.IUnrestrictedPermission.Ref is access;
with type MSSyst.Object.Ref is access;
with type MSSyst.Security.SecurityElement.Ref is access;
with MSSyst.Security.Permissions.IsolatedStorageContainment;
with type MSSyst.Type_k.Ref is access;
with type MSSyst.String.Ref is access;
with MSSyst.Security.Permissions.PermissionState;
with MSSyst.Security.Permissions.IsolatedStoragePermission;
package MSSyst.Security.Permissions.IsolatedStorageFilePermission is
   type Typ;
   type Ref is access all Typ'Class;
   type Ref_addrof is access all Ref;
   type Ref_Arr is array(Natural range <>) of Ref;
   type Ref_Array is access all Ref_Arr;
   type Ref_Array_addrof is access all Ref_Array;
   type Typ(
         I_IPermission : MSSyst.Security.IPermission.Ref;
         I_ISecurityEncodable : MSSyst.Security.ISecurityEncodable.Ref;
         I_IStackWalk : MSSyst.Security.IStackWalk.Ref;
         I_IUnrestrictedPermission : MSSyst.Security.Permissions.IUnrestrictedPermission.Ref
      ) is new MSSyst.Security.Permissions.IsolatedStoragePermission.Typ(
         I_IPermission => I_IPermission,
         I_ISecurityEncodable => I_ISecurityEncodable,
         I_IStackWalk => I_IStackWalk,
         I_IUnrestrictedPermission => I_IUnrestrictedPermission
      ) with record
      null;
   end record;
   function new_IsolatedStorageFilePermission(
      This : Ref := null;
      state : MSSyst.Security.Permissions.PermissionState.Valuetype) return Ref;
   function Copy(
      This : access Typ) return MSSyst.Security.IPermission.Ref;
   function Intersect(
      This : access Typ;
      target : MSSyst.Security.IPermission.Ref) return MSSyst.Security.IPermission.Ref;
   function IsSubsetOf(
      This : access Typ;
      target : MSSyst.Security.IPermission.Ref) return Standard.Boolean;
   function Union(
      This : access Typ;
      target : MSSyst.Security.IPermission.Ref) return MSSyst.Security.IPermission.Ref;
private
   pragma Convention(MSIL,Typ);
   pragma MSIL_Constructor(new_IsolatedStorageFilePermission);
   pragma Import(MSIL,Copy,"Copy");
   pragma Import(MSIL,Intersect,"Intersect");
   pragma Import(MSIL,IsSubsetOf,"IsSubsetOf");
   pragma Import(MSIL,Union,"Union");
end MSSyst.Security.Permissions.IsolatedStorageFilePermission;
pragma Extensions_Allowed(Off);
pragma Import(MSIL,MSSyst.Security.Permissions.IsolatedStorageFilePermission,
   ".ver 1:0:5000:0 .publickeytoken=( b7 7a 5c 56 19 34 e0 89 )",
   "[mscorlib]System.Security.Permissions.IsolatedStorageFilePermission");
