Annotation of /sml/branches/idlbasis-devel/src/system/Basis/Implementation/sml-basis-sig.sml

Parent Directory | Revision Log

---

Revision 1246 - (view) (download)

1 :	dbm	857
2 :			(*
3 :			* This file was automatically generated by ml-idl
4 :	blume	871	* (Fri Jul 6 15:20:40 2001)
5 :	dbm	857	*)
6 :
7 :			signature SML_BASIS = sig
8 :			type idl_string = String.string
9 :			type ML_word8vec_t = Word8Vector.vector
10 :	blume	870	type ML_word8vec_opt_t = Word8Vector.vector option
11 :	dbm	857	type ML_word8arr_t = Word8Array.array
12 :			type ML_charvec_t = CharVector.vector
13 :	blume	870	type ML_charvec_opt_t = CharVector.vector option
14 :	dbm	857	type ML_chararr_t = CharArray.array
15 :			type ML_unit_t = unit
16 :	blume	870	type ML_bool_t = bool
17 :			type ML_int_t = int
18 :			type ML_int32_t = Int32.int
19 :	dbm	857	type ML_string_t = string
20 :			type ML_string_opt_t = string option
21 :	blume	871	type ML_string_list_t = string list
22 :			type ML_int_opt_t = int option
23 :	blume	1235	type ML_iodesc_t = word (* was: Unsafe.Object.object *)
24 :	blume	863	type ML_directory_t = Unsafe.Object.object
25 :	blume	870	type Time_t = {seconds:Int32.int,uSeconds:Int32.int}
26 :	blume	1235	type ML_polldesc_list_t = (word * word (* Unsafe.Object.object *)) list
27 :			type ML_pollinfo_list_t = (word * word (* Unsafe.Object.object *)) list
28 :	dbm	857	type Date_t = {tm_sec:Int32.int,tm_min:Int32.int,tm_hour:Int32.int,tm_mday:Int32.int,tm_mon:Int32.int,tm_year:Int32.int,tm_wday:Int32.int,tm_yday:Int32.int,tm_isdst:Int32.int}
29 :	blume	863	val TO_NEAREST : Int.int
30 :			val TO_NEGINF : Int.int
31 :			val TO_POSINF : Int.int
32 :			val TO_ZERO : Int.int
33 :			val getRoundingMode : unit -> Int.int
34 :			val setRoundingMode : Int.int -> unit
35 :	blume	870	val OPEN_RD : Int.int
36 :			val OPEN_WR : Int.int
37 :			val OPEN_RDWR : Int.int
38 :			val OPEN_CREATE : Int.int
39 :			val OPEN_TRUNC : Int.int
40 :			val OPEN_APPEND : Int.int
41 :	blume	863	val openFile : (ML_string_t * Int.int) -> ML_iodesc_t
42 :			val closeFile : ML_iodesc_t -> unit
43 :	blume	871	val cmpIODesc : (ML_iodesc_t * ML_iodesc_t) -> Int.int
44 :	blume	870	val readTextVec : (Bool.bool * ML_iodesc_t * Int.int) -> ML_charvec_opt_t
45 :			val readTextArr : (Bool.bool * ML_iodesc_t * ML_chararr_t * Int.int * Int.int) -> ML_int_t
46 :			val writeTextVec : (Bool.bool * ML_iodesc_t * ML_charvec_t * Int.int * Int.int) -> ML_int_t
47 :			val writeTextArr : (Bool.bool * ML_iodesc_t * ML_chararr_t * Int.int * Int.int) -> ML_int_t
48 :			val readBinVec : (Bool.bool * ML_iodesc_t * Int.int) -> ML_word8vec_opt_t
49 :			val readBinArr : (Bool.bool * ML_iodesc_t * ML_word8arr_t * Int.int * Int.int) -> ML_int_t
50 :			val writeBinVec : (Bool.bool * ML_iodesc_t * ML_word8vec_t * Int.int * Int.int) -> ML_int_t
51 :			val writeBinArr : (Bool.bool * ML_iodesc_t * ML_word8arr_t * Int.int * Int.int) -> ML_int_t
52 :			val SET_POS_BEGIN : Int.int
53 :			val SET_POS_CUR : Int.int
54 :			val SET_POS_END : Int.int
55 :			val getPos : ML_iodesc_t -> ML_int32_t
56 :			val setPos : (ML_iodesc_t * ML_int32_t * Int.int) -> ML_unit_t
57 :	blume	863	val getStdIn : unit -> ML_iodesc_t
58 :			val getStdOut : unit -> ML_iodesc_t
59 :			val getStdErr : unit -> ML_iodesc_t
60 :	blume	870	val errorName : Int32.int -> ML_string_t
61 :			val errorMessage : Int32.int -> ML_string_t
62 :	blume	871	val syserror : idl_string -> ML_int_opt_t
63 :	blume	870	val osSystem : idl_string -> ML_int_t
64 :			val exit : Int.int -> unit
65 :	dbm	857	val getEnv : idl_string -> ML_string_opt_t
66 :	blume	863	val osSleep : Time_t -> unit
67 :			val openDir : idl_string -> ML_directory_t
68 :			val readDir : ML_directory_t -> ML_string_opt_t
69 :			val rewindDir : ML_directory_t -> ML_unit_t
70 :			val closeDir : ML_directory_t -> ML_unit_t
71 :	dbm	857	val chDir : idl_string -> ML_unit_t
72 :			val getDir : unit -> ML_string_t
73 :	blume	863	val mkDir : idl_string -> ML_unit_t
74 :	dbm	857	val rmDir : idl_string -> ML_unit_t
75 :	blume	870	val isReg : idl_string -> ML_bool_t
76 :			val isDir : idl_string -> ML_bool_t
77 :			val isLink : idl_string -> ML_bool_t
78 :	dbm	857	val readLink : idl_string -> ML_string_t
79 :	blume	870	val fileSize : idl_string -> ML_int32_t
80 :			val modTime : idl_string -> ML_int32_t
81 :	dbm	857	val setTime : (idl_string * Time_t option) -> ML_unit_t
82 :	blume	870	val removeFile : idl_string -> ML_unit_t
83 :			val renameFile : (idl_string * idl_string) -> ML_unit_t
84 :	blume	863	val A_READ : Int.int
85 :			val A_WRITE : Int.int
86 :			val A_EXEC : Int.int
87 :	blume	870	val fileAccess : (idl_string * Int.int) -> ML_bool_t
88 :	dbm	857	val tmpName : unit -> ML_string_t
89 :			val fileId : idl_string -> ML_word8vec_t
90 :	blume	863	val IOD_KIND_FILE : Int.int
91 :			val IOD_KIND_DIR : Int.int
92 :			val IOD_KIND_SYMLINK : Int.int
93 :			val IOD_KIND_TTY : Int.int
94 :			val IOD_KIND_PIPE : Int.int
95 :			val IOD_KIND_SOCKET : Int.int
96 :			val IOD_KIND_DEVICE : Int.int
97 :	blume	870	val ioDescKind : ML_iodesc_t -> ML_int_t
98 :	dbm	865	val POLL_RD : Word.word
99 :			val POLL_WR : Word.word
100 :			val POLL_ERR : Word.word
101 :	blume	870	val osPoll : (ML_polldesc_list_t * Time_t option) -> ML_pollinfo_list_t
102 :	dbm	857	val now : unit -> Time_t
103 :			val gmTime : Time_t -> Date_t
104 :			val localTime : Time_t -> Date_t
105 :	blume	1244	val mkTime : Date_t -> Time_t
106 :	blume	1246	val strFTime : (idl_string * Date_t) -> ML_string_t
107 :	dbm	857	val getCPUTime : unit -> (Time_t * Time_t * Time_t)
108 :	blume	871	val cmdName : unit -> idl_string
109 :			val cmdArgs : unit -> ML_string_list_t
110 :	dbm	857	end
111 :

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0