Diff of /sml/trunk/src/cm/paths/srcpath.sml

Parent Directory | Revision Log | Patch

	revision 365, Fri Jul 2 08:38:07 1999 UTC	revision 366, Fri Jul 2 14:13:29 1999 UTC
#	Line 22	Line 22
22	* the current state of the file system: *)	* the current state of the file system: *)
23	val sync : unit -> unit	val sync : unit -> unit
24
25		(* This makes sure CM knows what the current working directory is: *)
26		val revalidateCwd : unit -> unit
27
28	(* This erases all persistent state: *)	(* This erases all persistent state: *)
29	val clear : unit -> unit	val clear : unit -> unit
30
	(* This should be called at the beginning of every main operation
	* to make sure CM knows what the current working directory is: *)
	val revalidateCwd : unit -> unit
31	val osstring : t -> string	val osstring : t -> string
32	val descr : t -> string	val descr : t -> string
33	val reAnchoredName : t * string -> string option	val reAnchoredName : t * string -> string option
#	Line 36	Line 35
35	val specOf : t -> string	val specOf : t -> string
36	val contextName : context -> string	val contextName : context -> string
37	val sameDirContext : t -> context	val sameDirContext : t -> context
38
39		(* This will be called at the beginning of most main operations.
40		* Therefore, it will automatically do the call to revalidateCwd. *)
41	val cwdContext : unit -> context	val cwdContext : unit -> context
42
43	val native : { context: context, spec: string } -> t	val native : { context: context, spec: string } -> t

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.365   changed lines   Added in v.366

---

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