Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/c-util/runtime-names.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/c-util/runtime-names.sml

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

revision 2040, Wed Oct 17 19:34:53 2012 UTC revision 2041, Thu Oct 18 13:16:15 2012 UTC
# Line 19  Line 19 
19    (* generated types *)    (* generated types *)
20      val worldTy = qualifyName "World_t"      val worldTy = qualifyName "World_t"
21      val globalsTy = qualifyName "Globals_t"      val globalsTy = qualifyName "Globals_t"
22        val inputsTy = qualifyName "Inputs_t"       (* type of struct used to hold command-line *)
23                                                    (* inputs. *)
24    
25    (* generate names for input and output variables *)    (* generate names for input and output variables *)
26      val inputDesc = qualifyName' "InVarDesc"      val inputDesc = qualifyName' "InVarDesc"
# Line 33  Line 35 
35      val freeGlobals = "FreeGlobals"             (* function for freeing program globals *)      val freeGlobals = "FreeGlobals"             (* function for freeing program globals *)
36      val initDefaults = "InitDefaults"           (* function for initializing input defaults *)      val initDefaults = "InitDefaults"           (* function for initializing input defaults *)
37      val registerOpts = "RegisterGlobalOpts"     (* function for registering command-line options *)      val registerOpts = "RegisterGlobalOpts"     (* function for registering command-line options *)
38        val initInputs = "InitInputs"               (* function for initializing global inputs *)
39      val shutdown = qualifyName "Shutdown"       (* function that gets called at the end *)      val shutdown = qualifyName "Shutdown"       (* function that gets called at the end *)
40      val initially = qualifyName "Initially"     (* function for creating initial strands *)      val initially = qualifyName "Initially"     (* function for creating initial strands *)
41      fun strandInit strand = strand ^ "_InitState"      fun strandInit strand = strand ^ "_InitState"
# Line 71  Line 74 
74      val evals2x2 = "Diderot_evals2x2"      val evals2x2 = "Diderot_evals2x2"
75      val evals3x3 = "Diderot_evals3x3"      val evals3x3 = "Diderot_evals3x3"
76    
77    (* functions for defining program inputs *)    (* functions for defining program inputs; note that sequences and images come from
78       * nrrd files, which are specified by their filenames.
79       *)
80      fun input ty = (case ty      fun input ty = (case ty
81             of Ty.StringTy => "Diderot_OptAddString"             of Ty.StringTy => "Diderot_OptAddString"
82              | Ty.BoolTy => "Diderot_OptAddBool"              | Ty.BoolTy => "Diderot_OptAddBool"
# Line 80  Line 85 
85              | Ty.TensorTy[2] => "Diderot_OptAddReal2"              | Ty.TensorTy[2] => "Diderot_OptAddReal2"
86              | Ty.TensorTy[3] => "Diderot_OptAddReal3"              | Ty.TensorTy[3] => "Diderot_OptAddReal3"
87              | Ty.TensorTy[4] => "Diderot_OptAddReal4"              | Ty.TensorTy[4] => "Diderot_OptAddReal4"
88              | Ty.DynSeqTy _ => raise Fail "FIXME"              | Ty.DynSeqTy _ => "Diderot_OptAddString"
89              | Ty.ImageTy _ => raise Fail "FIXME"              | Ty.ImageTy _ => "Diderot_OptAddString"
90              | ty => raise Fail("unsupported input type " ^ Ty.toString ty)              | ty => raise Fail("unsupported input type " ^ Ty.toString ty)
91            (* end case *))            (* end case *))
92    

Legend:
Removed from v.2040  
changed lines
  Added in v.2041

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