| #ifndef ANNOT_H |
| #define ANNOT_H |
| |
| #define BOUND(lo, hi) |
| #define COUNT(n) |
| #define SIZE(n) |
| #define SAFE |
| #define SNT |
| #define DANGEROUS |
| |
| /* Begin Experimental attributes */ |
| #define META(p) |
| #define HANDLER_ATOMIC |
| #define LOCK_HANDLER_ATOMIC(...) |
| #define IN_HANDLER_ATOMIC |
| #define IN_HANDLER |
| #define ASYNC |
| #define NORACE |
| #define SYNCHRONOUS |
| #define REGION(r) |
| #define NOREGION |
| #define SOMEREGION |
| #define SAMEREGION |
| #define DELETES_REGION(r) |
| #define GROUP(g) |
| #define NOGROUP |
| #define SOMEGROUP |
| #define SAMEGROUP |
| #define UNIQUE |
| #define NOALIAS |
| #define PAIRED_WITH(c) |
| #define PAIRED(c1,c2) |
| #define ARGPAIRED(c1,c2,arg) |
| #define FNPTRCALLER(fn) |
| #define INITSTRUCT(s) |
| #define NOINIT |
| #define WRITES(...) |
| #define RPROTECT |
| #define WPROTECT |
| #define RWPROTECT |
| #define R_PERMITTED(...) |
| #define W_PERMITTED(...) |
| #define RW_PERMITTED(...) |
| /* End Experimental attributes */ |
| |
| #define BND(lo, hi) |
| #define CT(n) |
| #define SZ(n) |
| |
| #define EFAT |
| #define FAT |
| |
| #define NULLTERM |
| #define NT |
| #define NTS |
| #define NTC(n) |
| |
| #define NTDROPATTR |
| #define NTEXPANDATTR |
| |
| #define NULLABLE |
| #define OPT |
| #define NONNULL |
| |
| #define TRUSTED |
| #define TRUSTEDBLOCK |
| |
| #define POLY |
| |
| #define COPYTYPE |
| |
| //specifies that Deputy's typechecker (but not optimizer) should assume |
| //that this lvalue is constant. (unsound) |
| #define ASSUMECONST |
| |
| #define WHEN(e) |
| |
| #define DMEMCPY(x, y, z) |
| #define DMEMSET(x, y, z) |
| #define DMEMCMP(x, y, z) |
| |
| #define DALLOC(x) |
| #define DREALLOC(x, y) |
| #define DFREE(x) |
| |
| #define DVARARG(x) |
| #define DPRINTF(x) |
| |
| #define NTDROP(x) (x) |
| #define NTEXPAND(x) (x) |
| #define TC(x) (x) |
| |
| #define TVATTR(x) |
| #define TPATTR(x) |
| |
| #define TV(x) void * (x) |
| #define TP(x) |
| |
| #endif // ANNOT_H |
