From cdca11e616ce963e552842416d079777576eb4dd Mon Sep 17 00:00:00 2001
From: unknown <john.schihada@hotmail.com>
Date: Wed, 14 Oct 2020 13:03:30 +0200
Subject: [PATCH] Changes for making the game running again
---
Assets/Scripts/InventoryStuff/ScrollDetails.cs | 2 +-
Assets/Scripts/JSONManager.cs | 18 +++++++-----------
2 files changed, 8 insertions(+), 12 deletions(-)
diff --git a/Assets/Scripts/InventoryStuff/ScrollDetails.cs b/Assets/Scripts/InventoryStuff/ScrollDetails.cs
index 686c963c..90ffaf97 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 11eefbbc..a9040bc3 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;
--
GitLab