Select Git revision
Models.meta
Fact.cs 29.06 KiB
using JsonSubTypes;
using Newtonsoft.Json;
using REST_JSON_API;
using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;
using System.Linq.Expressions;
using UnityEngine;
using UnityEngine.Networking;
public static class ParsingDictionary
{
//TODO? get rid of this, use reflection? instead, if possible
//TODO: docu
public static Dictionary<string, Func<List<Fact>, MMTFact, IEnumerator>> parseFactDictionary = new() {
{ MMTConstants.TypeType,
GeneralFact.parseFact },
{ MMTConstants.Point,
PointFact.parseFact },
{ MMTConstants.TestPoint,
TestPointFact.parseFact },
{ MMTConstants.Metric,
LineFact.parseFact },
{ MMTConstants.Angle,
AngleFact.parseFact },
{ MMTConstants.Eq,
RightAngleFact.parseFact },
{ MMTConstants.RightAngle,
RightAngleFact.parseFact },
{ MMTConstants.LineType,
RayFact.parseFact },
{ MMTConstants.LineOf,
RayFact.parseFact },
{ MMTConstants.OnLine,
OnLineFact.parseFact },
{ MMTConstants.ParallelLine,
ParallelLineFact.parseFact },
{ MMTConstants.CircleType3d,
CircleFact.parseFact },
{ MMTConstants.OnCircle,
OnCircleFact.parseFact },
{ MMTConstants.AnglePlaneLine,
AngleCircleLineFact.parseFact },
{ MMTConstants.RadiusCircleMetric,
RadiusFact.parseFact },
{ MMTConstants.AreaCircle,
AreaCircleFact.parseFact },
{ MMTConstants.OrthoCircleLine,
OrthogonalCircleLineFact.parseFact },
{ MMTConstants.VolumeCone,
ConeVolumeFact.parseFact },
{ MMTConstants.TruncatedVolumeCone,
TruncatedConeVolumeFact.parseFact },
{ MMTConstants.CylinderVolume,
CylinderVolumeFact.parseFact },
{ MMTConstants.TestType,
TestFact.parseFact },
{ MMTConstants.EqualityCircles,
EqualCirclesFact.parseFact },
{ MMTConstants.UnEqualityCircles,
UnEqualCirclesFact.parseFact },
{ MMTConstants.CreateWall,
QuadFact.parseFact },
{ MMTConstants.CreateTriangle,
TriangleFact.parseFact },
{ MMTConstants.ListType,
DynamicListFact.parseFact },
{ MMTConstants.Product,