Skip to content
Snippets Groups Projects
Select Git revision
  • c923a87661388bbdbf887c07504632099093dc73
  • 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

GenerateDemoFiles.cs

Blame
  • Scroll.cs 702 B
    using System.Collections;
    using System.Collections.Generic;
    using System;
    using UnityEngine;
    
    [Serializable]
    public class Declaration
    {
        public string name;
        public string isProof;
        public string value;
        public string identifier;
        public string description;
    }
    
    
    [Serializable]
    public class Scroll
    {
        public string problemTheory;
        public string solutionTheory;
        public string label;
        public string description;
        public Declaration[] declarations;
        //public string output;
    
        public static Scroll generateFromJson(string json) {
           return JsonUtility.FromJson<Scroll>(json);
        }
    
        public string toJson() {
            return JsonUtility.ToJson(this);
        } 
    }