diff --git a/Assets/Scripts/InventoryStuff/ScrollDetails.cs b/Assets/Scripts/InventoryStuff/ScrollDetails.cs index 686c963c4271cd05f774043140b3874c93f18cb9..90ffaf972f54d10396f7aee205439710b8c85b4c 100644 --- a/Assets/Scripts/InventoryStuff/ScrollDetails.cs +++ b/Assets/Scripts/InventoryStuff/ScrollDetails.cs @@ -376,7 +376,7 @@ private void readPushout(string txt) int pid1 = getIdforBackendURI(f.left); int pid2 = getIdforBackendURI(f.middle); int pid3 = getIdforBackendURI(f.right); - AngleFact af = new AngleFact(id, pid1, pid2, pid3, f.uri, f.value); + AngleFact af = new AngleFact();//id, pid1, pid2, pid3, f.uri, f.value); CommunicationEvents.Facts.Insert(id, af); CommunicationEvents.AddFactEvent.Invoke(af); CommunicationEvents.PushoutFactEvent.Invoke(af); diff --git a/Assets/Scripts/JSONManager.cs b/Assets/Scripts/JSONManager.cs index 11eefbbc45063627f2bf4b2b26671162a9720685..a9040bc36a5238e14c052e139756deb6cb5ef8cd 100644 --- a/Assets/Scripts/JSONManager.cs +++ b/Assets/Scripts/JSONManager.cs @@ -22,17 +22,7 @@ public static class JSONManager { //could init the strings of MMTURIs with JSON or other settings file instead public static MMTURICollection MMTURIs = new MMTURICollection(); - - /* - public static Dictionary<string, string> URIDictionary = new Dictionary<string, string> { - {"point", "http://mathhub.info/MitM/core/geometry?3DGeometry?point" }, - {"tuple", "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple"}, - {"line", "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type" }, - {"distance", "http://mathhub.info/MitM/core/geometry?Geometry/Common?lineOf" } - }; - */ - - + [JsonConverter(typeof(JsonSubtypes), "kind")] public class MMTTerm { @@ -101,6 +91,9 @@ public static string ToJson(MMTDeclaration mmtDecl) } } + /** + * MMTSymbolDeclaration: Class for facts without values, e.g. Points + **/ public class MMTSymbolDeclaration : MMTDeclaration { public string label; @@ -115,6 +108,9 @@ public MMTSymbolDeclaration(string label, MMTTerm tp, MMTTerm df) } } + /** + * MMTValueDeclaration: Class for facts with values, e.g. Distances or Angles + **/ public class MMTValueDeclaration : MMTDeclaration { public string label;