Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/depend/ggraph.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 304, Mon May 31 09:10:08 1999 UTC revision 307, Tue Jun 1 09:38:28 1999 UTC
# Line 9  Line 9 
9  structure GroupGraph = struct  structure GroupGraph = struct
10    
11      type privileges = StringSet.set      type privileges = StringSet.set
     type privilegespec = { required : privileges, granted : privileges }  
12    
13        datatype stableinfo =
14            NONSTABLE of privileges         (* granted privileges *)
15          | STABLE of DependencyGraph.bnode IntBinaryMap.map
16    
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      datatype group =      datatype group =
22          GROUP of { exports: DependencyGraph.impexp SymbolMap.map,          GROUP of { exports: DependencyGraph.impexp SymbolMap.map,
23                     islib: bool,                     islib: bool,
24                     privileges: privilegespec,                     required: privileges,
25                     grouppath: AbsPath.t,                     grouppath: AbsPath.t,
26                     subgroups: group list,                     subgroups: group list,
27                     stableinfo: BinInfo.info IntBinaryMap.map option }                     stableinfo: stableinfo }
28  end  end

Legend:
Removed from v.304  
changed lines
  Added in v.307

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