From a2da1268c4a9af6755723698b7b6ba669aa7fd46 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 19 Jun 2014 10:21:35 +0200
Subject: Do some typing ; support multiple pre in abstract interpretation.

---
 frontend/ast_printer.ml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'frontend/ast_printer.ml')

diff --git a/frontend/ast_printer.ml b/frontend/ast_printer.ml
index 3ac881e..7ddcb67 100644
--- a/frontend/ast_printer.ml
+++ b/frontend/ast_printer.ml
@@ -1,5 +1,6 @@
 open Ast
 open Lexing
+open Typing
 
 
 (* Locations *)
@@ -252,3 +253,14 @@ let print_toplevel fmt = function
 
 let print_prog fmt p =
     List.iter (print_toplevel fmt) p
+
+
+(* Typed variable *)
+
+let print_type fmt = function
+    | TInt -> Format.fprintf fmt "int"
+    | TReal -> Format.fprintf fmt "real"
+    | TEnum e -> Format.fprintf fmt "enum { %a }" (print_list print_id ", ") e
+
+let print_typed_var fmt (p, id, t) =
+    Format.fprintf fmt "%s%s: %a" (if p then "probe " else "") id print_type t
-- 
cgit v1.2.3