1/** \file
2 * \brief Macros for disabling Deputy annotations.
3 *
4 * This file defines away all the deputy annotations, for
5 * use with the -imacros argument to GCC.
6 */
7
8/*
9 * Copyright (c) 2007, ETH Zurich.
10 * All rights reserved.
11 *
12 * This file is distributed under the terms in the attached LICENSE file.
13 * If you do not find this file, copies can be found by writing to:
14 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
15 */
16
17#define BOUNT(b,e)
18#define BND(b,e)
19#define COUNT(n)
20#define CT(n)
21#define SAFE
22#define SNT
23#define SEQ
24#define FSEQ
25#define NONNULL
26#define OPT
27#define NT
28#define NTS
29#define NTDROP(e) (e)
30#define NTEXPAND(e) (e)
31#define WHEN(e)
32#define TRUSTED
33#define TRUSTEDBLOCK
34#define TC(e) (e)
35
36#define DALLOC(e)
37#define DFREE(p)
38#define DREALLOC(p, e)
39#define DMEMCPY(x,y,z)
40#define DMEMSET(x,y,z)
41#define DMEMCMP(x,y,z)
42