(* image-info.sml
 *
 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
 * All rights reserved.
 *
 * Information about a NRRD file
 *)

structure ImageInfo : sig

    datatype info = ImgInfo of {
	    id : OS.FileSys.file_id,		(* ID of image file *)
	    dim : int,				(* dimension of space *)
	    ty : RawTypes.ty,			(* types of scalar samples *)
	    origin : FloatLit.float list,	(* center of first sample *)
	    sizes : int list			(* number of samples along each axis *)
	  }

  (* are the underlying files the same? *)
    val same : info * info -> bool

  (* hash value (based on image file ID) *)
    val hash : info -> word

  (* get image info from a Nrrd file *)
    val getInfo : string -> info

    val toString : info -> string

  end = struct

    datatype info = ImgInfo of {
	    id : OS.FileSys.file_id,		(* ID of image file *)
	    dim : int,				(* dimension of space *)
	    ty : RawTypes.ty,			(* types of scalar samples *)
	    origin : FloatLit.float list,	(* center of first sample *)
	    sizes : int list			(* number of samples along each axis *)
	  }

    fun same (ImgInfo{id=a, ...}, ImgInfo{id=b, ...}) = (a = b)

    fun hash (ImgInfo{id, ...}) = OS.FileSys.hash id

    fun getInfo fileName = let
	  val {version, header} = RunDNorm.run fileName
	  in
(* FIXME*)raise Fail "getInfo"
	  end

    fun toString (ImgInfo{...}) = "IMAGE" (* FIXME *)

  end

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: 
(* FIXME*)raise Fail &quot;getInfo&quot;
	  end

    fun toString (ImgInfo{...}) = &quot;IMAGE&quot; (* FIXME *)

  end</div>
</div></div>
</body></html>