// 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.

#ifndef _Interface_CheckFailure_HeaderFile
#define _Interface_CheckFailure_HeaderFile

#include <Standard.hxx>
#include <Standard_DefineHandle.hxx>
#include <Standard_DefineException.hxx>
#include <Standard_SStream.hxx>
#include <Interface_InterfaceError.hxx>
#include <Handle_Interface_CheckFailure.hxx>

#if !defined No_Exception && !defined No_Interface_CheckFailure
  #define Interface_CheckFailure_Raise_if(CONDITION, MESSAGE) \
  if (CONDITION) Interface_CheckFailure::Raise(MESSAGE);
#else
  #define Interface_CheckFailure_Raise_if(CONDITION, MESSAGE)
#endif

DEFINE_STANDARD_EXCEPTION(Interface_CheckFailure, Interface_InterfaceError)

#endif // _Interface_CheckFailure_HeaderFile
