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 268 - (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 :    
18 :     val expandOne : AbsPath.t * string option -> collection
19 :     val sequential : collection * collection -> collection
20 :    
21 : blume 268 val num_look : collection -> string -> int
22 :     val ml_look : collection -> GenericVC.Symbol.symbol -> bool
23 :     val cm_look : collection -> string -> bool
24 : blume 267 end
25 :    
26 :     structure MemberCollection :> MEMBERCOLLECTION = struct
27 :    
28 :     type collection = unit
29 :    
30 :     fun expandOne (f: AbsPath.t, c: string option) = ()
31 :     fun sequential (c1: collection, c2: collection) = ()
32 :    
33 : blume 268 fun num_look (c: collection) (s: string) = 0
34 :     fun ml_look (c: collection) (s: GenericVC.Symbol.symbol) = false
35 :     fun cm_look (c: collection) (s: string) = false
36 : blume 267 end

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