29 |
|
|
30 |
(* names of generated types, functions, and globals *) |
(* names of generated types, functions, and globals *) |
31 |
val initGlobals = "InitGlobals" (* function for initializing program globals *) |
val initGlobals = "InitGlobals" (* function for initializing program globals *) |
32 |
|
val freeGlobals = "FreeGlobals" (* function for freeing program globals *) |
33 |
val initDefaults = "InitDefaults" (* function for initializing input defaults *) |
val initDefaults = "InitDefaults" (* function for initializing input defaults *) |
34 |
val registerOpts = "RegisterGlobalOpts" (* function for registering command-line options *) |
val registerOpts = "RegisterGlobalOpts" (* function for registering command-line options *) |
35 |
val shutdown = qualifyName "Shutdown" (* function that gets called at the end *) |
val shutdown = qualifyName "Shutdown" (* function that gets called at the end *) |
44 |
val statusTy = "Status_t" |
val statusTy = "Status_t" |
45 |
fun setImage dim = concat["Diderot_SetImage", Int.toString dim, "D"] |
fun setImage dim = concat["Diderot_SetImage", Int.toString dim, "D"] |
46 |
fun loadImage dim = concat["Diderot_LoadImage", Int.toString dim, "D"] |
fun loadImage dim = concat["Diderot_LoadImage", Int.toString dim, "D"] |
47 |
|
fun freeImage dim = concat["Diderot_FreeImage", Int.toString dim, "D"] |
48 |
val strandDescTy = "Strand_t" |
val strandDescTy = "Strand_t" |
49 |
val worldTy = qualifyName "World_t" |
val worldTy = qualifyName "World_t" |
50 |
val globalTy = qualifyName "Globals_t" |
val globalTy = qualifyName "Globals_t" |