@spyglassmc/mcdoc 0.3.7 → 0.3.9

package/lib/runtime/checker/index.js

@@ -0,0 +1,914 @@
+import { Range, Source } from '@spyglassmc/core';
+import { localize } from '@spyglassmc/locales';
+import { TypeDefSymbolData } from '../../binder/index.js';
+import { McdocType, NumericRange } from '../../type/index.js';
+import { handleAttributes } from '../attribute/index.js';
+import { McdocCheckerContext } from './context.js';
+import { condenseAndPropagate } from './error.js';
+export * from './context.js';
+export * from './error.js';
+export function reference(node, path, ctx) {
+    typeDefinition(node, { kind: 'reference', path }, ctx);
+}
+export function dispatcher(node, registry, index, ctx) {
+    const parallelIndices = typeof index === 'string'
+        ? [{ kind: 'static', value: index }]
+        : Array.isArray(index)
+            ? index
+            : [index];
+    typeDefinition(node, { kind: 'dispatcher', registry, parallelIndices }, ctx);
+}
+export function isAssignable(assignValue, typeDef, ctx, isEquivalent) {
+    if (assignValue.kind === 'literal' && typeDef.kind === 'literal'
+        && assignValue.value.kind === typeDef.value.kind
+        && !assignValue.attributes && !typeDef.attributes) {
+        return assignValue.value.value === typeDef.value.value;
+    }
+    let ans = true;
+    const newCtx = McdocCheckerContext.create(ctx, {
+        isEquivalent,
+        getChildren: (_, d) => {
+            switch (d.kind) {
+                case 'list':
+                    const vals = getPossibleTypes(d.item);
+                    return [vals.map(v => ({ originalNode: v, inferredType: v }))];
+                case 'byte_array':
+                    return [[{ originalNode: { kind: 'byte' }, inferredType: { kind: 'byte' } }]];
+                case 'int_array':
+                    return [[{ originalNode: { kind: 'int' }, inferredType: { kind: 'int' } }]];
+                case 'long_array':
+                    return [[{ originalNode: { kind: 'long' }, inferredType: { kind: 'long' } }]];
+                case 'struct':
+                    return d.fields.map(f => {
+                        const vals = getPossibleTypes(f.type);
+                        return {
+                            attributes: f.attributes,
+                            key: { originalNode: f.key, inferredType: f.key },
+                            possibleValues: vals.map(v => ({ originalNode: v, inferredType: v })),
+                        };
+                    });
+                case 'tuple':
+                    return d.items.map(f => {
+                        const vals = getPossibleTypes(f);
+                        return vals.map(v => ({ originalNode: v, inferredType: v }));
+                    });
+                default:
+                    return [];
+            }
+        },
+        reportError: () => {
+            ans = false;
+        },
+    });
+    const node = {
+        parent: undefined,
+        runtimeKey: undefined,
+        possibleValues: [],
+    };
+    node.possibleValues = getPossibleTypes(typeDef).map(v => ({
+        entryNode: node,
+        node: { originalNode: v, inferredType: v },
+        children: [],
+        definitionsByParent: [],
+    }));
+    // TODO add bail option to allow checking logic to bail on first error
+    typeDefinition(getPossibleTypes(assignValue).map(v => ({ originalNode: v, inferredType: v })), typeDef, newCtx);
+    return ans;
+}
+export function typeDefinition(runtimeValues, typeDef, ctx) {
+    const rootNode = {
+        parent: undefined,
+        runtimeKey: undefined,
+        possibleValues: [],
+    };
+    rootNode.possibleValues = runtimeValues.map(n => ({
+        node: n,
+        entryNode: rootNode,
+        definitionsByParent: [],
+        children: [],
+    }));
+    for (const value of rootNode.possibleValues) {
+        const simplifiedRoot = simplify(typeDef, { ctx, node: value });
+        const validRootDefinitions = simplifiedRoot.kind === 'union'
+            ? simplifiedRoot.members
+            : [simplifiedRoot];
+        value.definitionsByParent = [{
+                parents: [],
+                keyDefinition: undefined,
+                runtimeNode: value,
+                originalTypeDef: typeDef,
+                condensedErrors: [],
+                validDefinitions: [],
+            }];
+        value.definitionsByParent[0].validDefinitions = validRootDefinitions.map(d => ({
+            groupNode: value.definitionsByParent[0],
+            typeDef: d,
+            children: [],
+        }));
+    }
+    const nodeQueue = [rootNode];
+    while (nodeQueue.length !== 0) {
+        const node = nodeQueue.shift();
+        for (const value of node.possibleValues) {
+            const inferredSimplified = simplify(value.node.inferredType, { ctx, node: value });
+            const children = ctx.getChildren(value.node.originalNode, inferredSimplified);
+            const childNodes = children.map(c => {
+                const ans = {
+                    parent: value,
+                    runtimeKey: !Array.isArray(c) ? c.key : undefined,
+                    possibleValues: [],
+                };
+                ans.possibleValues = (Array.isArray(c) ? c : c.possibleValues).map(v => ({
+                    entryNode: ans,
+                    node: v,
+                    definitionsByParent: [],
+                    condensedErrors: [],
+                    children: [],
+                }));
+                return ans;
+            });
+            for (const definitionGroup of value.definitionsByParent) {
+                const definitionErrors = [];
+                if (definitionGroup.validDefinitions.length === 0) {
+                    // nothing can be assigned to an empty union
+                    definitionGroup.condensedErrors = [[{
+                                kind: 'type_mismatch',
+                                node: value.node,
+                                expected: [],
+                            }]];
+                }
+                for (const def of definitionGroup.validDefinitions) {
+                    const { errors, childDefinitions } = checkShallowly(value.node, inferredSimplified, children, def.typeDef, ctx);
+                    definitionErrors.push({ definition: def, errors });
+                    for (let i = 0; i < childDefinitions.length; i++) {
+                        const childDef = childDefinitions[i];
+                        if (!childDef) {
+                            continue;
+                        }
+                        const child = childNodes[i];
+                        const existingDef = child.possibleValues.length > 0
+                            ? child.possibleValues[0].definitionsByParent
+                                .find(d => (d.keyDefinition === undefined || childDef.keyType === undefined
+                                ? d.keyDefinition === undefined
+                                : McdocType.equals(d.keyDefinition, childDef.keyType))
+                                && McdocType.equals(d.originalTypeDef, childDef.type))
+                            : undefined;
+                        for (const childValue of child.possibleValues) {
+                            if (existingDef) {
+                                existingDef.parents.push(def);
+                                def.children.push(existingDef);
+                                continue;
+                            }
+                            // TODO We need some sort of map / local cache which keeps track of the original
+                            // non-simplified types and see if they have been compared yet. This is needed
+                            // for structures that are cyclic, to essentially bail out once we are comparing
+                            // the same types again and just collect the errors of the lower depth.
+                            // This will currently lead to a stack overflow error when e.g. comparing two
+                            // text component definitions
+                            const simplified = simplify(childDef.type, { ctx, node: childValue });
+                            const childDefinitionGroup = {
+                                parents: [def],
+                                runtimeNode: childValue,
+                                keyDefinition: childDef.keyType,
+                                originalTypeDef: childDef.type,
+                                validDefinitions: [],
+                                condensedErrors: [],
+                                desc: childDef.desc,
+                            };
+                            childDefinitionGroup.validDefinitions =
+                                (simplified.kind === 'union' ? simplified.members : [simplified])
+                                    .map(d => ({
+                                    groupNode: childDefinitionGroup,
+                                    typeDef: d,
+                                    children: [],
+                                }));
+                            childValue.definitionsByParent.push(childDefinitionGroup);
+                            def.children.push(childDefinitionGroup);
+                        }
+                    }
+                }
+                condenseAndPropagate(definitionGroup, definitionErrors);
+            }
+            value.children = childNodes;
+            nodeQueue.push(...childNodes);
+        }
+    }
+    if (ctx.attachTypeInfo) {
+        for (const node of rootNode.possibleValues) {
+            attachTypeInfo(node, ctx);
+        }
+    }
+    for (const error of rootNode.possibleValues
+        .flatMap(v => v.definitionsByParent)
+        .flatMap(d => d.condensedErrors)
+        .flat()) {
+        if (error) {
+            ctx.reportError(error);
+        }
+    }
+}
+function attachTypeInfo(node, ctx) {
+    const definitions = node.definitionsByParent.flatMap(d => d.validDefinitions);
+    if (definitions.length === 1) {
+        const { typeDef, groupNode } = definitions[0];
+        ctx.attachTypeInfo?.(node.node.originalNode, typeDef, groupNode.desc);
+        handleStringAttachers(node.node, typeDef, ctx);
+        if (node.entryNode.runtimeKey && groupNode.keyDefinition) {
+            ctx.attachTypeInfo?.(node.entryNode.runtimeKey.originalNode, groupNode.keyDefinition, groupNode.desc);
+            handleStringAttachers(node.entryNode.runtimeKey, groupNode.keyDefinition, ctx);
+        }
+    }
+    else if (definitions.length > 1) {
+        ctx.attachTypeInfo?.(node.node.originalNode, {
+            kind: 'union',
+            members: definitions.map(d => d.typeDef),
+        });
+        if (node.entryNode.runtimeKey) {
+            ctx.attachTypeInfo?.(node.entryNode.runtimeKey.originalNode, {
+                kind: 'union',
+                members: node.definitionsByParent
+                    .map(d => d.keyDefinition)
+                    .filter((d) => d !== undefined),
+            });
+        }
+        // when there are multiple valid definitions, we don't run any string parsers.
+    }
+    for (const child of node.children.flatMap(c => c.possibleValues)) {
+        attachTypeInfo(child, ctx);
+    }
+}
+function handleStringAttachers(runtimeValue, typeDef, ctx) {
+    const { stringAttacher } = ctx;
+    if (!stringAttacher) {
+        return;
+    }
+    handleAttributes(typeDef.attributes, ctx, (handler, config) => {
+        const parser = handler.stringParser?.(config, typeDef, ctx);
+        if (!parser) {
+            return;
+        }
+        stringAttacher(runtimeValue.originalNode, (node) => {
+            const src = new Source(node.value, node.valueMap);
+            const start = src.cursor;
+            const child = parser(src, ctx);
+            if (!child) {
+                ctx.err.report(localize('expected', localize('mcdoc.runtime.checker.value')), Range.create(start, src.skipRemaining()));
+                return;
+            }
+            else if (src.canRead()) {
+                ctx.err.report(localize('mcdoc.runtime.checker.trailing'), Range.create(src.cursor, src.skipRemaining()));
+            }
+            node.children = [child];
+        });
+    });
+}
+function checkShallowly(runtimeNode, simplifiedInferred, children, typeDef, ctx) {
+    const typeDefValueType = getValueType(typeDef);
+    const runtimeValueType = getValueType(simplifiedInferred);
+    const childDefinitions = Array(children.length)
+        .fill(undefined);
+    if ((typeDef.kind !== 'any' && typeDef.kind !== 'unsafe'
+        && simplifiedInferred.kind !== 'unsafe'
+        && runtimeValueType.kind !== typeDefValueType.kind
+        && !ctx.isEquivalent(runtimeValueType, typeDefValueType))) {
+        return {
+            childDefinitions,
+            errors: [{ kind: 'type_mismatch', node: runtimeNode, expected: [typeDef] }],
+        };
+    }
+    const errors = [];
+    let assignable = true;
+    handleAttributes(typeDef.attributes, ctx, (handler, config) => {
+        if (handler.checkInferred?.(config, simplifiedInferred, ctx) === false) {
+            assignable = false;
+        }
+    });
+    if (!assignable) {
+        errors.push({ kind: 'internal', node: runtimeNode });
+    }
+    if ((typeDef.kind === 'literal'
+        && (simplifiedInferred.kind !== 'literal'
+            || typeDef.value.value !== simplifiedInferred.value.value))
+        // TODO handle enum field attributes
+        || (typeDef.kind === 'enum'
+            && (simplifiedInferred.kind !== 'literal'
+                || !typeDef.values.some(v => v.value === simplifiedInferred.value.value)))) {
+        return {
+            childDefinitions,
+            errors: [{ kind: 'type_mismatch', node: runtimeNode, expected: [typeDef] }],
+        };
+    }
+    switch (typeDef.kind) {
+        case 'any':
+        case 'unsafe':
+            break;
+        case 'byte':
+        case 'short':
+        case 'int':
+        case 'long':
+        case 'float':
+        case 'double':
+            if (typeDef.valueRange
+                && simplifiedInferred.kind === 'literal'
+                && typeof simplifiedInferred.value.value === 'number'
+                && !NumericRange.isInRange(typeDef.valueRange, simplifiedInferred.value.value)) {
+                errors.push({
+                    kind: 'number_out_of_range',
+                    node: runtimeNode,
+                    ranges: [typeDef.valueRange],
+                });
+            }
+            break;
+        case 'string':
+            if (typeDef.lengthRange
+                && simplifiedInferred.kind === 'literal'
+                && simplifiedInferred.value.kind === 'string'
+                && !NumericRange.isInRange(typeDef.lengthRange, simplifiedInferred.value.value.length)) {
+                errors.push({
+                    kind: 'invalid_string_length',
+                    node: runtimeNode,
+                    ranges: [typeDef.lengthRange],
+                });
+            }
+            break;
+        case 'struct': {
+            const literalKvps = new Map();
+            const otherKvps = [];
+            for (let i = 0; i < children.length; i++) {
+                const child = children[i];
+                if (Array.isArray(child)) {
+                    continue;
+                }
+                if (child.key.inferredType.kind === 'literal'
+                    && child.key.inferredType.value.kind === 'string') {
+                    const existing = literalKvps.get(child.key.inferredType.value.value);
+                    if (existing) {
+                        // duplicate key
+                        existing.values.push({ pair: child, index: i });
+                    }
+                    else {
+                        literalKvps.set(child.key.inferredType.value.value, {
+                            values: [{ pair: child, index: i }],
+                            definition: undefined,
+                        });
+                    }
+                }
+                else {
+                    otherKvps.push({ value: child, index: i });
+                }
+            }
+            for (const pair of typeDef.fields) {
+                const otherKvpMatches = [];
+                let foundMatch = false;
+                if (pair.key.kind === 'literal' && pair.key.value.kind === 'string') {
+                    const runtimeChild = literalKvps.get(pair.key.value.value);
+                    if (runtimeChild) {
+                        foundMatch = true;
+                        runtimeChild.definition = { keyType: pair.key, type: pair.type, desc: pair.desc };
+                    }
+                }
+                if (!foundMatch) {
+                    for (let i = 0; i < otherKvps.length; i++) {
+                        const kvp = otherKvps[i];
+                        if (isAssignable(kvp.value.key.inferredType, pair.key, ctx, ctx.isEquivalent)) {
+                            foundMatch = true;
+                            otherKvps.splice(i, 1);
+                            otherKvpMatches.push(kvp.index);
+                            i--;
+                        }
+                    }
+                    for (const kvp of literalKvps.entries()) {
+                        if (!kvp[1].definition
+                            && isAssignable({ kind: 'literal', value: { kind: 'string', value: kvp[0] } }, pair.key, ctx, ctx.isEquivalent)) {
+                            foundMatch = true;
+                            kvp[1].definition = { keyType: pair.key, type: pair.type, desc: pair.desc };
+                        }
+                    }
+                }
+                for (const match of otherKvpMatches) {
+                    childDefinitions[match] = { keyType: pair.key, type: pair.type, desc: pair.desc };
+                }
+                if (!foundMatch
+                    && !ctx.allowMissingKeys
+                    && pair.key.kind === 'literal'
+                    && pair.key.value.kind === 'string'
+                    && pair.optional !== true) {
+                    errors.push({ kind: 'missing_key', node: runtimeNode, keys: [pair.key.value.value] });
+                }
+            }
+            for (const kvp of literalKvps.values()) {
+                for (const value of kvp.values) {
+                    childDefinitions[value.index] = kvp.definition;
+                    if (kvp.values.length > 1) {
+                        errors.push({ kind: 'duplicate_key', node: value.pair.key });
+                    }
+                }
+            }
+            for (let i = 0; i < children.length; i++) {
+                const childDef = childDefinitions[i];
+                const child = children[i];
+                if (childDef === undefined) {
+                    if (Array.isArray(child)) {
+                        // This should never happen
+                        errors.push(...child.map(v => ({
+                            kind: 'expected_key_value_pair',
+                            node: v,
+                        })));
+                    }
+                    else {
+                        errors.push({ kind: 'unknown_key', node: child.key });
+                    }
+                }
+            }
+            break;
+        }
+        case 'list':
+        case 'byte_array':
+        case 'int_array':
+        case 'long_array': {
+            let itemType;
+            switch (typeDef.kind) {
+                case 'list':
+                    itemType = typeDef.item;
+                    break;
+                case 'byte_array':
+                    itemType = { kind: 'byte', valueRange: typeDef.valueRange };
+                    break;
+                case 'int_array':
+                    itemType = { kind: 'int', valueRange: typeDef.valueRange };
+                    break;
+                case 'long_array':
+                    itemType = { kind: 'long', valueRange: typeDef.valueRange };
+                    break;
+            }
+            for (let i = 0; i < childDefinitions.length; i++) {
+                childDefinitions[i] = { type: itemType };
+            }
+            if (typeDef.lengthRange && !NumericRange.isInRange(typeDef.lengthRange, children.length)) {
+                errors.push({
+                    kind: 'invalid_collection_length',
+                    node: runtimeNode,
+                    ranges: [typeDef.lengthRange],
+                });
+            }
+            break;
+        }
+        case 'tuple': {
+            for (let i = 0; i < children.length; i++) {
+                const child = children[i];
+                if (i < typeDef.items.length) {
+                    childDefinitions[i] = { type: typeDef.items[i] };
+                }
+                else {
+                    // This really should always be an array, just to handle this gracefully
+                    const values = Array.isArray(child) ? child : [...child.possibleValues, child.key];
+                    errors.push(...values.map(v => ({
+                        kind: 'unknown_tuple_element',
+                        node: v,
+                    })));
+                }
+            }
+            if (typeDef.items.length > children.length) {
+                errors.push({
+                    kind: 'invalid_collection_length',
+                    node: runtimeNode,
+                    ranges: [{ kind: 0b00, max: typeDef.items.length, min: typeDef.items.length }],
+                });
+            }
+            break;
+        }
+    }
+    return { childDefinitions, errors };
+}
+export function getPossibleTypes(typeDef) {
+    return typeDef.kind === 'union' ? typeDef.members.flatMap(m => getPossibleTypes(m)) : [typeDef];
+}
+export function simplify(typeDef, context) {
+    function wrap(typeDef) {
+        if (!typeDef.attributes?.length) {
+            return typeDef;
+        }
+        handleAttributes(typeDef.attributes, context.ctx, (handler, config) => {
+            if (handler.mapType) {
+                typeDef = handler.mapType(config, typeDef, context.ctx);
+            }
+        });
+        return typeDef;
+    }
+    switch (typeDef.kind) {
+        case 'reference':
+            return wrap(simplifyReference(typeDef, context));
+        case 'dispatcher':
+            return wrap(simplifyDispatcher(typeDef, context));
+        case 'indexed':
+            return wrap(simplifyIndexed(typeDef, context));
+        case 'union':
+            return wrap(simplifyUnion(typeDef, context));
+        case 'struct':
+            return wrap(simplifyStruct(typeDef, context));
+        case 'list':
+            return wrap(simplifyList(typeDef, context));
+        case 'tuple':
+            return wrap(simplifyTuple(typeDef, context));
+        case 'enum':
+            return wrap(simplifyEnum(typeDef, context));
+        case 'concrete':
+            return wrap(simplifyConcrete(typeDef, context));
+        case 'template':
+            return wrap(simplifyTemplate(typeDef, context));
+        case 'mapped':
+            return wrap(simplifyMapped(typeDef, context));
+        default:
+            return wrap(typeDef);
+    }
+}
+function simplifyReference(typeDef, context) {
+    if (!typeDef.path) {
+        // TODO when does this happen?
+        context.ctx.logger.warn(`Tried to access empty reference`);
+        return { kind: 'union', members: [] };
+    }
+    const mapped = context.typeMapping?.[typeDef.path];
+    if (mapped) {
+        return mapped;
+    }
+    // TODO Probably need to keep original symbol around in some way to support "go to definition"
+    const symbol = context.ctx.symbols.query(context.ctx.doc, 'mcdoc', typeDef.path);
+    const def = symbol.getData(TypeDefSymbolData.is)?.typeDef;
+    if (!def) {
+        context.ctx.logger.warn(`Tried to access unknown reference ${typeDef.path}`);
+        return { kind: 'union', members: [] };
+    }
+    const simplifiedDef = simplify(def, context);
+    if (typeDef.attributes?.length) {
+        return {
+            ...simplifiedDef,
+            attributes: [...typeDef.attributes, ...simplifiedDef.attributes ?? []],
+        };
+    }
+    return simplifiedDef;
+}
+function simplifyDispatcher(typeDef, context) {
+    const dispatcher = context.ctx.symbols.query(context.ctx.doc, 'mcdoc/dispatcher', typeDef.registry).symbol
+        ?.members;
+    if (!dispatcher) {
+        context.ctx.logger.warn(`Tried to access unknown dispatcher ${typeDef.registry}`);
+        return { kind: 'union', members: [] };
+    }
+    return resolveIndices(typeDef.parallelIndices, dispatcher, context);
+}
+function simplifyIndexed(typeDef, context) {
+    const child = simplify(typeDef.child, {
+        ...context,
+        typeArgs: [],
+        structFields: undefined,
+    });
+    if (child.kind !== 'struct') {
+        context.ctx.logger.warn(`Tried to index un-indexable type ${child.kind}`);
+        return { kind: 'union', members: [] };
+    }
+    const symbolMap = {};
+    for (const field of child.fields) {
+        if (field.key.kind === 'literal' && field.key.value.kind === 'string') {
+            symbolMap[field.key.value.value] = {
+                data: {
+                    typeDef: field.type,
+                },
+            };
+        }
+    }
+    return resolveIndices(typeDef.parallelIndices, symbolMap, context);
+}
+function resolveIndices(parallelIndices, symbolMap, context) {
+    let values = [];
+    let unkownTypeDef = false;
+    function getUnknownTypeDef() {
+        if (unkownTypeDef === false) {
+            const data = symbolMap['%unknown']?.data;
+            unkownTypeDef = TypeDefSymbolData.is(data) ? data.typeDef : undefined;
+        }
+        return unkownTypeDef;
+    }
+    for (const index of parallelIndices) {
+        let lookup = [];
+        if (index.kind === 'static') {
+            if (index.value === '%fallback') {
+                values = Object.values(symbolMap)
+                    .map(e => e.data)
+                    .filter(TypeDefSymbolData.is)
+                    .map(f => f.typeDef);
+                break;
+            }
+            if (index.value.startsWith('minecraft:')) {
+                lookup.push(index.value.substring(10));
+            }
+            else {
+                lookup.push(index.value);
+            }
+        }
+        else {
+            let possibilities = context.isMember
+                ? [{ value: context.node, key: context.node.entryNode.runtimeKey }]
+                : [{
+                        value: context.node.entryNode.parent,
+                        key: context.node.entryNode.runtimeKey,
+                    }];
+            for (const entry of index.accessor) {
+                if (typeof entry !== 'string' && entry.keyword === 'parent') {
+                    possibilities = possibilities.map(n => ({
+                        value: n.value?.entryNode.parent,
+                        key: n.value?.entryNode.runtimeKey,
+                    }));
+                }
+                else if (typeof entry !== 'string' && entry.keyword === 'key') {
+                    possibilities = possibilities.map(p => ({
+                        value: p.key
+                            ? { node: p.key, entryNode: { parent: p.value, runtimeKey: p.key } }
+                            : undefined,
+                        key: undefined,
+                    }));
+                    break;
+                }
+                else if (typeof entry === 'string') {
+                    const newPossibilities = [];
+                    for (const node of possibilities) {
+                        const possibleChildren = node.value
+                            ? context.ctx.getChildren(node.value.node.originalNode, simplify(node.value.node.inferredType, { ...context, node: node.value })).filter(child => {
+                                if (!Array.isArray(child)) {
+                                    return child.key.inferredType.kind === 'literal'
+                                        && child.key.inferredType.value.kind === 'string'
+                                        && child.key.inferredType.value.value === entry;
+                                }
+                                // TODO if it's a list, consider all list items.
+                                // This should probably work recursively if we have a list of lists.
+                                return false;
+                            }) // We don't consider arrays yet, see above.
+                                .flatMap(c => c.possibleValues.map(v => ({
+                                value: {
+                                    node: v,
+                                    entryNode: { parent: node.value, runtimeKey: c.key },
+                                },
+                                key: undefined,
+                            })))
+                            : [{ value: undefined, key: undefined }];
+                        newPossibilities.push(...possibleChildren);
+                    }
+                    possibilities = newPossibilities;
+                }
+                else {
+                    lookup.push('%none');
+                    break;
+                }
+            }
+            for (const value of possibilities.map(p => p.value?.node)) {
+                if (value?.inferredType.kind === 'literal' && value.inferredType.value.kind === 'string') {
+                    const ans = value.inferredType.value.value;
+                    if (ans.startsWith('minecraft:')) {
+                        lookup.push(ans.substring(10));
+                    }
+                    else {
+                        lookup.push(ans);
+                    }
+                }
+                else {
+                    lookup.push('%none');
+                }
+            }
+        }
+        if (lookup.length === 0) {
+            lookup = ['%none'];
+        }
+        const currentValues = lookup.map(v => {
+            const data = symbolMap[v]?.data;
+            return TypeDefSymbolData.is(data) ? data.typeDef : getUnknownTypeDef();
+        });
+        if (currentValues.includes(undefined)) {
+            // fallback case
+            return { kind: 'any' };
+        }
+        else {
+            values.push(...currentValues.map(v => v));
+        }
+    }
+    if (values.length === 1) {
+        // avoid overhead from union
+        return simplify(values[0], context);
+    }
+    return simplifyUnion({ kind: 'union', members: values }, context);
+}
+function simplifyUnion(typeDef, context) {
+    const filterCanonical = context.ctx.requireCanonical
+        && typeDef.members.some(m => m.attributes?.some(a => a.name === 'canonical'));
+    const validMembers = typeDef.members
+        .filter(member => {
+        if (filterCanonical && !member.attributes?.some(a => a.name === 'canonical')) {
+            return false;
+        }
+        let keep = true;
+        handleAttributes(member.attributes, context.ctx, (handler, config) => {
+            if (!keep || !handler.filterElement) {
+                return;
+            }
+            if (!handler.filterElement(config, context.ctx)) {
+                keep = false;
+            }
+        });
+        return keep;
+    });
+    if (validMembers.length === 1) {
+        // Avoid needing to manually add struct fields to parent if we are in a spread operation
+        return simplify(validMembers[0], context);
+    }
+    const members = [];
+    for (const member of validMembers) {
+        const simplified = simplify(member, {
+            ...context,
+            structFields: undefined,
+        });
+        if (simplified.kind === 'union') {
+            members.push(...simplified.members);
+        }
+        else {
+            members.push(simplified);
+        }
+        if (context.structFields && members.length > 1) {
+            return { kind: 'union', members: [] };
+        }
+    }
+    if (members.length === 1) {
+        // This should basically never happen, only when a union member resolves to an empty union.
+        // Apply struct fields to parent if we are inside a spread operation.
+        if (members[0].kind === 'struct' && context.structFields) {
+            for (const field of members[0].fields) {
+                if (field.key.kind === 'literal' && field.key.value.kind === 'string') {
+                    context.structFields.literalFields.set(field.key.value.value, field);
+                }
+                else {
+                    context.structFields.complexFields.push(field);
+                }
+            }
+        }
+        return members[0];
+    }
+    return { ...typeDef, kind: 'union', members };
+}
+function simplifyStruct(typeDef, context) {
+    const literalFields = context.structFields?.literalFields
+        ?? new Map();
+    let complexFields = context.structFields?.complexFields ?? [];
+    function addField(key, field) {
+        handleAttributes(field.attributes, context.ctx, (handler, config) => {
+            if (handler.mapField) {
+                field = handler.mapField(config, field, context.ctx);
+            }
+        });
+        if (typeof key === 'string') {
+            literalFields.set(key, field);
+        }
+        else if (key.kind === 'literal' && key.value.kind === 'string' && !key.attributes?.length) {
+            literalFields.set(key.value.value, field);
+        }
+        else if (key.kind === 'union') {
+            key.members.forEach(m => addField(m, { ...field, optional: true }));
+        }
+        else {
+            // Only keep fields where the new key is not assignable to an existing field
+            complexFields = complexFields.filter(other => !McdocType.equals(key, typeof other.key === 'string'
+                ? { kind: 'literal', value: { kind: 'string', value: other.key } }
+                : other.key));
+            complexFields.push({ ...field, key });
+        }
+    }
+    for (const field of typeDef.fields) {
+        let keep = true;
+        handleAttributes(field.attributes, context.ctx, (handler, config) => {
+            if (keep && handler.filterElement?.(config, context.ctx) === false) {
+                keep = false;
+            }
+        });
+        if (!keep) {
+            continue;
+        }
+        if (field.kind === 'pair') {
+            // Don't simplify the value here. We need to have the correct `node` and `parents`, which we
+            // cannot deterministically find for non-string keys.
+            // Instead, this method will be called by every struct child by the outer checking method.
+            const structKey = typeof field.key === 'string'
+                ? field.key
+                : simplify(field.key, { ...context, isMember: true, typeArgs: [] });
+            const mappedField = context.typeMapping
+                ? {
+                    ...field,
+                    type: {
+                        kind: 'mapped',
+                        child: field.type,
+                        mapping: context.typeMapping,
+                    },
+                }
+                : field;
+            addField(structKey, mappedField);
+        }
+        else {
+            const simplifiedSpread = simplify(field.type, {
+                ...context,
+                isMember: true,
+                typeArgs: [],
+                structFields: { literalFields, complexFields },
+            });
+            // Recursive calls above will already modify literal and complex fields passed by the
+            // context, so no need to handle them here.
+            // In case we are spreading sth that resolves to `any`, allow any other additional field.
+            if (simplifiedSpread.kind === 'any') {
+                addField({ kind: 'any' }, { kind: 'pair', key: { kind: 'any' }, type: { kind: 'any' } });
+            }
+        }
+    }
+    if (context.structFields) {
+        // In this case we are spreading a struct and the fields have been added to the parent map
+        // from context now.
+        return { kind: 'struct', fields: [] };
+    }
+    // Literal fields may still be assignable to complex fields,
+    // however this is currently not seen as an issue
+    return {
+        kind: 'struct',
+        fields: [
+            ...complexFields,
+            ...[...literalFields.entries()].map(([key, field]) => ({
+                ...field,
+                key: { kind: 'literal', value: { kind: 'string', value: key } },
+            })),
+        ],
+    };
+}
+function simplifyList(typeDef, context) {
+    if (!context.typeMapping) {
+        return typeDef;
+    }
+    return {
+        ...typeDef,
+        item: { kind: 'mapped', child: typeDef.item, mapping: context.typeMapping },
+    };
+}
+function simplifyTuple(typeDef, context) {
+    if (!context.typeMapping) {
+        return typeDef;
+    }
+    return {
+        ...typeDef,
+        items: typeDef.items.map(item => ({
+            kind: 'mapped',
+            child: item,
+            mapping: context.typeMapping,
+        })),
+    };
+}
+function simplifyEnum(typeDef, context) {
+    const filteredValues = typeDef.values.filter(value => {
+        let keep = true;
+        handleAttributes(value.attributes, context.ctx, (handler, config) => {
+            if (!keep || !handler.filterElement) {
+                return;
+            }
+            if (!handler.filterElement(config, context.ctx)) {
+                keep = false;
+            }
+        });
+        return keep;
+    });
+    return { ...typeDef, enumKind: typeDef.enumKind ?? 'int', values: filteredValues };
+}
+function simplifyConcrete(typeDef, context) {
+    const simplifiedArgs = typeDef.typeArgs.map(arg => simplify(arg, context));
+    return simplify(typeDef.child, { ...context, typeArgs: simplifiedArgs });
+}
+function simplifyTemplate(typeDef, context) {
+    if (context.typeArgs?.length !== typeDef.typeParams.length) {
+        context.ctx.logger.warn(`Expected ${typeDef.typeParams.length} mcdoc type args for ${McdocType.toString(typeDef.child)}, but got ${context.typeArgs?.length ?? 0}`);
+    }
+    const mapping = Object.fromEntries(typeDef.typeParams.map((param, i) => {
+        const arg = context.typeArgs?.[i] ?? { kind: 'union', members: [] };
+        return [param.path, arg];
+    }));
+    return simplify(typeDef.child, { ...context, typeArgs: [], typeMapping: mapping });
+}
+function simplifyMapped(typeDef, context) {
+    // Mapped types that were created in simplify are always simplified
+    // types already, in which case this will be a cheap operation, but
+    // this is necessary for type safety
+    const simplifiedMapping = Object.fromEntries(Object.entries(typeDef.mapping).map(([path, param]) => {
+        return [path, simplify(param, context)];
+    }));
+    return simplify(typeDef.child, { ...context, typeMapping: simplifiedMapping });
+}
+function getValueType(type) {
+    switch (type.kind) {
+        case 'literal':
+            return { kind: type.value.kind };
+        case 'enum':
+            return { kind: type.enumKind };
+        default:
+            return type;
+    }
+}
+//# sourceMappingURL=index.js.map