Skip to content
Snippets Groups Projects
Select Git revision
  • b4960bd15de45962aca27d0f1c8664d5cb53b0af
  • master default
  • JS-based-scroll-rendering
  • Paul_Marius_Level
  • Paul_Marius_2
  • Paul_Marius
  • Andi_Mark
  • be-UnityWebView
  • gitignoreFrameitServer
  • ZimmerBSc
  • Bugfix_StageLoading
  • stages
  • MAZIFAU_Experimental
  • tsc/coneworld
  • tsc/fact-interaction
  • marcel
  • MaZiFAU_TopSort
  • mergeHelper
  • zwischenSpeichern
  • tempAndrToMaster
  • SebBranch
  • 3.0
  • v2.1
  • v2.0
  • v1.0
25 results

Models.meta

Blame
  • 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,