2024-08-28 20:42:52 +01:00
|
|
|
signature FILE_THREAD =
|
|
|
|
|
sig
|
2024-08-29 05:38:58 +01:00
|
|
|
val run: FileMessage.t Mailbox.mbox * InputMessage.t Mailbox.mbox -> unit
|
2024-08-28 20:42:52 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
structure FileThread :> FILE_THREAD =
|
|
|
|
|
struct
|
|
|
|
|
open FileMessage
|
2024-08-29 05:38:58 +01:00
|
|
|
open InputMessage
|
2024-08-28 20:42:52 +01:00
|
|
|
|
2024-12-29 20:18:29 +00:00
|
|
|
val structureName = "Green"
|
|
|
|
|
val filename = "green.dsc"
|
|
|
|
|
val exportFilename = "green.sml"
|
2025-07-13 15:45:09 +01:00
|
|
|
val collisionFilename = "green-collisions.sml"
|
2024-08-30 02:22:02 +01:00
|
|
|
|
2025-07-12 07:03:09 +01:00
|
|
|
fun loadIO (io, str) =
|
|
|
|
|
case TextIO.inputLine io of
|
|
|
|
|
SOME line => loadIO (io, str ^ line)
|
|
|
|
|
| NONE => str
|
|
|
|
|
|
|
|
|
|
fun loadSquares (path, inputMailbox) =
|
|
|
|
|
let
|
|
|
|
|
val io = TextIO.openIn filename
|
|
|
|
|
val str = loadIO (io, "")
|
|
|
|
|
val () = TextIO.closeIn io
|
|
|
|
|
in
|
|
|
|
|
case Parser.parse str of
|
2025-08-09 11:42:37 +01:00
|
|
|
SOME (canvasWidth, canvasHeight, tree) =>
|
|
|
|
|
Mailbox.send
|
|
|
|
|
( inputMailbox
|
|
|
|
|
, USE_LAYERS
|
|
|
|
|
{ tree = tree
|
|
|
|
|
, canvasWidth = canvasWidth
|
|
|
|
|
, canvasHeight = canvasHeight
|
|
|
|
|
}
|
|
|
|
|
)
|
2025-07-12 07:03:09 +01:00
|
|
|
| NONE => ()
|
|
|
|
|
end
|
2024-08-30 02:22:02 +01:00
|
|
|
|
2025-07-13 15:45:09 +01:00
|
|
|
fun saveString (filename, toSaveString) =
|
2025-07-12 06:03:59 +01:00
|
|
|
let
|
|
|
|
|
val io = TextIO.openOut filename
|
2025-07-13 15:45:09 +01:00
|
|
|
val () = TextIO.output (io, toSaveString)
|
2025-07-12 19:34:52 +01:00
|
|
|
in
|
|
|
|
|
TextIO.closeOut io
|
|
|
|
|
end
|
|
|
|
|
|
2024-08-29 05:38:58 +01:00
|
|
|
fun run (fileMailbox, inputMailbox) =
|
2024-08-28 20:42:52 +01:00
|
|
|
let
|
|
|
|
|
val _ =
|
|
|
|
|
case Mailbox.recv fileMailbox of
|
2025-07-13 15:45:09 +01:00
|
|
|
SAVE_SQUARES str => saveString (filename, str)
|
|
|
|
|
| EXPORT_SQUARES str => saveString (exportFilename, str)
|
|
|
|
|
| EXPORT_COLLISIONS str => saveString (collisionFilename, str)
|
2025-07-06 15:06:00 +01:00
|
|
|
| LOAD_SQUARES => loadSquares (filename, inputMailbox)
|
2024-08-28 20:42:52 +01:00
|
|
|
in
|
2024-08-29 05:38:58 +01:00
|
|
|
run (fileMailbox, inputMailbox)
|
2024-08-28 20:42:52 +01:00
|
|
|
end
|
|
|
|
|
end
|