X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Ftr%2Ftypewalk.h;h=e9e1ebf801d8c45bb8beac2b411e7198d937aeeb;hb=da9c4a1519a03db4b6a4cbd79dff05f69387611f;hp=6b023f640da593aacb80cd35478ba528a7de5efd;hpb=95016d86cd1ad652b9bd5c6b652b4fe85ceef003;p=libfirm

diff --git a/ir/tr/typewalk.h b/ir/tr/typewalk.h
index 6b023f640..e9e1ebf80 100644
--- a/ir/tr/typewalk.h
+++ b/ir/tr/typewalk.h
@@ -10,6 +10,8 @@
 ** - execute the post function after recursion
 */
 
+/* $Id$ */
+
 
 /* walk over all type information reachable from the ir graph. */
 
@@ -19,16 +21,59 @@
 # include "type_or_entity.h"
 
 
-/** dumps all type information reachable from global roots **/
-void type_walk(void (pre)(type_or_ent*, void*),
-	       void (post)(type_or_ent*, void*),
+typedef void (type_walk_func)(type_or_ent *, void *);
+
+/** Walks over all type information reachable from global roots.
+    Touches every type and entity in unspecified order.  If new
+    types/entities are created during the traversal these will
+    be visited, too. **/
+void type_walk(type_walk_func *pre,
+	       type_walk_func *post,
 	       void *env);
 
-/** dumps all type information reachable from irg **/
+/** walks over all type information reachable from irg **/
 void type_walk_irg(ir_graph *irg,
-		   void (pre)(type_or_ent*, void*),
-		   void (post)(type_or_ent*, void*),
+		   type_walk_func *pre,
+		   type_walk_func *post,
 		   void *env);
 
+/** Walks over all type information reachable from global roots.
+    Touches every class in specified order:
+    - first the super class
+    - second the class itself
+    - third the sub classes.  If new classes are created
+    during the traversal these will be visited, too. **/
+/** @@@ should be named class-walk **/
+/*  @@@ will be removed? */
+void type_walk_super2sub(type_walk_func *pre,
+			 type_walk_func *post,
+			 void *env);
+
+/** Walks over all type information reachable from global roots.
+    Touches every class in specified order:
+    - first the super class
+    - second the class itself
+    If new classes are created during the traversal these
+    will be visited, too. **/
+void type_walk_super(type_walk_func *pre,
+		     type_walk_func *post,
+		     void *env);
+
+/* Same as type_walk_super2sub, but visits only class types.
+   Executes pre for a class if all superclasses have been visited.
+   Then iterates to subclasses.  Executes post after return from
+   subclass.
+   Does not visit global type, frame types.
+*/
+/* @@@ ?? something is wrong with this. */
+void class_walk_super2sub(type_walk_func *pre,
+			  type_walk_func *post,
+			  void *env);
+
 
+/* Walks over all entities in the type */
+typedef void (entity_walk_func)(entity *, void *);
+void walk_types_entities(type *tp,
+			 entity_walk_func *doit,
+			 void *env);
 #endif /* _TYPEWALK_H_ */