NuSMV/code/nusmv/core/utils/ErrorMgr.h File Reference

#include "nusmv/core/utils/utils.h"
#include "nusmv/core/cinit/NuSMVEnv.h"
#include "nusmv/core/prop/Prop.h"
#include "nusmv/core/utils/StreamMgr.h"
#include "nusmv/core/opt/opt.h"
#include "nusmv/core/node/NodeMgr.h"
#include "nusmv/core/node/printers/MasterPrinter.h"
#include "nusmv/core/utils/UStringMgr.h"
#include <setjmp.h>

Go to the source code of this file.

Defines
#define	CATCH(err)   if (ErrorMgr_set_long_jmp(err) == 0) {
#define	ERROR_MGR(self)   ((ErrorMgr_ptr) self)
	To cast and check instances of class ErrorMgr.
#define	ERROR_MGR_CHECK_INSTANCE(self)   (nusmv_assert(ERROR_MGR(self) != ERROR_MGR(NULL)))
#define	ErrorMgr_set_long_jmp(err)   SETJMP(*(ErrorMgr_new_long_jmp(err)), 1)
#define	FAIL(err)   ErrorMgr_cancel_long_jmp(err); } else
#define	JMPBUF   sigjmp_buf
#define	LONGJMP(buf, val)   siglongjmp(buf, val)
#define	SETJMP(buf, val)   sigsetjmp(buf, val)
Typedefs
typedef struct ErrorMgr_TAG *	ErrorMgr_ptr
Enumerations
enum	FailureKind { FAILURE_DIV_BY_ZERO, FAILURE_CASE_NOT_EXHAUSTIVE, FAILURE_ARRAY_OUT_OF_BOUNDS, FAILURE_UNSPECIFIED }

---

Define Documentation

#define CATCH

(

err

)

if (ErrorMgr_set_long_jmp(err) == 0) {

Todo:

Missing synopsis

Todo:

Missing description

#define ERROR_MGR

(

self

)

((ErrorMgr_ptr) self)

To cast and check instances of class ErrorMgr.

These macros must be used respectively to cast and to check instances of class ErrorMgr

#define ERROR_MGR_CHECK_INSTANCE

(

self

)

(nusmv_assert(ERROR_MGR(self) != ERROR_MGR(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define ErrorMgr_set_long_jmp

(

err

)

SETJMP(*(ErrorMgr_new_long_jmp(err)), 1)

Todo:

Missing synopsis

Todo:

Missing description

#define FAIL

(

err

)

ErrorMgr_cancel_long_jmp(err); } else

Todo:

Missing synopsis

Todo:

Missing description

#define JMPBUF   sigjmp_buf

#define LONGJMP	(	buf,
		val		)	siglongjmp(buf, val)

#define SETJMP	(	buf,
		val		)	sigsetjmp(buf, val)

---

Typedef Documentation

typedef struct ErrorMgr_TAG* ErrorMgr_ptr

---

Enumeration Type Documentation

enum FailureKind

Enumerator:

FAILURE_DIV_BY_ZERO
FAILURE_CASE_NOT_EXHAUSTIVE
FAILURE_ARRAY_OUT_OF_BOUNDS
FAILURE_UNSPECIFIED