Function combineClasses

src/CombineClasses.ts:68–154

(graph: TypeGraph, stringTypeMapping: StringTypeMapping)

}

export function combineClasses(graph: TypeGraph, stringTypeMapping: StringTypeMapping): TypeGraph {
    let unprocessedClasses = graph
        .allNamedTypesSeparated()
        .classes.filter(c => !c.isFixed)
        .toArray();
    const cliques: ClassType[][] = [];

    // FIXME: Don't build cliques one by one.  Instead have a list of
    // cliques-in-progress and iterate over all classes.  Add the class
    // to the first clique that it's part of.  If there's none, make it
    // into a new clique.
    while (unprocessedClasses.length > 0) {
        const classesLeft: ClassType[] = [];
        const clique = [unprocessedClasses[0]];

        for (let i = 1; i < unprocessedClasses.length; i++) {
            const c = unprocessedClasses[i];
            if (isPartOfClique(c, clique)) {
                clique.push(c);
            } else {
                classesLeft.push(c);
            }
        }

        if (clique.length > 1) {
            cliques.push(clique);
        }

        unprocessedClasses = classesLeft;
    }

    function makeCliqueClass(clique: Set<ClassType>, builder: GraphRewriteBuilder<ClassType>): TypeRef {
        assert(clique.size > 0, "Clique can't be empty");
        let inferredNames = OrderedSet<string>();
        let givenNames = OrderedSet<string>();
        clique.forEach(c => {
            if (c.areNamesInferred) {
                inferredNames = inferredNames.union(c.names);
            } else {
                givenNames = givenNames.union(c.names);
            }
        });
        const areNamesInferred = givenNames.isEmpty();
        const properties = getCliqueProperties(clique, builder);
        return builder.getClassType(areNamesInferred ? inferredNames : givenNames, areNamesInferred, properties);
    }

    function getCliqueProperties(
        clique: Set<ClassType>,
        builder: GraphRewriteBuilder<ClassType>
    ): OrderedMap<string, TypeRef> {
        let properties = OrderedMap<string, [Type, number, boolean]>();
        clique.forEach(c => {
            c.properties.forEach((t, name) => {
                const p = properties.get(name);
                if (p) {
                    p[1] += 1;
                    // If one of the clique class's properties is nullable,