Big Tabbing Change

[satune.git] / src / AST / table.c

diff --git a/src/AST/table.c b/src/AST/table.c
index 6b3863e5893ef9919d32c30b803bb358cab4af3a..b903744dac3b9062495c224a7f2b1b80607d1bfb 100644 (file)
--- a/src/AST/table.c
+++ b/src/AST/table.c
@@ -5,41 +5,41 @@
 #include "set.h"
 #include "mutableset.h"
 
-Table * allocTable(Set **domains, uint numDomain, Set * range){
-       Table* This = (Table*) ourmalloc(sizeof(Table));
+Table *allocTable(Set **domains, uint numDomain, Set *range) {
+       Table *This = (Table *) ourmalloc(sizeof(Table));
        initArrayInitSet(&This->domains, domains, numDomain);
-       This->entries= allocHashSetTableEntry(HT_INITIAL_CAPACITY, HT_DEFAULT_FACTOR);
-       This->range =range;
+       This->entries = allocHashSetTableEntry(HT_INITIAL_CAPACITY, HT_DEFAULT_FACTOR);
+       This->range = range;
        return This;
 }
 
-void addNewTableEntry(Table* This, uint64_t* inputs, uint inputSize, uint64_t result){
+void addNewTableEntry(Table *This, uint64_t *inputs, uint inputSize, uint64_t result) {
        ASSERT(getSizeArraySet( &This->domains) == inputSize);
 #ifdef CONFIG_ASSERT
-       if(This->range==NULL)
+       if (This->range == NULL)
                ASSERT(result == true || result == false);
 #endif
-       TableEntry* tb = allocTableEntry(inputs, inputSize, result);
+       TableEntry *tb = allocTableEntry(inputs, inputSize, result);
        ASSERT(!containsHashSetTableEntry(This->entries, tb));
-       bool status= addHashSetTableEntry(This->entries, tb);
+       bool status = addHashSetTableEntry(This->entries, tb);
        ASSERT(status);
 }
 
-TableEntry* getTableEntryFromTable(Table* table, uint64_t* inputs, uint inputSize){
-       TableEntry* temp = allocTableEntry(inputs, inputSize, -1);
-       TableEntry* result= getHashSetTableEntry(table->entries, temp);
+TableEntry *getTableEntryFromTable(Table *table, uint64_t *inputs, uint inputSize) {
+       TableEntry *temp = allocTableEntry(inputs, inputSize, -1);
+       TableEntry *result = getHashSetTableEntry(table->entries, temp);
        deleteTableEntry(temp);
        return result;
 }
 
-void deleteTable(Table* This){
-  deleteInlineArraySet(&This->domains);
-  HSIteratorTableEntry* iterator = iteratorTableEntry(This->entries);
-  while(hasNextTableEntry(iterator)){
-         deleteTableEntry( nextTableEntry(iterator) );
-  }
-  deleteIterTableEntry(iterator);
-  deleteHashSetTableEntry(This->entries);
-  ourfree(This);
+void deleteTable(Table *This) {
+       deleteInlineArraySet(&This->domains);
+       HSIteratorTableEntry *iterator = iteratorTableEntry(This->entries);
+       while (hasNextTableEntry(iterator)) {
+               deleteTableEntry( nextTableEntry(iterator) );
+       }
+       deleteIterTableEntry(iterator);
+       deleteHashSetTableEntry(This->entries);
+       ourfree(This);
 }