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/library/annotations.sig
ViewVC logotype

View of /sml/trunk/src/MLRISC/library/annotations.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 545 - (download) (as text) (annotate)
Thu Feb 24 13:56:44 2000 UTC (19 years, 5 months ago) by george
File size: 1206 byte(s)
  Changes to MLTREE
(*
 *  User definable annotations.
 *
 *  Note: annotations will now be used extensively in all part of
 *  the optimizer.
 *
 *  Idea is stolen from Stephen Weeks
 * 
 *  -- Allen
 *)

signature ANNOTATIONS =
sig
   
   type annotation 
   type annotations = annotation list
   type propList = annotations
 
   exception NoProperty

   type 'a property = 
        { get      : annotations -> 'a option,
          peek     : annotation  -> 'a option,
          lookup   : annotations -> 'a,
          contains : annotations -> bool,
          set      : 'a * annotations -> annotations,
          rmv      : annotations -> annotations,
          create   : 'a -> annotation
        }
   type flag = unit property

   (*
    * Generate a new annotation.
    * Client should provide a pretty printing function.
    *)
   val new : ('a -> string) option -> 'a property
   val new' : {toString: 'a -> string,
               get     : exn -> 'a,
               create  : 'a -> exn
              } -> 'a property

   (*
    * Pretty print an annotation
    *) 
   val toString : annotation -> string

   (*
    * Attach a pretty printer   
    *)
   val attachPrettyPrinter : (annotation -> string) -> unit

end

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