-- 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.Object.Ref is access;
with type MSSyst.String.Ref is access;
with type MSSyst.Type_k.Ref is access;
with MSSyst.Object;
package MSSyst.Runtime.Serialization.Formatters.ServerFault 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 is new MSSyst.Object.Typ with record
      null;
   end record;
   function new_ServerFault(
      This : Ref := null;
      exceptionType : MSSyst.String.Ref;
      message : MSSyst.String.Ref;
      stackTrace : MSSyst.String.Ref) return Ref;
   function get_ExceptionMessage(
      This : access Typ) return MSSyst.String.Ref;
   function get_ExceptionType(
      This : access Typ) return MSSyst.String.Ref;
   function get_StackTrace(
      This : access Typ) return MSSyst.String.Ref;
   procedure set_ExceptionMessage(
      This : access Typ;
      value : MSSyst.String.Ref);
   procedure set_ExceptionType(
      This : access Typ;
      value : MSSyst.String.Ref);
   procedure set_StackTrace(
      This : access Typ;
      value : MSSyst.String.Ref);
private
   pragma Convention(MSIL,Typ);
   pragma MSIL_Constructor(new_ServerFault);
   pragma Import(MSIL,get_ExceptionMessage,"get_ExceptionMessage");
   pragma Import(MSIL,get_ExceptionType,"get_ExceptionType");
   pragma Import(MSIL,get_StackTrace,"get_StackTrace");
   pragma Import(MSIL,set_ExceptionMessage,"set_ExceptionMessage");
   pragma Import(MSIL,set_ExceptionType,"set_ExceptionType");
   pragma Import(MSIL,set_StackTrace,"set_StackTrace");
end MSSyst.Runtime.Serialization.Formatters.ServerFault;
pragma Extensions_Allowed(Off);
pragma Import(MSIL,MSSyst.Runtime.Serialization.Formatters.ServerFault,
   ".ver 1:0:5000:0 .publickeytoken=( b7 7a 5c 56 19 34 e0 89 )",
   "[mscorlib]System.Runtime.Serialization.Formatters.ServerFault");
