// This file is generated by WOK (CPPExt).
// Please do not edit this file; modify original file instead.
// The copyright and license terms as defined for the original file apply to 
// this header file considered to be the "object code" form of the original source.

#include <OSD_SIGILL.hxx>

#ifndef _Standard_Type_HeaderFile
#include <Standard_Type.hxx>
#endif

IMPLEMENT_STANDARD_EXCEPTION(OSD_SIGILL)
 


IMPLEMENT_STANDARD_TYPE(OSD_SIGILL)
IMPLEMENT_STANDARD_SUPERTYPE_ARRAY()
  STANDARD_TYPE(OSD_Signal),
  STANDARD_TYPE(Standard_Failure),
  STANDARD_TYPE(Standard_Transient),

IMPLEMENT_STANDARD_SUPERTYPE_ARRAY_END()
IMPLEMENT_STANDARD_TYPE_END(OSD_SIGILL)


IMPLEMENT_DOWNCAST(OSD_SIGILL,Standard_Transient)
IMPLEMENT_STANDARD_RTTI(OSD_SIGILL)