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/ckit/src/ast/sizeof-sig.sml
ViewVC logotype

View of /sml/trunk/ckit/src/ast/sizeof-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 597 - (download) (annotate)
Wed Apr 5 18:34:51 2000 UTC (19 years, 2 months ago) by dbm
File size: 1175 byte(s)
Initial revision
(* Copyright (c) 1998 by Lucent Technologies *)

signature SIZEOF = sig

  val warningsOn  : unit -> unit (* default *) 
  val warningsOff : unit -> unit 
  val byteSizeOf  : {sizes: Sizes.sizes, err: string -> unit,
		     warn: string -> unit, bug: string->unit}
        -> Tables.tidtab -> Ast.ctype -> {bytes:int, byteAlignment:int}

  val reset : unit -> unit
      (* reset memoization table *)

(* DBM: following not yet used? *)

  val bitSizeOf   : {sizes: Sizes.sizes, err: string -> unit,
		     warn: string -> unit, bug: string->unit}
        -> Tables.tidtab -> Ast.ctype
        -> {bits:int, bitAlignment:int}

  val fieldOffsets: {sizes: Sizes.sizes, err: string -> unit,
		     warn: string -> unit, bug: string->unit}
        -> Tables.tidtab -> Ast.ctype
        -> ({memberOpt:Ast.member option, bitOffset:int} list) option

  (* looks up a field in the list returned by fieldOffsets *)
  val getField: {sizes: Sizes.sizes, err: string -> unit,
		 warn: string -> unit, bug: string->unit}
        -> Ast.member * {memberOpt: Ast.member option, bitOffset:int} list
        -> {memberOpt: Ast.member option, bitOffset: int}
    
end (* signature SIZEOF *)

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