Adding pring option for AST

[satune.git] / src / AST / set.cc

diff --git a/src/AST/set.cc b/src/AST/set.cc
index d3801f8d498eb98e3a55440a4ac7faf243a195f3..25ccd05e67d6d9e480d45346735ea40ef4d1ed6f 100644 (file)
--- a/src/AST/set.cc
+++ b/src/AST/set.cc
@@ -142,3 +142,18 @@ void Set::serialize(Serializer* serializer){
                serializer->mywrite(&mem, sizeof(uint64_t));
        }
 }
+
+void Set::print(){
+       model_print("{Set:");
+        if(isRange){
+                model_print("Range: low=%lu, high=%lu}\n\n", low, high);
+        } else {
+                uint size = members->getSize();
+                model_print("Members: ");
+                for(uint i=0; i<size; i++){
+                        uint64_t mem = members->get(i);
+                        model_print("%lu, ", mem);
+                }
+                model_println("}\n");
+        }
+}