polyml/basis/Posix.sml

262         type stat
263         val isDir  : stat -> bool
264         val isChr  : stat -> bool
265         val isBlk  : stat -> bool
266         val isReg  : stat -> bool
267         val isFIFO : stat -> bool
268         val isLink : stat -> bool
269         val isSock : stat -> bool
270         val mode : stat -> S.mode
271         val ino : stat -> ino
272         val dev : stat -> dev
273         val nlink : stat -> int
274         val uid : stat -> uid
275         val gid : stat -> gid
276         val size : stat -> Position.int
277         val atime : stat -> Time.time
278         val mtime : stat -> Time.time
279         val ctime : stat -> Time.time
282     val stat  : string -> ST.stat
283     val lstat : string -> ST.stat
284     val fstat : file_desc -> ST.stat
807             fun fromStatus (stat: OS.Process.status): exit_status =
808             case (doCall(15, stat)) of
1129             type stat = { mode: S.mode, kind: int, ino: ino, dev: dev,
1132             (* The "kind" information is encoded by "stat" *)
1133             fun isDir({ kind, ...} : stat) = kind = 1
1134             and isChr({ kind, ...} : stat) = kind = 2
1135             and isBlk({ kind, ...} : stat) = kind = 3
1136             and isReg({ kind, ...} : stat) = kind = 0
1137             and isFIFO({ kind, ...} : stat) = kind = 4
1138             and isLink({ kind, ...} : stat) = kind = 5
1139             and isSock({ kind, ...} : stat) = kind = 6
1141             val mode : stat -> S.mode = #mode
1142             and ino : stat -> ino = #ino
1143             val dev : stat -> dev = #dev
1144             val nlink : stat -> int = #nlink
1145             val uid : stat -> uid = #uid
1146             val gid : stat -> gid = #gid
1147             val size : stat -> Position.int = #size
1148             val atime : stat -> Time.time = #atime
1149             val mtime : stat -> Time.time = #mtime
1150             val ctime : stat -> Time.time = #ctime
1162             fun stat name = convStat(doCall1(55, name))