Changeset 1310 for Deliverables/D2.2/8051-indexed-labels-branch/src/common/costLabel.mli

Timestamp:

Oct 6, 2011, 6:31:27 PM (9 years ago)

Author:

tranquil

Message:

• finished changes on annotator
• implementing indexes in interpreter

File:

• Deliverables/D2.2/8051-indexed-labels-branch/src/common/costLabel.mli (modified) (2 diffs)

Deliverables/D2.2/8051-indexed-labels-branch/src/common/costLabel.mli

@@ -19 +19 @@
 val make_id : string -> index -> string
 
-type indexing = sexpr array
+type indexing = sexpr list
+
+type const_indexing = int ref list
+
+(** [enter_loop n indexing] is used to update indexing when one is entering a
+    loop indexed by [n].
+        The function recycles the same constant indexing *)
+val enter_loop : index option -> const_indexing -> const_indexing
+
+(** [continue_loop n indexing] is used to update indexing when one is continuing a
+    loop indexed by [n]. *)
+val continue_loop : index option -> const_indexing -> const_indexing
 
 (** [id_indexing n] generates an identity indexing nested in [n] loops *) 
@@ -25 +36 @@
 
 (** [compose_index i s l] applies the transformation [i] |--> [s] to [l] *) 
-val compose_index : index -> sexpr -> indexing -> unit
+val compose_index : index -> sexpr -> indexing -> indexing
 
 (** [compose_index l m] applies all the transformations in  [l] to [m] *)
-val compose_indexing : indexing -> indexing -> unit
+val compose_indexing : indexing -> indexing -> indexing
+
+val compose_const_indexing : const_indexing -> indexing -> int list
 
 module IndexingSet : Set.S with type elt = indexing