X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=version2%2Fsrc%2FC%2Fcommon.h;h=a3888cdab908ac9ef145fdbd8414f2446054ae6e;hb=2d567b75be4055f6a40ffe1cedb5cdc9be262d86;hp=0decddaaeed91b9dd777fb4d415f08c52881f3ab;hpb=b47765b628c0c160dd13622f8e241c377b8ce3cb;p=iotcloud.git

diff --git a/version2/src/C/common.h b/version2/src/C/common.h
index 0decdda..a3888cd 100644
--- a/version2/src/C/common.h
+++ b/version2/src/C/common.h
@@ -4,13 +4,21 @@
 typedef uint32_t uint;
 #define CMEMALLOC ;
 #define model_print printf
+#define ASSERT(expr) \
+	do {                         \
+		if (!(expr)) {                                                      \
+			fprintf(stderr, "Error: assertion failed in %s at line %d\n", __FILE__, __LINE__); \
+			/* print_trace(); // Trace printing may cause dynamic memory allocation */ \
+			exit(EXIT_FAILURE);                                               \
+		}                                                                   \
+	} while (0)
 
 #include "hashset.h"
 #include "vector.h"
 #include "array.h"
 
 
-
+class TimingSingleton;
 class Abort;
 class Entry;
 class Slot;
@@ -20,6 +28,29 @@ class Commit;
 class CommitPart;
 class ArbitrationRound;
 class KeyValue;
+class RejectedMessage;
+class PendingTransaction;
+class CloudComm;
 class IoTString;
+class LastMessage;
+class LocalComm;
+class NewKey;
+class SlotBuffer;
+class SlotIndexer;
+class Table;
+class TableStatus;
+class TimingSingleton;
+class Transaction;
+class TransactionPart;
+class TransactionStatus;
+class Error;
 
+//Code to write
+class SecretKeySpec;
+class Mac;
+class SecureRandom;
+class Thread;
+class DataInputStream;
+class URL;
+class Random;
 #endif