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/compile/traversal.sig
ViewVC logotype

Annotation of /sml/trunk/src/cm/compile/traversal.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 369 - (view) (download) (as text)

1 : blume 369 (*
2 :     * The result signature of the "generic" compilation traversal functor.
3 :     *
4 :     * (C) 1999 Lucent Technologies, Bell Laboratories
5 :     *
6 :     * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7 :     *)
8 :     local
9 :     structure GP = GeneralParams
10 :     structure DG = DependencyGraph
11 :     structure GG = GroupGraph
12 :     in
13 :     signature TRAVERSAL = sig
14 :     type envdelta
15 :     type result
16 :    
17 :     val bnode : GP.info -> DG.bnode -> envdelta option
18 :     val group : GP.info -> GG.group -> result option
19 :     val impexpmap :
20 :     GP.info -> DependencyGraph.impexp SymbolMap.map -> result option
21 :    
22 :     (* If you go through the "sbnode" or "snode" interface, then
23 :     * you must reset explicitly when you are done. *)
24 :     val sbnode : GP.info -> DG.sbnode -> envdelta option
25 :     val snode : GP.info -> DG.snode -> envdelta option
26 :     val reset : unit -> unit
27 :    
28 :     val resetAll : unit -> unit
29 :     end
30 :     end

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