arithmetic_errors.h File Reference

#include <setjmp.h>

Go to the source code of this file.

Defines
#define	linear_arithmetic_error_included
#define	__CURRENT_FUNCTION_NAME__   "<unknown>"
#define	EXCEPTION   extern unsigned int
#define	THROW(what)   (throw_exception(what, __CURRENT_FUNCTION_NAME__, __FILE__, __LINE__))
#define	CATCH(what)
#define	UNCATCH(what)
#define	TRY   else
#define	RETHROW()   THROW(the_last_just_thrown_exception)
Typedefs
typedef void(*	exception_callback_t )(const char *, const char *, int)
Variables
unsigned int	the_last_just_thrown_exception

---

Define Documentation

#define __CURRENT_FUNCTION_NAME__   "<unknown>"

Definition at line 113 of file source/arith/arithmetic_errors.h.

#define CATCH

(

what

)

Value:

if (setjmp(*push_exception_on_stack(what, __CURRENT_FUNCTION_NAME__,    \
                                     __FILE__, __LINE__)))

Definition at line 122 of file source/arith/arithmetic_errors.h.

Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), FindSimple(), Gauss4(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint().

#define EXCEPTION   extern unsigned int

Definition at line 117 of file source/arith/arithmetic_errors.h.

#define linear_arithmetic_error_included

Definition at line 94 of file source/arith/arithmetic_errors.h.

 

#define RETHROW

(

)

THROW(the_last_just_thrown_exception)

Definition at line 133 of file source/arith/arithmetic_errors.h.

Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), FindSimple(), Gauss4(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint().

#define THROW

(

what

)

(throw_exception(what, __CURRENT_FUNCTION_NAME__, __FILE__, __LINE__))

Definition at line 119 of file source/arith/arithmetic_errors.h.

#define TRY   else

Definition at line 130 of file source/arith/arithmetic_errors.h.

Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), FindSimple(), Gauss4(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint().

#define UNCATCH

(

what

)

Value:

(pop_exception_from_stack(what, __CURRENT_FUNCTION_NAME__,      \
                               __FILE__, __LINE__))

Definition at line 126 of file source/arith/arithmetic_errors.h.

Referenced by AddConstraints(), AddRays(), align_context(), BuildSat(), Chernikova(), Constraints2Polyhedron(), DomainConvex(), DomainCost(), DomainImage(), DomainPreimage(), Ehrhart_Quick_Apx_Full_Dim(), Enumerate_NoParameters(), FindSimple(), Gauss4(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Preimage(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), Remove_Redundants(), SimplifyConstraints(), Stras_DomainSimplify(), and SubConstraint().

---

Typedef Documentation

typedef void(* exception_callback_t)(const char *, const char *, int)

Definition at line 98 of file source/arith/arithmetic_errors.h.

---

Variable Documentation

unsigned int the_last_just_thrown_exception

Definition at line 156 of file errors.c.

Referenced by pop_exception_from_stack(), push_exception_on_stack(), and throw_exception().