import { expect } from "@std/expect";
import { describe, it } from "@std/testing/bdd";
import type { MutableJSONSchema } from "@commonfabric/api";
import { assertScopeDeclarationsAreReachable } from "../src/scope-placement.ts";

/** A slot holding `branch` beside `null`, declaring the user scope at its top. */
const beside = (branch: MutableJSONSchema): MutableJSONSchema => ({
  anyOf: [{ type: "null" }, branch],
  scope: "user",
});

describe("scope-placement", () => {
  it("accepts a scope at the slot's top level beside branches that declare none", () => {
    expect(() =>
      assertScopeDeclarationsAreReachable(beside({ type: "string" }))
    ).not.toThrow();
  });

  for (const keyword of ["anyOf", "oneOf", "allOf"] as const) {
    it(`throws for a cell's cap in an \`${keyword}\` branch, though it names the slot's scope`, () => {
      expect(() =>
        assertScopeDeclarationsAreReachable({
          [keyword]: [
            { type: "null" },
            { type: "string", asCell: [{ kind: "cell", scope: "user" }] },
          ],
          scope: "user",
        })
      ).toThrow("A scope wrapper cannot be a member of a union.");
    });
  }

  it("throws for a scope beside an uncapped cell entry in a branch", () => {
    // Beside a string entry, the `scope` is read as the branch's own.
    expect(() =>
      assertScopeDeclarationsAreReachable(
        beside({ type: "string", asCell: ["cell"], scope: "user" }),
      )
    ).toThrow("A scope wrapper cannot be a member of a union.");
  });

  it("throws for a value's scope in a branch", () => {
    expect(() =>
      assertScopeDeclarationsAreReachable(
        beside({ type: "string", scope: "user" }),
      )
    ).toThrow("A scope wrapper cannot be a member of a union.");
  });
});