Revision d79255aea6ed65a6ccee20633a7fe71619d7e34c authored by No author on 17 November 1997, 17:43:45 UTC, committed by No author on 17 November 1997, 17:43:45 UTC
git-svn-id: http://caml.inria.fr/svn/ocaml/release/1.06@1781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1 parent b8e86dc
printf.ml
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id$ *)
external format_int: string -> int -> string = "format_int"
external format_float: string -> float -> string = "format_float"
let fprintf outchan format =
let format = (Obj.magic format : string) in
let rec doprn i =
if i >= String.length format then
Obj.magic ()
else begin
let c = String.unsafe_get format i in
if c <> '%' then begin
output_char outchan c;
doprn (succ i)
end else begin
let j = skip_args (succ i) in
match String.unsafe_get format j with
'%' ->
output_char outchan '%';
doprn (succ j)
| 's' ->
Obj.magic(fun s ->
if j <= i+1 then
output_string outchan s
else begin
let p =
try
int_of_string (String.sub format (i+1) (j-i-1))
with _ ->
invalid_arg "fprintf: bad %s format" in
if p > 0 & String.length s < p then begin
output_string outchan
(String.make (p - String.length s) ' ');
output_string outchan s
end else if p < 0 & String.length s < -p then begin
output_string outchan s;
output_string outchan
(String.make (-p - String.length s) ' ')
end else
output_string outchan s
end;
doprn (succ j))
| 'c' ->
Obj.magic(fun c ->
output_char outchan c;
doprn (succ j))
| 'd' | 'o' | 'x' | 'X' | 'u' ->
Obj.magic(fun n ->
output_string outchan
(format_int (String.sub format i (j-i+1)) n);
doprn (succ j))
| 'f' | 'e' | 'E' | 'g' | 'G' ->
Obj.magic(fun f ->
output_string outchan
(format_float (String.sub format i (j-i+1)) f);
doprn (succ j))
| 'b' ->
Obj.magic(fun b ->
output_string outchan (string_of_bool b);
doprn (succ j))
| 'a' ->
Obj.magic(fun printer arg ->
printer outchan arg;
doprn(succ j))
| 't' ->
Obj.magic(fun printer ->
printer outchan;
doprn(succ j))
| c ->
invalid_arg ("fprintf: unknown format")
end
end
and skip_args j =
match String.unsafe_get format j with
'0' .. '9' | ' ' | '.' | '-' -> skip_args (succ j)
| c -> j
in doprn 0
let printf fmt = fprintf stdout fmt
and eprintf fmt = fprintf stderr fmt
let sprintf format =
let format = (Obj.magic format : string) in
let rec doprn start i accu =
if i >= String.length format then begin
let res =
if i > start
then String.sub format start (i-start) :: accu
else accu in
Obj.magic(String.concat "" (List.rev res))
end else
if String.unsafe_get format i <> '%' then
doprn start (i+1) accu
else begin
let accu1 =
if i > start then
String.sub format start (i-start) :: accu
else accu in
let j = skip_args (succ i) in
match String.unsafe_get format j with
'%' ->
doprn j (succ j) accu1
| 's' ->
Obj.magic(fun s ->
let accu2 =
if j <= i+1 then
s :: accu1
else begin
let p =
try
int_of_string (String.sub format (i+1) (j-i-1))
with _ ->
invalid_arg "fprintf: bad %s format" in
if p > 0 & String.length s < p then
s :: String.make (p - String.length s) ' ' :: accu1
else if p < 0 & String.length s < -p then
String.make (-p - String.length s) ' ' :: s :: accu1
else
s :: accu1
end in
doprn (succ j) (succ j) accu2)
| 'c' ->
Obj.magic(fun c ->
doprn (succ j) (succ j) (String.make 1 c :: accu1))
| 'd' | 'o' | 'x' | 'X' | 'u' ->
Obj.magic(fun n ->
doprn (succ j) (succ j)
(format_int (String.sub format i (j-i+1)) n :: accu1))
| 'f' | 'e' | 'E' | 'g' | 'G' ->
Obj.magic(fun f ->
doprn (succ j) (succ j)
(format_float (String.sub format i (j-i+1)) f :: accu1))
| 'b' ->
Obj.magic(fun b ->
doprn (succ j) (succ j) (string_of_bool b :: accu1))
| 'a' ->
Obj.magic(fun printer arg ->
doprn (succ j) (succ j) (printer () arg :: accu1))
| 't' ->
Obj.magic(fun printer ->
doprn (succ j) (succ j) (printer () :: accu1))
| c ->
invalid_arg ("sprintf: unknown format")
end
and skip_args j =
match String.unsafe_get format j with
'0' .. '9' | ' ' | '.' | '-' -> skip_args (succ j)
| c -> j
in doprn 0 0 []
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...