-- 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.CodeAccessPermission;
package MSSyst.Security.Permissions.IsolatedStoragePermission 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.CodeAccessPermission.Typ(
         I_IPermission => I_IPermission,
         I_ISecurityEncodable => I_ISecurityEncodable,
         I_IStackWalk => I_IStackWalk
      ) with record
      null;
   end record;
   function new_IsolatedStoragePermission(
      This : Ref := null;
      state : MSSyst.Security.Permissions.PermissionState.Valuetype) return Ref;
   procedure FromXml(
      This : access Typ;
      esd : MSSyst.Security.SecurityElement.Ref);
   function get_UsageAllowed(
      This : access Typ) return MSSyst.Security.Permissions.IsolatedStorageContainment.Valuetype;
   function get_UserQuota(
      This : access Typ) return Long_Long_Integer;
   function IsUnrestricted(
      This : access Typ) return Standard.Boolean;
   procedure set_UsageAllowed(
      This : access Typ;
      value : MSSyst.Security.Permissions.IsolatedStorageContainment.Valuetype);
   procedure set_UserQuota(
      This : access Typ;
      value : Long_Long_Integer);
   function ToXml(
      This : access Typ) return MSSyst.Security.SecurityElement.Ref;
private
   pragma Convention(MSIL,Typ);
   pragma MSIL_Constructor(new_IsolatedStoragePermission);
   pragma Import(MSIL,FromXml,"FromXml");
   pragma Import(MSIL,get_UsageAllowed,"get_UsageAllowed");
   pragma Import(MSIL,get_UserQuota,"get_UserQuota");
   pragma Import(MSIL,IsUnrestricted,"IsUnrestricted");
   pragma Import(MSIL,set_UsageAllowed,"set_UsageAllowed");
   pragma Import(MSIL,set_UserQuota,"set_UserQuota");
   pragma Import(MSIL,ToXml,"ToXml");
end MSSyst.Security.Permissions.IsolatedStoragePermission;
pragma Extensions_Allowed(Off);
pragma Import(MSIL,MSSyst.Security.Permissions.IsolatedStoragePermission,
   ".ver 1.0.5000.0 .publickeytoken=( 96 9d b8 05 3d 33 22 ac )",
   "[mscorlib]System.Security.Permissions.IsolatedStoragePermission");
