-- 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.Collections.ICollection.Ref is access;
with type MSSyst.Collections.IEnumerable.Ref is access;
with type MSSyst.Object.Ref is access;
with type MSSyst.Array_k.Ref is access;
with type MSSyst.Collections.IEnumerator.Ref is access;
with type MSSyst.Type_k.Ref is access;
with type MSSyst.String.Ref is access;
with type MSSyst.Object.Ref_array is access;
with MSSyst.Object;
package MSSyst.Security.Policy.Evidence 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_ICollection : MSSyst.Collections.ICollection.Ref;
         I_IEnumerable : MSSyst.Collections.IEnumerable.Ref
      ) is new MSSyst.Object.Typ with record
      null;
   end record;
   function new_Evidence(
      This : Ref := null) return Ref;
   function new_Evidence(
      This : Ref := null;
      evidence : MSSyst.Security.Policy.Evidence.Ref) return Ref;
   function new_Evidence(
      This : Ref := null;
      hostEvidence : MSSyst.Object.Ref_array;
      assemblyEvidence : MSSyst.Object.Ref_array) return Ref;
   procedure AddAssembly(
      This : access Typ;
      id : MSSyst.Object.Ref);
   procedure AddHost(
      This : access Typ;
      id : MSSyst.Object.Ref);
   procedure CopyTo(
      This : access Typ;
      array_k : MSSyst.Array_k.Ref;
      index : Integer);
   function get_Count(
      This : access Typ) return Integer;
   function get_IsReadOnly(
      This : access Typ) return Standard.Boolean;
   function get_IsSynchronized(
      This : access Typ) return Standard.Boolean;
   function get_Locked(
      This : access Typ) return Standard.Boolean;
   function get_SyncRoot(
      This : access Typ) return MSSyst.Object.Ref;
   function GetAssemblyEnumerator(
      This : access Typ) return MSSyst.Collections.IEnumerator.Ref;
   function GetEnumerator(
      This : access Typ) return MSSyst.Collections.IEnumerator.Ref;
   function GetHostEnumerator(
      This : access Typ) return MSSyst.Collections.IEnumerator.Ref;
   procedure Merge(
      This : access Typ;
      evidence : MSSyst.Security.Policy.Evidence.Ref);
   procedure set_Locked(
      This : access Typ;
      value : Standard.Boolean);
private
   pragma Convention(MSIL,Typ);
   pragma MSIL_Constructor(new_Evidence);
   pragma Import(MSIL,AddAssembly,"AddAssembly");
   pragma Import(MSIL,AddHost,"AddHost");
   pragma Import(MSIL,CopyTo,"CopyTo");
   pragma Import(MSIL,get_Count,"get_Count");
   pragma Import(MSIL,get_IsReadOnly,"get_IsReadOnly");
   pragma Import(MSIL,get_IsSynchronized,"get_IsSynchronized");
   pragma Import(MSIL,get_Locked,"get_Locked");
   pragma Import(MSIL,get_SyncRoot,"get_SyncRoot");
   pragma Import(MSIL,GetAssemblyEnumerator,"GetAssemblyEnumerator");
   pragma Import(MSIL,GetEnumerator,"GetEnumerator");
   pragma Import(MSIL,GetHostEnumerator,"GetHostEnumerator");
   pragma Import(MSIL,Merge,"Merge");
   pragma Import(MSIL,set_Locked,"set_Locked");
end MSSyst.Security.Policy.Evidence;
pragma Extensions_Allowed(Off);
pragma Import(MSIL,MSSyst.Security.Policy.Evidence,
   ".ver 1:0:5000:0 .publickeytoken=( b7 7a 5c 56 19 34 e0 89 )",
   "[mscorlib]System.Security.Policy.Evidence");
