Main Page Source Files Class Hierarchy Alphabetical List Compound List Compound Members File Members Related Pages Search for 

include/nana/eiffel.h File Reference

#include <nana.h>

Include dependency graph for eiffel.h:

Include dependency graph

Go to the source code of this file.

Defines

#define EIFFEL_CHECK   CHECK_REQUIRE
#define REQUIRE(e)
#define ENSURE(e)
#define CHECK(e)   IG(e, EIFFEL_CHECK >= CHECK_ALL)
#define INVARIANT(e)   IG(e, EIFFEL_CHECK >= CHECK_LOOP)

Enumerations

enum  EIFFEL_CHECK_LEVEL {
  CHECK_NO, CHECK_REQUIRE, CHECK_ENSURE, CHECK_INVARIANT,
  CHECK_LOOP, CHECK_ALL
}

Functions

bool invariant ()

Define Documentation

#define CHECK (  e   )     IG(e, EIFFEL_CHECK >= CHECK_ALL)
 

Definition at line 143 of file eiffel.h.

#define EIFFEL_CHECK   CHECK_REQUIRE
 

Definition at line 62 of file eiffel.h.

#define ENSURE (  e   ) 
 

Value:

do { \
    IG(e, EIFFEL_CHECK >= CHECK_ENSURE); \
    IG(invariant(), EIFFEL_CHECK >= CHECK_INVARIANT); \
  } while(0)

Definition at line 131 of file eiffel.h.

#define INVARIANT (  e   )     IG(e, EIFFEL_CHECK >= CHECK_LOOP)
 

Definition at line 150 of file eiffel.h.

#define REQUIRE (  e   ) 
 

Value:

do { \
    IG(e, EIFFEL_CHECK >= CHECK_REQUIRE); \
    IG(invariant(), EIFFEL_CHECK >= CHECK_INVARIANT); \
  } while(0)
defined EIFFEL_DOEND

Definition at line 120 of file eiffel.h.

Enumeration Type Documentation

enum EIFFEL_CHECK_LEVEL
 

Enumeration values:
CHECK_NO 
CHECK_REQUIRE 
CHECK_ENSURE 
CHECK_INVARIANT 
CHECK_LOOP 
CHECK_ALL 

Definition at line 47 of file eiffel.h. 

00047              { 
00048   CHECK_NO,        /* no assertion checking */
00049   CHECK_REQUIRE,   /* only require, i.e. method preconditions */
00050   CHECK_ENSURE,    /* require+ensure, i.e. method pre/postconditions */
00051   CHECK_INVARIANT, /* as ensure plus check class invariant on entry/exit */
00052   CHECK_LOOP,      /* as invariant plus loop invariants + variants */
00053   CHECK_ALL        /* everything including check statements */
00054 } EIFFEL_CHECK_LEVEL;

Function Documentation

bool invariant (   )  [inline, static]
 

Definition at line 73 of file eiffel.h. 

00073                                {
00074   return true;
00075 }

Generated on Sun Aug 21 04:18:18 2005 for Udanax-Green by doxygen1.3.4