From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 10:25:25 +0000
Subject: Getting rid of CIL

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cil/src/escape.ml | 93 -------------------------------------------------------
 1 file changed, 93 deletions(-)
 delete mode 100644 cil/src/escape.ml

(limited to 'cil/src/escape.ml')

diff --git a/cil/src/escape.ml b/cil/src/escape.ml
deleted file mode 100644
index 198c9e5c..00000000
--- a/cil/src/escape.ml
+++ /dev/null
@@ -1,93 +0,0 @@
-(*
- *
- * Copyright (c) 2003, 
- *  Ben Liblit          <liblit@cs.berkeley.edu>
- * All rights reserved.
- * 
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions are
- * met:
- *
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- *
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- *
- * 3. The names of the contributors may not be used to endorse or promote
- * products derived from this software without specific prior written
- * permission.
- *
- * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
- * IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
- * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
- * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
- * OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
- * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
- * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
- * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
- * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
- * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
- * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- *
- *)
-
-
-(** OCaml types used to represent wide characters and strings *)
-type wchar = int64
-type wstring = wchar list
-
-
-let escape_char = function
-  | '\007' -> "\\a"
-  | '\b' -> "\\b"
-  | '\t' -> "\\t"
-  | '\n' -> "\\n"
-  | '\011' -> "\\v"
-  | '\012' -> "\\f"
-  | '\r' -> "\\r"
-  | '"' -> "\\\""
-  | '\'' -> "\\'"
-  | '\\' -> "\\\\"
-  | ' ' .. '~' as printable -> String.make 1 printable
-  | unprintable -> Printf.sprintf "\\%03o" (Char.code unprintable)
-
-let escape_string str =
-  let length = String.length str in
-  let buffer = Buffer.create length in
-  for index = 0 to length - 1 do
-    Buffer.add_string buffer (escape_char (String.get str index))
-  done;
-  Buffer.contents buffer
-
-(* a wide char represented as an int64 *)
-let escape_wchar =
-  (* limit checks whether upper > probe *)
-  let limit upper probe = (Int64.to_float (Int64.sub upper probe)) > 0.5 in
-  let fits_byte = limit (Int64.of_int 0x100) in
-  let fits_octal_escape = limit (Int64.of_int 0o1000) in
-  let fits_universal_4 = limit (Int64.of_int 0x10000) in
-  let fits_universal_8 = limit (Int64.of_string "0x100000000") in
-  fun charcode ->
-    if fits_byte charcode then
-      escape_char (Char.chr (Int64.to_int charcode))
-    else if fits_octal_escape charcode then
-      Printf.sprintf "\\%03Lo" charcode
-    else if fits_universal_4 charcode then
-      Printf.sprintf "\\u%04Lx" charcode
-    else if fits_universal_8 charcode then
-      Printf.sprintf "\\u%04Lx" charcode
-    else
-      invalid_arg "Cprint.escape_string_intlist"
-
-(* a wide string represented as a list of int64s *)
-let escape_wstring (str : int64 list) =
-  let length = List.length str in
-  let buffer = Buffer.create length in
-  let append charcode =
-    let addition = escape_wchar charcode in
-    Buffer.add_string buffer addition
-  in
-  List.iter append str;
-  Buffer.contents buffer
-- 
cgit