Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/MLRISC/visualization/graphViewer.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/visualization/graphViewer.sml

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

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 657, Fri Jun 9 05:20:54 2000 UTC
# Line 11  Line 11 
11     structure G = Graph     structure G = Graph
12     structure FileSys = OS.FileSys     structure FileSys = OS.FileSys
13    
14       val tmpName = MLRiscControl.getString "tmpName"
15    
16     fun display exec (layout as G.GRAPH l) filename =     fun display exec (layout as G.GRAPH l) filename =
17        let val filename  = filename ^ D.suffix()        let val filename  = filename ^ D.suffix()
18            val _     = print("[ "^ #name l^": "^            val _     = print("[ "^ #name l^": "^
# Line 36  Line 38 
38                            "(" ^ (D.program()) ^ " " ^ filename ^                            "(" ^ (D.program()) ^ " " ^ filename ^
39                                "; /bin/rm " ^ filename ^ ") &"))                                "; /bin/rm " ^ filename ^ ") &"))
40    
41     fun view layout = display system layout (FileSys.tmpName())     fun getTmpName() =
42           if !tmpName = "" then FileSys.tmpName() else !tmpName
43    
44       fun view layout = display system layout (getTmpName())
45  end  end
46    

Legend:
Removed from v.651  
changed lines
  Added in v.657

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