The DejaVU Framework --
hush 3.1
-
[up]
[top] -
index
make
include
source
logic
grammar
scripts
html
configure
mx
slides
talks
scenes
reports
projects
<body bgcolor="#FFFFFF" text="#000000">
//assert.h
//Defines the macros assert, require and promise
//
//
ifndef GNU
define require(X) precondition("",X)
define promise(X) postcondition("",X)
define ensure(X) postcondition("",X)
else
define require(X) assert(X)
define promise(X) assert(X)
define ensure(X) assert(X)
endif
//