Fact.cs

using System;
using System.Collections.Generic;
using UnityEngine;
using UnityEngine.Networking;
using TMPro;
using Newtonsoft.Json;
using static JSONManager;
using static CommunicationEvents;


public class ParsingDictionary {
    //TODO? get rid of this, use reflection? instead, if possible
    //TODO: docu
    public static Dictionary<string, Func<Scroll.ScrollFact, Fact>> parseFactDictionary = new Dictionary<string, Func<Scroll.ScrollFact, Fact>>() {
        {MMTURIs.Point, PointFact.parseFact},
        {MMTURIs.Metric, LineFact.parseFact},
        {MMTURIs.Angle, AngleFact.parseFact},
        {MMTURIs.LineType, RayFact.parseFact},
        {MMTURIs.LineOf, RayFact.parseFact},

        {MMTURIs.OnLine, OnLineFact.parseFact},
        //90Degree-Angle
        {MMTURIs.Eq, AngleFact.parseFact},
        //Parallel-LineFact
        {MMTURIs.ParallelLine, ParallelLineFact.parseFact},
        //CircleFact
        {MMTURIs.CircleType3d, CircleFact.parseFact},
        {MMTURIs.OnCircle, OnCircleFact.parseFact },
        {MMTURIs.AnglePlaneLine, AngleCircleLineFact.parseFact },
        {MMTURIs.RadiusCircleMetric, RadiusFact.parseFact },
        {MMTURIs.AreaCircle, AreaCircleFact.parseFact },
        {MMTURIs.OrthoCircleLine, OrthogonalCircleLineFact.parseFact },
        {MMTURIs.VolumeCone ,ConeVolumeFact.parseFact  },
        {MMTURIs.TruncatedVolumeCone ,TruncatedConeVolumeFact.parseFact  },
        {MMTURIs.RightAngle, RightAngleFact.parseFact },
        {MMTURIs.CylinderVolume, CylinderVolumeFact.parseFact },
        {MMTURIs.TestType, TestFact.parseFact },
        {MMTURIs.EqualityCircles, EqualCirclesFact.parseFact },
        {MMTURIs.UnEqualityCircles, UnEqualCirclesFact.parseFact }




    };
    /// Current solution to retrieve the fact ID from 
    
    public static string MMTermToString (MMTTerm term){
        if(term == null)
            return null;
        // case for OMA 
        if( term is OMA){
            OMA term_casted = (OMA) term;
            string applicant = ((OMS)term_casted.applicant).uri;
            string argument = "";
            for (int i = 0; i < term_casted.arguments.Count; i++) {
                argument = argument+ " " + MMTermToString(term_casted.arguments[i]);
            }
            return " " + applicant + " "+ argument;

        }
        // case for OMS 
        if (term is OMS)
        {
            OMS term_casted = (OMS)term;  
            return term_casted.uri;

        }

        // case for OMF
        if (term is OMF) {
            OMF term_casted = (OMF)term;
            return term_casted.f.ToString();

        }
        


        return "couldn't understand the type";


    }

    public static Dictionary<string, string> parseTermsToId = new Dictionary<string, string>();


}

/// <summary>
/// class to Read AddFact Responses.
/// </summary>
// TODO: docu
public class AddFactResponse
{
    public string uri;

    public static bool sendAdd(MMTDeclaration mmtDecl, out string uri)
    {
        string body = MMTSymbolDeclaration.ToJson(mmtDecl);
        return sendAdd(CommunicationEvents.ServerAdress + "/fact/add", body, out uri);
    }

    public static bool sendAdd(string path, string body, out string uri)
    {
        if (!CommunicationEvents.ServerRunning)
        {
            Debug.LogWarning("Server not running");
            uri = null;
            return false;
        }

        if(VerboseURI)
            Debug.Log("Sending to Server:\n" + body);

        //Put constructor parses stringbody to byteArray internally  (goofy workaround)
        UnityWebRequest www = UnityWebRequest.Put(path, body);
        www.method = UnityWebRequest.kHttpVerbPOST;
        www.SetRequestHeader("Content-Type", "application/json");
        www.timeout = 1;

        //TODO: implement real asynchronous communication ...
        AsyncOperation op = www.SendWebRequest();
        while (!op.isDone) ;

        if (www.result == UnityWebRequest.Result.ConnectionError
         || www.result == UnityWebRequest.Result.ProtocolError)
        {
            Debug.LogWarning(www.error);
            uri = null;
            return false;
        }
        else
        {
            string answer = www.downloadHandler.text;
            AddFactResponse res = JsonUtility.FromJson<AddFactResponse>(answer);

            if (VerboseURI)
                Debug.Log("Server added Fact:\n" + res.uri);

            uri = res.uri;
            return true;
        }
    }
}

/// <summary>
/// %Fact representation of Unity; mostly mirrors Facts of MMT.
/// </summary>
public abstract class Fact
{
    /// <summary>
    /// Reference to <c>GameObject</c> that represents this Fact in the GameWorld.
    /// </summary>
    /// <seealso cref="FactObject"/>
    [JsonIgnore]
    public GameObject Representation;

    /// <value>
    /// Unique Id. e.g.: MMT URI
    /// </value>
    public string Id { 
        get { return _URI; }
        set { if (_URI == null) _URI = value; } // needed for JSON
    }

    /// <summary>
    /// MMT URI
    /// </summary>
    protected string _URI;

    /// <value>
    /// <c>get</c> initiates and subsequently updates a human readable name. <remarks>Should be called once a constructor call to be initiated.</remarks>
    /// <c>set</c> calls <see cref="rename(string)"/>
    /// </value>
    public string Label {
        get { // in case of renamed dependables
            return hasCustomLabel && _CustomLabel != null ?
                _CustomLabel :
                generateLabel();
        }
        set { rename(value); }
    }

    /// <value>
    /// Is true if Fact has a custom <see cref="Label"/> which is not <c>null</c> or <c>""</c>.
    /// </value>
    public bool hasCustomLabel {
        get { return LabelId < 0; }
    }
    /// <summary>
    /// Stores custom <see cref="Label"/> if set.
    /// </summary>
    protected string _CustomLabel = null;

    /// <summary>
    /// Counter to organize auto generated <see cref="Label"/>.
    /// Set to negative, if custom \ref Label is assigned.
    /// </summary>
    // property for JSON to set AFTER Label => declare AFTER Label
    public int LabelId { get; set; }