X-Git-Url: http://git.euphorik.ch/?p=master-thesis.git;a=blobdiff_plain;f=Parasitemia%2FParasitemiaUI%2FUtils.fs;h=97c74252cca4997ae76779f5e42a73d5b045f63d;hp=324e5f048c81758f8189efad5d0fcec66e2dbbce;hb=a6aee26e20f3b24e6b07120cf95a7221dc072778;hpb=c4a76a01f62568c6353396ff85551a3151fc5236 diff --git a/Parasitemia/ParasitemiaUI/Utils.fs b/Parasitemia/ParasitemiaUI/Utils.fs index 324e5f0..97c7425 100644 --- a/Parasitemia/ParasitemiaUI/Utils.fs +++ b/Parasitemia/ParasitemiaUI/Utils.fs @@ -1,12 +1,63 @@ module ParasitemiaUI.Utils -let listAsStr (s: 'a seq) = - s |> Seq.fold (fun acc obj -> acc + (if acc = "" then "" else ", ") + obj.ToString()) "" +open System.IO -let percentText (nbTotal: int, nb: int) : string = - if nbTotal = 0 - then +open Newtonsoft.Json +open Newtonsoft.Json.Converters + +open Types + +let inline listAsStr (s : 'a seq) = + s |> Seq.fold (fun acc obj -> acc + (if acc = "" then "" else ", ") + string obj) "" + +let percentText (nbTotal : int, nb : int) : string = + if nbTotal = 0 then "" else let percent = 100. * (float nb) / (float nbTotal) - sprintf "%.1f %% (%d / %d)" percent nb nbTotal \ No newline at end of file + sprintf "%.1f %% (%d / %d)" percent nb nbTotal + +let roamingDir = + Path.Combine (System.Environment.GetFolderPath (System.Environment.SpecialFolder.ApplicationData), "Parasitemia") + +let predefinedPPIFilename = "predefined-ppi.json" +let predefinedPPIFilepath = Path.Combine (roamingDir, predefinedPPIFilename) + +let sensorSizesFilename = "sensor-sizes.json" +let sensorSizesFilepath = Path.Combine (roamingDir, sensorSizesFilename) + +let private savePredefinedPPIToFile (predefinedPPI : PredefinedPPI list) = + try + Directory.CreateDirectory roamingDir |> ignore + use file = new StreamWriter (predefinedPPIFilepath) + file.Write (JsonConvert.SerializeObject (predefinedPPI, JsonSerializerSettings (Formatting = Formatting.Indented))) + with + ex -> + Logger.Log.Error "Unable to save predefined PPI to file \"%s\": %O" predefinedPPIFilepath ex + +let private saveSensorSizesToFile (sensorSizes : SensorSize list) = + try + Directory.CreateDirectory roamingDir |> ignore + use file = new StreamWriter (sensorSizesFilepath) + file.Write (JsonConvert.SerializeObject (sensorSizes, JsonSerializerSettings (Formatting = Formatting.Indented))) + with + ex -> + Logger.Log.Error "Unable to save sensor sizes to file \"%s\": %O" sensorSizesFilepath ex + +let predefinedPPI : PredefinedPPI list = + try + use file = new StreamReader (predefinedPPIFilepath) + JsonConvert.DeserializeObject (file.ReadToEnd ()) + with + | ex -> + savePredefinedPPIToFile defaultPredefinedPPI + defaultPredefinedPPI + +let sensorSizes : SensorSize list = + try + use file = new StreamReader (sensorSizesFilepath) + JsonConvert.DeserializeObject (file.ReadToEnd ()) + with + | ex -> + saveSensorSizesToFile defaultSensorSizes + defaultSensorSizes