Annotation of /sml/trunk/src/cm/depend/ggraph.sml

Parent Directory | Revision Log

---

Revision 307 - (view) (download)

1 :	blume	294	(*
2 :			* Internal data structure representing a CM dependency graph.
3 :			* (coarse-grain: groups)
4 :			*
5 :			* (C) 1999 Lucent Technologies, Bell Laboratories
6 :			*
7 :			* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
8 :			*)
9 :			structure GroupGraph = struct
10 :
11 :			type privileges = StringSet.set
12 :
13 :	blume	305	datatype stableinfo =
14 :			NONSTABLE of privileges (* granted privileges *)
15 :	blume	307	| STABLE of DependencyGraph.bnode IntBinaryMap.map
16 :	blume	305
17 :			(* the "required" field includes everything:
18 :			* 1. privileges required by subgroups
19 :			* 2. newly required privileges
20 :			* 3. privileges that would be granted once the group is stabilized *)
21 :	blume	294	datatype group =
22 :			GROUP of { exports: DependencyGraph.impexp SymbolMap.map,
23 :			islib: bool,
24 :	blume	305	required: privileges,
25 :	blume	294	grouppath: AbsPath.t,
26 :	blume	304	subgroups: group list,
27 :	blume	305	stableinfo: stableinfo }
28 :	blume	294	end

---

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