X-Git-Url: http://git.euphorik.ch/?a=blobdiff_plain;f=Parasitemia%2FParasitemiaUI%2FUtils.fs;h=5b3ba712f4fb2da9af9da254411937e87be2448f;hb=b87b35b922551f122228df1fd9c530bbb807935a;hp=324e5f048c81758f8189efad5d0fcec66e2dbbce;hpb=c4a76a01f62568c6353396ff85551a3151fc5236;p=master-thesis.git diff --git a/Parasitemia/ParasitemiaUI/Utils.fs b/Parasitemia/ParasitemiaUI/Utils.fs index 324e5f0..5b3ba71 100644 --- a/Parasitemia/ParasitemiaUI/Utils.fs +++ b/Parasitemia/ParasitemiaUI/Utils.fs @@ -1,12 +1,61 @@ module ParasitemiaUI.Utils -let listAsStr (s: 'a seq) = +open System.IO + +open Newtonsoft.Json +open Newtonsoft.Json.Converters + +open Types + +let listAsStr (s : 'a seq) = s |> Seq.fold (fun acc obj -> acc + (if acc = "" then "" else ", ") + obj.ToString()) "" -let percentText (nbTotal: int, nb: int) : string = - if nbTotal = 0 - then +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 + 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 \"{0}\": {1}", predefinedPPIFilepath, ex) + +let private saveSensorSizesToFile (sensorSizes : SensorSize list) = + try + 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 \"{0}\": {1}", 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