ccl-exception.h

Go to the documentation of this file.

/*
 * ccl-exception.h -- An exception mechanism for C.
 * 
 * This file is a part of the C Common Library (CCL) project. 
 * 
 * Copyright (C) 2010 CNRS UMR 5800 & Université Bordeaux I (see AUTHORS file).
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the AltaRica Public License that comes with this
 * package.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 
 */

#ifndef __CCL_EXCEPTION_H__
# define __CCL_EXCEPTION_H__

# include <ccl/ccl-common.h>
# include <ccl/ccl-protos.h>

BEGIN_C_DECLS

# include <setjmp.h>

typedef struct ccl_exception_st ccl_exception;

typedef struct ccl_exception_type_st ccl_exception_type;
typedef struct ccl_exception_local_variable_st ccl_exception_local_variable;

struct ccl_exception_st {
  const ccl_exception_type *type;
  jmp_buf context;
  ccl_exception_local_variable *vars;
  ccl_exception *next;
};

struct ccl_exception_type_st {
  const char *name;
  const ccl_exception_type *super;
};

# define CCL_THROW(_args_) 

# define CCL_DECLARE_EXCEPTION(exc,super)               \
  extern const ccl_exception_type CCL_EXCEPTION_NAME (exc)

# define CCL_DEFINE_EXCEPTION(exc,super)         \
  const ccl_exception_type CCL_EXCEPTION_NAME (exc) = { \
    # exc, &CCL_EXCEPTION_NAME (super)           \
  }

# define CCL_EXCEPTION_NAME(exc) ccl_exception_ ## exc

CCL_DECLARE_EXCEPTION (___toplevel_throwable, NULL);

CCL_DECLARE_EXCEPTION (error, ___toplevel_throwable);

CCL_DECLARE_EXCEPTION (exception, ___toplevel_throwable);

CCL_DECLARE_EXCEPTION (internal_error, error);

CCL_DECLARE_EXCEPTION (runtime_exception, exception);

CCL_DECLARE_EXCEPTION (division_by_zero, runtime_exception);

extern const char *ccl_exception_current_message;

# define ccl_try(_extype_)                                      \
  do {                                                          \
    ccl_exception here;                                         \
    ccl_exception_push (&here, &CCL_EXCEPTION_NAME (_extype_)); \
    if (setjmp (here.context) == 0)                             \
      { 


# define ccl_catch                             \
    ccl_exception_cleanup_local_variables (0); \
    ccl_exception_pop ();                      \
  } else {                                     \
    ccl_exception_cleanup_local_variables (1); \
    ccl_exception_pop ();

# define ccl_catch_rethrow ccl_catch { ccl_rethrow (); } ccl_end_try

# define ccl_end_try \
    }   \
  } while (0)

# define ccl_trycatch(_extype_,_stmt_)                  \
  ccl_try (_extype_) _stmt_  ccl_catch ccl_end_try

# define ccl_no_catch   \
  }                     \
  ccl_exception_pop (); \
} while (0)

# define ccl_throw(_extype,_msg) \
  ccl_throw__ (&CCL_EXCEPTION_NAME (_extype), _msg, __FILE__, __LINE__)

# define ccl_throw_no_msg(_extype) ccl_throw (_extype, # _extype)


# define ccl_rethrow() ccl_rethrow__ (__FILE__, __LINE__)

# define ccl_exception_is_raised(_e_) \
  ccl_exception_is_raised__ (&CCL_EXCEPTION_NAME (_e_))

extern void
ccl_exception_print (void);

/*
 * The following functions are used by the implementation 
 */

extern void
ccl_throw__ (const ccl_exception_type *ex, const char *msg,
             const char *file, int line);

extern void
ccl_rethrow__ (const char *file, int line);

extern void
ccl_exception_push (ccl_exception *e, const ccl_exception_type *type);

extern void
ccl_exception_pop (void);


extern int
ccl_exception_is_raised__ (const ccl_exception_type *type);

# define ccl_exception_local_variable(del, pvar) \
  ccl_exception_local_variable__ ((ccl_delete_proc *)(del), (pvar))

extern void
ccl_exception_local_variable__ (ccl_delete_proc *del, void *pvar);

extern void
ccl_exception_cleanup_local_variables (int usedel);

END_C_DECLS

#endif /* ! __CCL_EXCEPTION_H__ */