package linthost

import "testing"

// TestFixSolidNoReactSpecificPropsRenamesReactProps verifies
// `solid/no-react-specific-props` applies the 1:1 rename it already names in
// its message, and leaves the `key` arm diagnostic-only.
//
// Solid's DOM aliases map `className` to `class` and `htmlFor` to `for`.
// This test checks the name-token substitution and unchanged value text, not
// rendered DOM behavior for every value shape. The rule reports React-style
// `key` without editing it; this test does not assert that a `key` attribute is
// unobservable in the DOM or test a deletion span.
//
//  1. Fix a `<label>` carrying both React prop names and assert both are
//     renamed while string, expression, and bare boolean shapes survive.
//  2. Assert a `key` prop reports without applying any edit.
//  3. Assert the negative twins stay silent: the same element written with
//     Solid's own `class` and `for`, and `className` on a component, which is
//     a real prop name rather than a DOM attribute.
//
// @evidence contracts/testing.md#behavioral-verification The Solid DOM rule renames className/htmlFor to class/for while preserving values, withholds key autofix and leaves component props alone.
// @evidence contracts/testing.md#independent-expectations Literal TSX results preserve string/expression/bare-boolean attribute shapes; exact original key source and zero edits establish the no-autofix oracle.
// @evidence contracts/testing.md#distinguishing-cases DOM string/expression and boolean attributes fix; key receives no automatic edit; canonical DOM props and uppercase component className stay silent.
// @evidence contracts/testing.md#execution-ownership TestFixSolidNoReactSpecificPropsRenamesReactProps owns assertFixSnapshotFile, runFixSnapshotFile and both runRuleFindingsSnapshotFile controls on real TSX grammar.
func TestFixSolidNoReactSpecificPropsRenamesReactProps(t *testing.T) {
  assertFixSnapshotFile(
    t,
    "solid/no-react-specific-props",
    "main.tsx",
    "import { createSignal } from \"solid-js\";\n\nexport const App = () => <label className=\"a\" htmlFor={id()} />;\n",
    "import { createSignal } from \"solid-js\";\n\nexport const App = () => <label class=\"a\" for={id()} />;\n",
  )
  assertFixSnapshotFile(
    t,
    "solid/no-react-specific-props",
    "main.tsx",
    "import { createSignal } from \"solid-js\";\n\nexport const App = () => <label className htmlFor />;\n",
    "import { createSignal } from \"solid-js\";\n\nexport const App = () => <label class for />;\n",
  )

  keyed := "import { createSignal } from \"solid-js\";\n\nexport const App = () => <div key=\"k\" />;\n"
  got, applied := runFixSnapshotFile(t, "solid/no-react-specific-props", "main.tsx", keyed)
  if applied != 0 {
    t.Fatalf("key arm applied %d fixes, want 0", applied)
  }
  if got != keyed {
    t.Fatalf("key arm rewrote source:\nwant %q\ngot  %q", keyed, got)
  }

  for _, negative := range []string{
    "import { createSignal } from \"solid-js\";\n\nexport const App = () => <label class=\"a\" for={id()} />;\n",
    "import { createSignal } from \"solid-js\";\n\nexport const App = () => <Label className=\"a\" />;\n",
  } {
    _, _, findings := runRuleFindingsSnapshotFile(
      t,
      "solid/no-react-specific-props",
      "main.tsx",
      negative,
      nil,
    )
    if len(findings) != 0 {
      t.Fatalf("expected zero findings for %q, got %d (%+v)", negative, len(findings), findings)
    }
  }
}