* code_graph/: added view_matrix.ml and more files

code_graph/cairo_helpers3.ml

@@ -0,0 +1,41 @@
+(* Yoann Padioleau
+ * 
+ * Copyright (C) 2012 Facebook
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public License
+ * version 2.1 as published by the Free Software Foundation, with the
+ * special exception on linking described in file license.txt.
+ * 
+ * This library is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the file
+ * license.txt for more details.
+ *)
+open Common
+
+(* floats are the norm in graphics *)
+open Common.ArithFloatInfix
+
+(*****************************************************************************)
+(* Prelude *)
+(*****************************************************************************)
+
+(* todo: factorize with codemap/cairo_helpers.ml *)
+
+
+(*****************************************************************************)
+(* Text related *)
+(*****************************************************************************)
+
+(*****************************************************************************)
+(* Distance conversion *)
+(*****************************************************************************)
+
+(*****************************************************************************)
+(* Surface *)
+(*****************************************************************************)
+
+let surface_of_pixmap pm =
+  let cr = Cairo_lablgtk.create pm#pixmap in
+  Cairo.get_target cr

code_graph/controller3.mli

@@ -0,0 +1,3 @@
+
+val _statusbar_addtext: (string -> unit) ref
+val _set_title: (string -> unit) ref

code_graph/view_matrix.ml

@@ -0,0 +1,30 @@
+(* Yoann Padioleau
+ * 
+ * Copyright (C) 2012 Facebook
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public License
+ * version 2.1 as published by the Free Software Foundation, with the
+ * special exception on linking described in file license.txt.
+ * 
+ * This library is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the file
+ * license.txt for more details.
+ *)
+open Common
+(* floats are the norm in graphics *)
+open Common.ArithFloatInfix
+
+module CairoH = Cairo_helpers3
+
+(*****************************************************************************)
+(* Prelude *)
+(*****************************************************************************)
+
+(*****************************************************************************)
+(* Painting *)
+(*****************************************************************************)
+
+let paint w =
+  raise Todo

code_graph/view_matrix.mli

@@ -0,0 +1,2 @@
+
+val paint: Model3.world -> unit