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

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/visualization/graphLayout.sml
ViewVC logotype

View of /sml/trunk/src/MLRISC/visualization/graphLayout.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 470 - (download) (annotate)
Wed Nov 10 22:42:52 1999 UTC (20 years ago) by monnier
File size: 1097 byte(s)
This commit was generated by cvs2svn to compensate for changes in r469,
which included commits to RCS files with non-trunk default branches.
(*
 * Here are some graph layout annotations.
 *
 * -- Allen
 *)

structure GraphLayout =
struct

   datatype format = 
     LABEL of string
   | COLOR of string
   | NODE_COLOR of string
   | EDGE_COLOR of string
   | TEXT_COLOR of string
   | ARROW_COLOR of string
   | BACKARROW_COLOR of string
   | BORDER_COLOR of string
   | BORDERLESS 
   | SHAPE of string 
   | ALGORITHM of string
   | EDGEPATTERN of string
   | DIR (* for internal use only! *)

   val STYLE = Annotations.new(SOME(fn _ => "STYLE")) : 
         format list Annotations.property 

   type ('n,'e,'g) style = 
      { edge  : 'e Graph.edge -> format list,
        node  : 'n Graph.node -> format list,
        graph : 'g -> format list
      }

   type layout = (format list, format list, format list) Graph.graph

   fun makeLayout {node,edge,graph} G = 
       IsomorphicGraphView.map node edge graph G

   fun makeLayout' G =
   let val edgeColor = [COLOR "red"]
   in  makeLayout {node=fn (i,_) => [LABEL(Int.toString i)],
                   edge=fn _ => edgeColor,
                   graph=fn _ => []} G
   end

end


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