Merge iTasks graph_copy changes back and add macho-specific graph_to_string_(with|and)_descriptors

Libraries/graph_copy/graph_to_sapl_string.dcl

@@ -4,7 +4,7 @@ definition module graph_to_sapl_string
 // Convert a graph to a SAPL string that can be evaluated by the SAPL interpreter
 
 // DynamicSapl is only for debugging purposes
-:: DynamicSapl = IntS Int | BoolS Bool | CharS Char | StringS String | CstrS String String Int [DynamicSapl] | 
+:: DynamicSapl = IntS Int | BoolS Bool | CharS Char | RealS Real | StringS String | CstrS String String Int [DynamicSapl] | 
                  FunctionS String String Int [DynamicSapl] | ArrayS Int [DynamicSapl] | ListS [DynamicSapl] |
                  TupleS Int [DynamicSapl] | RecS String String Int [DynamicSapl]
 

Libraries/graph_copy/graph_to_string_and_descriptors_macho.dcl

+definition module graph_to_string_and_descriptors;
+
+// includes unboxed record descriptors
+
+graph_to_string_with_descriptors :: !a -> {#Char};
+
+graph_to_string_with_descriptor_and_module_table :: !a -> (!{#Char},!{#{#Char}},!{#{#Char}});
+													   // (graph,descriptor_table,module_table)

Libraries/graph_copy/graph_to_string_with_descriptors_macho.dcl

+definition module graph_to_string_with_descriptors;
+
+graph_to_string_with_descriptors :: !a -> {#Char};
+
+graph_to_string_with_descriptor_and_module_table :: !a -> (!{#Char},!{#{#Char}},!{#{#Char}});
+													   // (graph,descriptor_table,module_table)