Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /trunk/src/compiler/IL/forward-dfa-fn.sml
ViewVC logotype

Diff of /trunk/src/compiler/IL/forward-dfa-fn.sml

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

revision 257, Mon Aug 9 18:28:37 2010 UTC revision 258, Mon Aug 9 18:36:44 2010 UTC
# Line 10  Line 10 
10    
11      structure D : DOMAIN      structure D : DOMAIN
12    
13      (* abstract representation of analysis results *)
14      type result      type result
15    
16      (* given the entry value and root statement, do the forward DFA on the CFG *)
17      val analyse : D.t * D.IL.stmt -> result      val analyse : D.t * D.IL.stmt -> result
18    
19      (* get result for a node *)
20      val outValue : result * D.IL.node -> D.t      val outValue : result * D.IL.node -> D.t
21    
22      (* scrub results to reclaim space *)
23      val scrub : result -> unit      val scrub : result -> unit
24    
25    end = struct    end = struct

Legend:
Removed from v.257  
changed lines
  Added in v.258

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