A. Index

Jump to:	/ 0 1 2 _ A C D E F G I L N P Q R S T V

	Index Entry	Section

/
	`/* nothing */' -- nothing at all, this means the breakpoint	2.4 Variables for ./configure

0
	`0`	4.3 I.h: C based invariant checking
	`0`	4.3 I.h: C based invariant checking
	`0`	4.4 DI.h: debugger based invariant checking
	`0`	4.4 DI.h: debugger based invariant checking
	`0`	4.5 L.h: support for printf style logging
	`0`	4.5 L.h: support for printf style logging
	`0`	4.8 DL.h: support for printf style logging
	`0`	4.8 DL.h: support for printf style logging

1
	`1`	4.3 I.h: C based invariant checking
	`1`	4.3 I.h: C based invariant checking
	`1`	4.4 DI.h: debugger based invariant checking
	`1`	4.4 DI.h: debugger based invariant checking
	`1`	4.5 L.h: support for printf style logging
	`1`	4.5 L.h: support for printf style logging
	`1`	4.8 DL.h: support for printf style logging
	`1`	4.8 DL.h: support for printf style logging

2
	`2`	4.3 I.h: C based invariant checking
	`2`	4.3 I.h: C based invariant checking
	`2`	4.4 DI.h: debugger based invariant checking
	`2`	4.4 DI.h: debugger based invariant checking
	`2`	4.5 L.h: support for printf style logging
	`2`	4.5 L.h: support for printf style logging
	`2`	4.8 DL.h: support for printf style logging
	`2`	4.8 DL.h: support for printf style logging

_
	`_vi = (exprn)' -- where exprn is the expression	2.4 Variables for ./configure
	`_vi = 0' -- where `_vi' is a global volatile int.	2.4 Variables for ./configure

A
	`A`	1. Introduction
	`A`	1. Introduction
	`A`	4.10 Q.h: support for quantifiers
	`abort()`	2.4 Variables for ./configure
	`abort()`	2.4 Variables for ./configure
	`ALWAYS_INCLUDE_MALLOC`	2.4 Variables for ./configure
	`ALWAYS_INCLUDE_MALLOC`	2.4 Variables for ./configure
	`AO`	4.11 Qstl.h: quantifiers for STL containers.
	`asm("hlt")`	2.4 Variables for ./configure
	`asm("hlt")`	2.4 Variables for ./configure
	`asm("nop")' -- a single `nop' instruction to set the	2.4 Variables for ./configure
	`asm("unimp")`	2.4 Variables for ./configure
	`asm("unimp")`	2.4 Variables for ./configure

C
	`C`	1. Introduction
	`C`	1. Introduction
	`C`	4.10 Q.h: support for quantifiers
	`calls_add`	4.16 calls.h: checking/printing many objects/facts.
	`calls_delete`	4.16 calls.h: checking/printing many objects/facts.
	`calls_exec`	4.16 calls.h: checking/printing many objects/facts.
	`CHECK`	4.14.3 REQUIRE, ENSURE, CHECK, etc.
	`CHECK_ALL`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_ALL`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_ENSURE`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_ENSURE`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_INVARIANT`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_INVARIANT`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_LOOP`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_LOOP`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_NO`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_NO`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_REQUIRE`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CHECK_REQUIRE`	4.14.1 EIFFEL_CHECK: enabling and disabling checking.
	`CO`	4.11 Qstl.h: quantifiers for STL containers.
	`cycles`	4.13 cycles.h: access to CPU cycle counting registers.
	`CYCLES`	4.13 cycles.h: access to CPU cycle counting registers.
	`cycles_diff`	4.13 cycles.h: access to CPU cycle counting registers.
	`cycles_per_second`	4.13 cycles.h: access to CPU cycle counting registers.
	`cycles_per_second_max`	4.13 cycles.h: access to CPU cycle counting registers.
	`cycles_per_second_min`	4.13 cycles.h: access to CPU cycle counting registers.

D
	`DI`	4.4 DI.h: debugger based invariant checking
	`DI`	4.4 DI.h: debugger based invariant checking
	`DI.h`	4.1 nana.h: the main header file
	`DI.h`	4.1 nana.h: the main header file
	`DI_DEFAULT_GUARD`	4.4 DI.h: debugger based invariant checking
	`DI_DEFAULT_HANDLER`	4.4 DI.h: debugger based invariant checking
	`DI_DEFAULT_PARAMS`	4.4 DI.h: debugger based invariant checking
	`DI_LEVEL`	4.4 DI.h: debugger based invariant checking
	`DI_MAKE_VALID_BREAKPOINT`	2.4 Variables for ./configure
	`DI_MAKE_VALID_BREAKPOINT`	2.4 Variables for ./configure
	`DI_MAKE_VALID_BREAKPOINT`	4.4 DI.h: debugger based invariant checking
	`DIG`	4.4 DI.h: debugger based invariant checking
	`DIGH`	4.4 DI.h: debugger based invariant checking
	`DIGHP`	4.4 DI.h: debugger based invariant checking
	`DIGP`	4.4 DI.h: debugger based invariant checking
	`DIH`	4.4 DI.h: debugger based invariant checking
	`DIHP`	4.4 DI.h: debugger based invariant checking
	`DIP`	4.4 DI.h: debugger based invariant checking
	`DL`	4.8 DL.h: support for printf style logging
	`DL.h`	4.1 nana.h: the main header file
	`DL.h`	4.1 nana.h: the main header file
	`DL_DEFAULT_GUARD`	4.8 DL.h: support for printf style logging
	`DL_DEFAULT_HANDLER`	4.8 DL.h: support for printf style logging
	`DL_DEFAULT_PARAMS`	4.8 DL.h: support for printf style logging
	`DL_LEVEL`	4.8 DL.h: support for printf style logging
	`DL_MAKE_VALID_BREAKPOINT`	2.4 Variables for ./configure
	`DL_MAKE_VALID_BREAKPOINT`	2.4 Variables for ./configure
	`DL_SHOW_TIME`	4.8 DL.h: support for printf style logging
	`DLG`	4.8 DL.h: support for printf style logging
	`DLGHP`	4.8 DL.h: support for printf style logging
	`DLGP`	4.8 DL.h: support for printf style logging
	`DLH`	4.8 DL.h: support for printf style logging
	`DLHP`	4.8 DL.h: support for printf style logging
	`DLP`	4.8 DL.h: support for printf style logging
	`DN`	4.4 DI.h: debugger based invariant checking
	`DN`	4.4 DI.h: debugger based invariant checking
	`DNG`	4.4 DI.h: debugger based invariant checking
	`DNGH`	4.4 DI.h: debugger based invariant checking
	`DNGHP`	4.4 DI.h: debugger based invariant checking
	`DNGP`	4.4 DI.h: debugger based invariant checking
	`DNH`	4.4 DI.h: debugger based invariant checking
	`DNHP`	4.4 DI.h: debugger based invariant checking
	`DNP`	4.4 DI.h: debugger based invariant checking
	`DS`	4.4 DI.h: debugger based invariant checking
	`DSG`	4.4 DI.h: debugger based invariant checking

Jump to:	/ 0 1 2 _ A C D E F G I L N P Q R S T V

[ << ]

[ >> ]

[Top]

[Contents]

[Index]

[ ? ]

This document was generated by Marius Tomaschewski on February, 12 2004 using texi2html