-- 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.Runtime.InteropServices.uAttribute.Ref is access;
with type MSSyst.Runtime.Remoting.Contexts.IContextAttribute.Ref is access;
with type MSSyst.MarshalByRefObject.Ref is access;
with type MSSyst.Type_k.Ref is access;
with type MSSyst.Runtime.Remoting.Proxies.RealProxy.Ref is access;
with type MSSyst.Runtime.Remoting.ObjRef.Ref is access;
with type MSSyst.Object.Ref is access;
with type MSSyst.Runtime.Remoting.Contexts.Context.Ref is access;
with type MSSyst.Runtime.Remoting.Activation.IConstructionCallMessage.Ref is access;
with type MSSyst.String.Ref is access;
with MSSyst.Attribute;
package MSSyst.Runtime.Remoting.Proxies.ProxyAttribute 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_uAttribute : MSSyst.Runtime.InteropServices.uAttribute.Ref;
         I_IContextAttribute : MSSyst.Runtime.Remoting.Contexts.IContextAttribute.Ref
      ) is new MSSyst.Attribute.Typ(
         I_uAttribute => I_uAttribute
      ) with record
      null;
   end record;
   function new_ProxyAttribute(
      This : Ref := null) return Ref;
   function CreateInstance(
      This : access Typ;
      serverType : MSSyst.Type_k.Ref) return MSSyst.MarshalByRefObject.Ref;
   function CreateProxy(
      This : access Typ;
      objRef : MSSyst.Runtime.Remoting.ObjRef.Ref;
      serverType : MSSyst.Type_k.Ref;
      serverObject : MSSyst.Object.Ref;
      serverContext : MSSyst.Runtime.Remoting.Contexts.Context.Ref) return MSSyst.Runtime.Remoting.Proxies.RealProxy.Ref;
   procedure GetPropertiesForNewContext(
      This : access Typ;
      msg : MSSyst.Runtime.Remoting.Activation.IConstructionCallMessage.Ref);
   function IsContextOK(
      This : access Typ;
      ctx : MSSyst.Runtime.Remoting.Contexts.Context.Ref;
      msg : MSSyst.Runtime.Remoting.Activation.IConstructionCallMessage.Ref) return Standard.Boolean;
private
   pragma Convention(MSIL,Typ);
   pragma MSIL_Constructor(new_ProxyAttribute);
   pragma Import(MSIL,CreateInstance,"CreateInstance");
   pragma Import(MSIL,CreateProxy,"CreateProxy");
   pragma Import(MSIL,GetPropertiesForNewContext,"GetPropertiesForNewContext");
   pragma Import(MSIL,IsContextOK,"IsContextOK");
end MSSyst.Runtime.Remoting.Proxies.ProxyAttribute;
pragma Extensions_Allowed(Off);
pragma Import(MSIL,MSSyst.Runtime.Remoting.Proxies.ProxyAttribute,
   ".ver 1:0:5000:0 .publickeytoken=( b7 7a 5c 56 19 34 e0 89 )",
   "[mscorlib]System.Runtime.Remoting.Proxies.ProxyAttribute");
