hediet

namespace Hediet.Reflection
{
    interface IDocumentationProvider
    {
        string GetDocumentationText(MemberInfo memberInfo);
        string GetDocumentationText(ParameterInfo memberInfo);
    }

    class XmlDocumentationProvider : IDocumentationProvider
    {

hediet

namespace Hediet.Math
{
    public class BijectivMap
    {
        private readonly int[] lowerKeyBounds;
        private readonly int[] upperKeyBounds;

        public BijectivMap(int[] lowerKeyBounds, int[] upperKeyBounds)
        {
            this.lowerKeyBounds = lowerKeyBounds;

hediet

using System;
using System.Diagnostics.Contracts;
using System.Linq;
using Newtonsoft.Json;
using Newtonsoft.Json.Linq;

namespace Hediet.Json.Converter
{
    public class CustomDiscriminatorObjectConverter : Newtonsoft.Json.JsonConverter
    {

hediet

{
   "help": "{n} is replaced with the sheet number, n represents the padding of the number e.g. ({2} => (01,02,03))",
   "name": "KIT Inf SS2015 (4. FSem)",
   "uebs": {
      "Sicherheit": {
         "begin": "2015-04-23 15:45",
         "every": 14,
         "url": "https://crypto.iti.kit.edu/fileadmin/User/SicherheitSS15/Uebung/Sicherheit_UE{2}.pdf",
         "info": "Keine Abgabe. Besprechung in der Übung. <a href='https://crypto.iti.kit.edu/index.php?id=sic-sose15'>Vorlesungsseite</a>"
      },

hediet

using System;
using System.Collections;
using System.Collections.Generic;
using System.Linq;
using System.Reflection;

namespace Hediet.Common
{
    /// <summary>
    /// Casts a list of objects to a strong typed list of any type.

hediet

interface Acceptor<T extends string> {
	accept(x: UserOf<T>): any;
	allow<T1 extends string>(x: T1): Acceptor<T|T1>;
}

interface UserOf<T extends string> {
	_brand: T;
}

function use<T extends string>(name: T): UserOf<T> { return null!; }

hediet

{
	"dependencies": {
		"classnames": {
			"ref": "classnames@2.2.5_1"
		},
		"mobx": {
			"ref": "mobx@3.2.0_2"
		},
		"mobx-react": {
			"ref": "mobx-react@4.2.2_3"

hediet

function tex(str: TemplateStringsArray, ...data: string[]) { }

const c = Sigma* *1
const Sigma = "uiae";
const SigmaS = "";
const x =
	(
		<def>
			Ein {Sigma}-{Sigma}-Advice (Hinweis) {A} ist eine Abbildung
			{A : Sigma* -> Pot(Gamma*)}

hediet

type SchemaType = PrimitiveSchema | ObjectSchema | ParametrizedObjectSchema;

interface PrimitiveSchema<T = any> {
	kind: "primitive";
	type: T;
}

interface Fields {
	[name: string]: SchemaType;
}

hediet

// shared
export const debuggerProxyContract = contract({
	server: {
		keepAlive: notificationContract({}),
	},
	client: {
		serverStarted: notificationContract({ params: type({ port: number }) }),
		clientConnected: notificationContract({}),
	},
});