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

SCM Repository

[diderot] Annotation of /branches/vis12/src/compiler/IL/domain-sig.sml
ViewVC logotype

Annotation of /branches/vis12/src/compiler/IL/domain-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 435 - (view) (download)
Original Path: trunk/src/compiler/IL/domain-sig.sml

1 : jhr 257 (* domain-sig.sml
2 :     *
3 : jhr 435 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot-language.cs.uchicago.edu)
4 : jhr 257 * All rights reserved.
5 :     *
6 :     * Abstract interface for data-flow analysis domains.
7 :     *)
8 :    
9 :     signature DOMAIN =
10 :     sig
11 :    
12 :     structure IL : SSA
13 :     type t
14 :    
15 :     val bottom : t
16 :     val join : t list -> t
17 :     val transfer : t * IL.node -> t
18 :    
19 :     val same : t * t -> bool
20 :    
21 :     val toString : t -> string
22 :    
23 :     end

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