Method mergeSnippets

src/core/Snippets.ts:147–176

* Merge core, third-party, and user snippets, with precedence user > third * party > core.

()

   * party > core.
   */
  private mergeSnippets() {
    this.mergedSnippets = {};

    // We make a list of all entries from all sources, in order of increasing
    // precedence: user > third party > core.
    const entries = [
      ...Object.entries(cloneDeep(this.coreSnippets)),
      ...Object.values(this.thirdPartySnippets).flatMap((snippets) =>
        Object.entries(cloneDeep(snippets))
      ),
      ...Object.entries(cloneDeep(this.userSnippets)),
    ];

    entries.forEach(([key, value]) => {
      if (this.mergedSnippets.hasOwnProperty(key)) {
        const { definitions, ...rest } = value;
        const mergedSnippet = this.mergedSnippets[key];

        // NB: We make sure that the new definitions appear before the previous
        // ones so that they take precedence
        mergedSnippet.definitions = definitions.concat(
          ...mergedSnippet.definitions
        );

        merge(mergedSnippet, rest);
      } else {
        this.mergedSnippets[key] = value;
      }
    });
  }

  /**
   * Looks in merged collection of snippets for a snippet with key