Class TypeInference

src/Inference.ts:81–183

}

export class TypeInference {
    constructor(private readonly _typeBuilder: TypeGraphBuilder, private readonly _inferEnums: boolean) {}

    inferType = (
        cjson: CompressedJSON,
        typeName: string,
        isInferred: boolean,
        valueArray: NestedValueArray
    ): TypeRef => {
        const unionBuilder = new InferenceUnionBuilder(this._typeBuilder, typeName, isInferred, this, cjson);
        let numValues = 0;

        forEachValueInNestedValueArray(valueArray, value => {
            numValues += 1;
            const t = valueTag(value);
            switch (t) {
                case Tag.Null:
                    unionBuilder.addNull();
                    break;
                case Tag.False:
                case Tag.True:
                    unionBuilder.addBool();
                    break;
                case Tag.Integer:
                    unionBuilder.addInteger();
                    break;
                case Tag.Double:
                    unionBuilder.addDouble();
                    break;
                case Tag.InternedString:
                    if (this._inferEnums && !unionBuilder.haveString) {
                        const s = cjson.getStringForValue(value);
                        if (canBeEnumCase(s)) {
                            unionBuilder.addEnumCase(s);
                        } else {
                            unionBuilder.addStringType("string");
                        }
                    } else {
                        unionBuilder.addStringType("string");
                    }
                    break;
                case Tag.UninternedString:
                    unionBuilder.addStringType("string");
                    break;
                case Tag.Object:
                    unionBuilder.addClass(cjson.getObjectForValue(value));
                    break;
                case Tag.Array:
                    unionBuilder.addArray(cjson.getArrayForValue(value));
                    break;
                case Tag.Date:
                    unionBuilder.addStringType("date");
                    break;
                case Tag.Time:
                    unionBuilder.addStringType("time");
                    break;
                case Tag.DateTime:
                    unionBuilder.addStringType("date-time");