1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
(* Copyright (C) 1999-2006, 2008 Henry Cejtin, Matthew Fluet, Suresh
* Jagannathan, and Stephen Weeks.
* Copyright (C) 1997-2000 NEC Research Institute.
*
* MLton is released under a HPND-style license.
* See the file MLton-LICENSE for details.
*)
signature C_UTIL =
sig
structure C_Pointer :
sig
type t = C_Pointer.t
val null: t
val isNull: t -> bool
end
(* C char* *)
structure C_String :
sig
type t = C_String.t
(* string must be null terminated *)
val length: t -> int
val sub: t * int -> char
val toCharArrayOfLength: t * int -> char array
(* string must be null terminated *)
val toString: t -> string
(* extract first n characters of string *)
val toStringOfLength: t * int -> string
val update: t * int * char -> unit
end
(* NULL terminated char** *)
structure C_StringArray :
sig
type t = C_StringArray.t
val fromList: string list -> NullString.t array
(* extract first n strings from array *)
val toArrayOfLength: t * int -> string array
val toList: t -> string list
end
end
|
