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/MLRISC/mltree/mltree-labexp.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/mltree/mltree-labexp.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : leunga 775 (* labelExp.sml -- expressions involving labels
2 :     *
3 :     * COPYRIGHT (c) 1995 AT&T Bell Laboratories.
4 :     *
5 :     *)
6 :     signature LABELEXP =
7 :     sig
8 :     structure T : MLTREE
9 :     val valueOf : T.labexp -> int
10 :     val toString : T.labexp -> string
11 :     val hash : T.labexp -> word
12 :     val == : T.labexp * T.labexp -> bool
13 :    
14 :     (*
15 :     * Hashing
16 :     *)
17 :     val hashStm : T.stm -> word
18 :     val hashRexp : T.rexp -> word
19 :     val hashFexp : T.fexp -> word
20 :     val hashCCexp : T.ccexp -> word
21 :    
22 :     (*
23 :     * Equality
24 :     *)
25 :     val eqStm : T.stm * T.stm -> bool
26 :     val eqRexp : T.rexp * T.rexp -> bool
27 :     val eqFexp : T.fexp * T.fexp -> bool
28 :     val eqCCexp : T.ccexp * T.ccexp -> bool
29 :     val eqMlriscs : T.mlrisc list * T.mlrisc list -> bool
30 :    
31 :     (*
32 :     * Value
33 :     *)
34 :     exception NonConst
35 :     val eval : {const:T.Constant.const -> IntInf.int,
36 :     label:Label.label -> int} ->
37 :     {rexp : T.rexp -> IntInf.int,
38 :     ccexp : T.ccexp -> bool
39 :     }
40 :     end
41 :    

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