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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/cm/semant/members.sml
ViewVC logotype

Annotation of /sml/trunk/src/cm/semant/members.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 267 - (view) (download)

1 : blume 267 (* just a placeholder so far *)
2 :    
3 :     (*
4 :     * Collections of members in CM descriptions.
5 :     * Involves:
6 :     * - running tools
7 :     * - fully analyzing sub-groups and sub-libraries
8 :     * - parsing ML files and getting their export lists
9 :     *
10 :     * (C) 1999 Lucent Technologies, Bell Laboratories
11 :     *
12 :     * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
13 :     *)
14 :     signature MEMBERCOLLECTION = sig
15 :    
16 :     type collection
17 :     type environment
18 :    
19 :     val empty : collection
20 :     val expandOne : AbsPath.t * string option -> collection
21 :     val sequential : collection * collection -> collection
22 :    
23 :     val envOf : collection -> environment
24 :    
25 :     val num_look : environment -> string -> int
26 :     val ml_look : environment -> GenericVC.Symbol.symbol -> bool
27 :     val cm_look : environment -> string -> bool
28 :     end
29 :    
30 :     structure MemberCollection :> MEMBERCOLLECTION = struct
31 :    
32 :     type collection = unit
33 :     type environment = unit
34 :    
35 :     val empty = ()
36 :     fun expandOne (f: AbsPath.t, c: string option) = ()
37 :     fun sequential (c1: collection, c2: collection) = ()
38 :    
39 :     fun envOf (c: collection) = ()
40 :    
41 :     fun num_look (e: environment) (s: string) = 0
42 :     fun ml_look (e: environment) (s: GenericVC.Symbol.symbol) = false
43 :     fun cm_look (e: environment) (s: string) = false
44 :     end

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