@eslint/json 0.10.0 → 0.12.0

package/dist/esm/index.js

@@ -1,3 +1,9 @@
+
+/**
+ * @import { DocumentNode, Node, Token, AnyNode, MemberNode } from "@humanwhocodes/momoa"
+ * @import { SourceLocation, FileProblem, DirectiveType, RulesConfig, TextSourceCode, Language, OkParseResult, ParseResult, File } from "@eslint/core"
+ * @import { JSONSyntaxElement, JSONRuleDefinition } from "./types.ts"
+ */
 // @ts-self-types="./index.d.ts"
 import { iterator, visitorKeys, parse } from '@humanwhocodes/momoa';
 import { ConfigCommentParser, TextSourceCodeBase, Directive, VisitNodeStep } from '@eslint/plugin-kit';
@@ -13,18 +19,8 @@ import naturalCompare from 'natural-compare';
 // Types
 //-----------------------------------------------------------------------------
 
-/** @typedef {import("@humanwhocodes/momoa").DocumentNode} DocumentNode */
-/** @typedef {import("@humanwhocodes/momoa").Node} JSONNode */
-/** @typedef {import("@humanwhocodes/momoa").Token} JSONToken */
-/** @typedef {import("@eslint/core").SourceRange} SourceRange */
-/** @typedef {import("@eslint/core").SourceLocation} SourceLocation */
-/** @typedef {import("@eslint/core").File} File */
-/** @typedef {import("@eslint/core").TraversalStep} TraversalStep */
-/** @typedef {import("@eslint/core").TextSourceCode} TextSourceCode */
-/** @typedef {import("@eslint/core").VisitTraversalStep} VisitTraversalStep */
-/** @typedef {import("@eslint/core").FileProblem} FileProblem */
-/** @typedef {import("@eslint/core").DirectiveType} DirectiveType */
-/** @typedef {import("@eslint/core").RulesConfig} RulesConfig */
+/**
+ */
 
 //-----------------------------------------------------------------------------
 // Helpers
@@ -41,14 +37,14 @@ const INLINE_CONFIG =
 class JSONTraversalStep extends VisitNodeStep {
 	/**
 	 * The target of the step.
-	 * @type {JSONNode}
+	 * @type {Node}
 	 */
 	target = undefined;
 
 	/**
 	 * Creates a new instance.
 	 * @param {Object} options The options for the step.
-	 * @param {JSONNode} options.target The target of the step.
+	 * @param {Node} options.target The target of the step.
 	 * @param {1|2} options.phase The phase of the step.
 	 * @param {Array<any>} options.args The arguments of the step.
 	 */
@@ -65,6 +61,7 @@ class JSONTraversalStep extends VisitNodeStep {
 
 /**
  * JSON Source Code Object
+ * @implements {TextSourceCode<{LangOptions: JSONLanguageOptions, RootNode: DocumentNode, SyntaxElementWithLoc: JSONSyntaxElement, ConfigNode: Token}>}
  */
 class JSONSourceCode extends TextSourceCodeBase {
 	/**
@@ -75,13 +72,13 @@ class JSONSourceCode extends TextSourceCodeBase {
 
 	/**
 	 * Cache of parent nodes.
-	 * @type {WeakMap<JSONNode, JSONNode>}
+	 * @type {WeakMap<Node, Node>}
 	 */
 	#parents = new WeakMap();
 
 	/**
 	 * Collection of inline configuration comments.
-	 * @type {Array<JSONToken>}
+	 * @type {Array<Token>}
 	 */
 	#inlineConfigComments;
 
@@ -93,7 +90,7 @@ class JSONSourceCode extends TextSourceCodeBase {
 
 	/**
 	 * The comment node in the source code.
-	 * @type {Array<JSONToken>|undefined}
+	 * @type {Array<Token>|undefined}
 	 */
 	comments;
 
@@ -113,7 +110,7 @@ class JSONSourceCode extends TextSourceCodeBase {
 
 	/**
 	 * Returns the value of the given comment.
-	 * @param {JSONToken} comment The comment to get the value of.
+	 * @param {Token} comment The comment to get the value of.
 	 * @returns {string} The value of the comment.
 	 * @throws {Error} When an unexpected comment type is passed.
 	 */
@@ -132,7 +129,7 @@ class JSONSourceCode extends TextSourceCodeBase {
 	/**
 	 * Returns an array of all inline configuration nodes found in the
 	 * source code.
-	 * @returns {Array<JSONToken>} An array of all inline configuration nodes.
+	 * @returns {Array<Token>} An array of all inline configuration nodes.
 	 */
 	getInlineConfigNodes() {
 		if (!this.#inlineConfigComments) {
@@ -141,7 +138,7 @@ class JSONSourceCode extends TextSourceCodeBase {
 			);
 		}
 
-		return this.#inlineConfigComments;
+		return this.#inlineConfigComments ?? [];
 	}
 
 	/**
@@ -243,8 +240,8 @@ class JSONSourceCode extends TextSourceCodeBase {
 
 	/**
 	 * Returns the parent of the given node.
-	 * @param {JSONNode} node The node to get the parent of.
-	 * @returns {JSONNode|undefined} The parent of the node.
+	 * @param {Node} node The node to get the parent of.
+	 * @returns {Node|undefined} The parent of the node.
 	 */
 	getParent(node) {
 		return this.#parents.get(node);
@@ -291,12 +288,13 @@ class JSONSourceCode extends TextSourceCodeBase {
 // Types
 //-----------------------------------------------------------------------------
 
-/** @typedef {import("@eslint/core").Language} Language */
-/** @typedef {import("@eslint/core").OkParseResult<DocumentNode>} OkParseResult */
-/** @typedef {import("@eslint/core").ParseResult<DocumentNode>} ParseResult */
 /**
+ *
+ * @typedef {OkParseResult<DocumentNode>} JSONOkParseResult
+ * @typedef {ParseResult<DocumentNode>} JSONParseResult
+ *
  * @typedef {Object} JSONLanguageOptions
- * @property {boolean} [allowTrailingCommas] Whether to allow trailing commas.
+ * @property {boolean} [allowTrailingCommas] Whether to allow trailing commas in JSONC mode.
  */
 
 //-----------------------------------------------------------------------------
@@ -305,7 +303,7 @@ class JSONSourceCode extends TextSourceCodeBase {
 
 /**
  * JSON Language Object
- * @implements {Language}
+ * @implements {Language<{ LangOptions: JSONLanguageOptions; Code: JSONSourceCode; RootNode: DocumentNode; Node: AnyNode }>}
  */
 class JSONLanguage {
 	/**
@@ -382,7 +380,7 @@ class JSONLanguage {
 	 * Parses the given file into an AST.
 	 * @param {File} file The virtual file to parse.
 	 * @param {{languageOptions: JSONLanguageOptions}} context The options to use for parsing.
-	 * @returns {ParseResult} The result of parsing.
+	 * @returns {JSONParseResult} The result of parsing.
 	 */
 	parse(file, context) {
 		// Note: BOM already removed
@@ -430,7 +428,7 @@ class JSONLanguage {
 	/**
 	 * Creates a new `JSONSourceCode` object from the given information.
 	 * @param {File} file The virtual file to create a `JSONSourceCode` object from.
-	 * @param {OkParseResult} parseResult The result returned from `parse()`.
+	 * @param {JSONOkParseResult} parseResult The result returned from `parse()`.
 	 * @returns {JSONSourceCode} The new `JSONSourceCode` object.
 	 */
 	createSourceCode(file, parseResult) {
@@ -447,13 +445,24 @@ class JSONLanguage {
  * @author Nicholas C. Zakas
  */
 
+//-----------------------------------------------------------------------------
+// Type Definitions
+//-----------------------------------------------------------------------------
+
+/**
+ *
+ * @typedef {"duplicateKey"} NoDuplicateKeysMessageIds
+ * @typedef {JSONRuleDefinition<{ MessageIds: NoDuplicateKeysMessageIds }>} NoDuplicateKeysRuleDefinition
+ */
+
 //-----------------------------------------------------------------------------
 // Rule Definition
 //-----------------------------------------------------------------------------
 
-var noDuplicateKeys = {
+/** @type {NoDuplicateKeysRuleDefinition} */
+const rule$5 = {
 	meta: {
-		type: /** @type {const} */ ("problem"),
+		type: "problem",
 
 		docs: {
 			description: "Disallow duplicate keys in JSON objects",
@@ -465,7 +474,10 @@ var noDuplicateKeys = {
 	},
 
 	create(context) {
+		/** @type {Array<Map<string, MemberNode>|undefined>} */
 		const objectKeys = [];
+
+		/** @type {Map<string, MemberNode>|undefined} */
 		let keys;
 
 		return {
@@ -504,9 +516,24 @@ var noDuplicateKeys = {
  * @author Nicholas C. Zakas
  */
 
-var noEmptyKeys = {
+//-----------------------------------------------------------------------------
+// Type Definitions
+//-----------------------------------------------------------------------------
+
+/**
+ *
+ * @typedef {"emptyKey"} NoEmptyKeysMessageIds
+ * @typedef {JSONRuleDefinition<{ MessageIds: NoEmptyKeysMessageIds }>} NoEmptyKeysRuleDefinition
+ */
+
+//-----------------------------------------------------------------------------
+// Rule Definition
+//-----------------------------------------------------------------------------
+
+/** @type {NoEmptyKeysRuleDefinition} */
+const rule$4 = {
 	meta: {
-		type: /** @type {const} */ ("problem"),
+		type: "problem",
 
 		docs: {
 			description: "Disallow empty keys in JSON objects",
@@ -541,15 +568,39 @@ var noEmptyKeys = {
  * @author Bradley Meck Farias
  */
 
-// RFC 8259's `number` production, as a regex.  Capture the integer part
-// and the fractional part.
+//-----------------------------------------------------------------------------
+// Type Definitions
+//-----------------------------------------------------------------------------
+
+/**
+ *
+ * @typedef {"unsafeNumber"|"unsafeInteger"|"unsafeZero"|"subnormal"|"loneSurrogate"} NoUnsafeValuesMessageIds
+ * @typedef {JSONRuleDefinition<{ MessageIds: NoUnsafeValuesMessageIds }>} NoUnsafeValuesRuleDefinition
+ */
+
+//-----------------------------------------------------------------------------
+// Helpers
+//-----------------------------------------------------------------------------
+
+/*
+ * This rule is based on the JSON grammar from RFC 8259, section 6.
+ * https://tools.ietf.org/html/rfc8259#section-6
+ *
+ * We separately capture the integer and fractional parts of a number, so that
+ * we can check for unsafe numbers that will evaluate to Infinity.
+ */
 const NUMBER =
 	/^-?(?<int>0|([1-9][0-9]*))(?:\.(?<frac>[0-9]+))?(?:[eE][+-]?[0-9]+)?$/u;
 const NON_ZERO = /[1-9]/u;
 
-var noUnsafeValues = {
+//-----------------------------------------------------------------------------
+// Rule Definition
+//-----------------------------------------------------------------------------
+
+/** @type {NoUnsafeValuesRuleDefinition} */
+const rule$3 = {
 	meta: {
-		type: /** @type {const} */ ("problem"),
+		type: "problem",
 
 		docs: {
 			description: "Disallow JSON values that are unsafe for interchange",
@@ -623,7 +674,9 @@ var noUnsafeValues = {
 								loc: node.loc,
 								messageId: "subnormal",
 								// Value included so that it's seen in scientific notation
-								data: node,
+								data: {
+									value,
+								},
 							});
 						}
 					}
@@ -666,9 +719,25 @@ var noUnsafeValues = {
  * @author Bradley Meck Farias
  */
 
-var noUnnormalizedKeys = {
+//-----------------------------------------------------------------------------
+// Type Definitions
+//-----------------------------------------------------------------------------
+
+/**
+ *
+ * @typedef {"unnormalizedKey"} NoUnnormalizedKeysMessageIds
+ * @typedef {{ form: string }} NoUnnormalizedKeysOptions
+ * @typedef {JSONRuleDefinition<{ RuleOptions: [NoUnnormalizedKeysOptions], MessageIds: NoUnnormalizedKeysMessageIds }>} NoUnnormalizedKeysRuleDefinition
+ */
+
+//-----------------------------------------------------------------------------
+// Rule Definition
+//-----------------------------------------------------------------------------
+
+/** @type {NoUnnormalizedKeysRuleDefinition} */
+const rule$2 = {
 	meta: {
-		type: /** @type {const} */ ("problem"),
+		type: "problem",
 
 		docs: {
 			description: "Disallow JSON keys that are not normalized",
@@ -692,9 +761,10 @@ var noUnnormalizedKeys = {
 	},
 
 	create(context) {
-		const normalization = context.options.length
-			? text => text.normalize(context.options[0].form)
-			: text => text.normalize();
+		const form = context.options.length
+			? context.options[0].form
+			: undefined;
+
 		return {
 			Member(node) {
 				const key =
@@ -702,7 +772,7 @@ var noUnnormalizedKeys = {
 						? node.name.value
 						: node.name.name;
 
-				if (normalization(key) !== key) {
+				if (key.normalize(form) !== key) {
 					context.report({
 						loc: node.name.loc,
 						messageId: "unnormalizedKey",
@@ -717,49 +787,95 @@ var noUnnormalizedKeys = {
 };
 
 /**
- * @fileoverview Rule to require JSON object keys to be sorted. Copied largely from https://github.com/eslint/eslint/blob/main/lib/rules/sort-keys.js
+ * @fileoverview Rule to require JSON object keys to be sorted.
+ * Copied largely from https://github.com/eslint/eslint/blob/main/lib/rules/sort-keys.js
  * @author Robin Thomas
  */
 
 
+//-----------------------------------------------------------------------------
+// Type Definitions
+//-----------------------------------------------------------------------------
+
+/**
+ *
+ * @typedef {Object} SortOptions
+ * @property {boolean} caseSensitive
+ * @property {boolean} natural
+ * @property {number} minKeys
+ * @property {boolean} allowLineSeparatedGroups
+ *
+ * @typedef {"sortKeys"} SortKeysMessageIds
+ * @typedef {"asc"|"desc"} SortDirection
+ * @typedef {[SortDirection, SortOptions]} SortKeysRuleOptions
+ * @typedef {JSONRuleDefinition<{ RuleOptions: SortKeysRuleOptions, MessageIds: SortKeysMessageIds }>} SortKeysRuleDefinition
+ * @typedef {(a:string,b:string) => boolean} Comparator
+ */
+
+//-----------------------------------------------------------------------------
+// Helpers
+//-----------------------------------------------------------------------------
+
 const hasNonWhitespace = /\S/u;
 
 const comparators = {
 	ascending: {
 		alphanumeric: {
+			/** @type {Comparator} */
 			sensitive: (a, b) => a <= b,
+
+			/** @type {Comparator} */
 			insensitive: (a, b) => a.toLowerCase() <= b.toLowerCase(),
 		},
 		natural: {
+			/** @type {Comparator} */
 			sensitive: (a, b) => naturalCompare(a, b) <= 0,
+
+			/** @type {Comparator} */
 			insensitive: (a, b) =>
 				naturalCompare(a.toLowerCase(), b.toLowerCase()) <= 0,
 		},
 	},
 	descending: {
 		alphanumeric: {
+			/** @type {Comparator} */
 			sensitive: (a, b) =>
 				comparators.ascending.alphanumeric.sensitive(b, a),
+
+			/** @type {Comparator} */
 			insensitive: (a, b) =>
 				comparators.ascending.alphanumeric.insensitive(b, a),
 		},
 		natural: {
+			/** @type {Comparator} */
 			sensitive: (a, b) => comparators.ascending.natural.sensitive(b, a),
+
+			/** @type {Comparator} */
 			insensitive: (a, b) =>
 				comparators.ascending.natural.insensitive(b, a),
 		},
 	},
 };
 
+/**
+ * Gets the MemberNode's string key value.
+ * @param {MemberNode} member
+ * @return {string}
+ */
 function getKey(member) {
-	return member.name.type === `Identifier`
+	return member.name.type === "Identifier"
 		? member.name.name
 		: member.name.value;
 }
 
-var sortKeys = {
+//-----------------------------------------------------------------------------
+// Rule Definition
+//-----------------------------------------------------------------------------
+
+/** @type {SortKeysRuleDefinition} */
+const rule$1 = {
 	meta: {
-		type: /** @type {const} */ ("suggestion"),
+		type: "suggestion",
 
 		defaultOptions: [
 			"asc",
@@ -829,8 +945,14 @@ var sortKeys = {
 			}
 		}
 
-		// Note that there can be comments *inside* members, e.g. `{"foo: /* comment *\/ "bar"}`, but these are ignored when calculating line-separated groups
+		/**
+		 * Checks if two members are line-separated.
+		 * @param {MemberNode} prevMember The previous member.
+		 * @param {MemberNode} member The current member.
+		 * @return {boolean}
+		 */
 		function isLineSeparated(prevMember, member) {
+			// Note that there can be comments *inside* members, e.g. `{"foo: /* comment *\/ "bar"}`, but these are ignored when calculating line-separated groups
 			const prevMemberEndLine = prevMember.loc.end.line;
 			const thisStartLine = member.loc.start.line;
 			if (thisStartLine - prevMemberEndLine < 2) {
@@ -899,9 +1021,24 @@ var sortKeys = {
  * @author Joe Hildebrand
  */
 
-var topLevelInterop = {
+//-----------------------------------------------------------------------------
+// Type Definitions
+//-----------------------------------------------------------------------------
+
+/**
+ *
+ * @typedef {"topLevel"} TopLevelInteropMessageIds
+ * @typedef {JSONRuleDefinition<{ MessageIds: TopLevelInteropMessageIds }>} TopLevelInteropRuleDefinition
+ */
+
+//-----------------------------------------------------------------------------
+// Rule Definition
+//-----------------------------------------------------------------------------
+
+/** @type {TopLevelInteropRuleDefinition} */
+const rule = {
 	meta: {
-		type: /** @type {const} */ ("problem"),
+		type: "problem",
 
 		docs: {
 			description:
@@ -943,7 +1080,7 @@ var topLevelInterop = {
 const plugin = {
 	meta: {
 		name: "@eslint/json",
-		version: "0.10.0", // x-release-please-version
+		version: "0.12.0", // x-release-please-version
 	},
 	languages: {
 		json: new JSONLanguage({ mode: "json" }),
@@ -951,12 +1088,12 @@ const plugin = {
 		json5: new JSONLanguage({ mode: "json5" }),
 	},
 	rules: {
-		"no-duplicate-keys": noDuplicateKeys,
-		"no-empty-keys": noEmptyKeys,
-		"no-unsafe-values": noUnsafeValues,
-		"no-unnormalized-keys": noUnnormalizedKeys,
-		"sort-keys": sortKeys,
-		"top-level-interop": topLevelInterop,
+		"no-duplicate-keys": rule$5,
+		"no-empty-keys": rule$4,
+		"no-unsafe-values": rule$3,
+		"no-unnormalized-keys": rule$2,
+		"sort-keys": rule$1,
+		"top-level-interop": rule,
 	},
 	configs: {
 		recommended: {

package/dist/esm/types.d.ts

@@ -0,0 +1,53 @@
+/**
+ * @fileoverview Additional types for this package.
+ * @author Nicholas C. Zakas
+ */
+import type { RuleVisitor, RuleDefinition } from "@eslint/core";
+import type { DocumentNode, MemberNode, ElementNode, ObjectNode, ArrayNode, StringNode, NullNode, NumberNode, BooleanNode, NaNNode, InfinityNode, IdentifierNode, AnyNode, Token } from "@humanwhocodes/momoa";
+import type { JSONLanguageOptions, JSONSourceCode } from "./index.js";
+type ValueNodeParent = DocumentNode | MemberNode | ElementNode;
+/**
+ * A JSON syntax element, including nodes and tokens.
+ */
+export type JSONSyntaxElement = Token | AnyNode;
+/**
+ * The visitor format returned from rules in this package.
+ */
+export interface JSONRuleVisitor extends RuleVisitor {
+    Document?(node: DocumentNode): void;
+    Member?(node: MemberNode, parent?: ObjectNode): void;
+    Element?(node: ElementNode, parent?: ArrayNode): void;
+    Object?(node: ObjectNode, parent?: ValueNodeParent): void;
+    Array?(node: ArrayNode, parent?: ValueNodeParent): void;
+    String?(node: StringNode, parent?: ValueNodeParent): void;
+    Null?(node: NullNode, parent?: ValueNodeParent): void;
+    Number?(node: NumberNode, parent?: ValueNodeParent): void;
+    Boolean?(node: BooleanNode, parent?: ValueNodeParent): void;
+    NaN?(node: NaNNode, parent?: ValueNodeParent): void;
+    Infinity?(node: InfinityNode, parent?: ValueNodeParent): void;
+    Identifier?(node: IdentifierNode, parent?: ValueNodeParent): void;
+    "Document:exit"?(node: DocumentNode): void;
+    "Member:exit"?(node: MemberNode, parent?: ObjectNode): void;
+    "Element:exit"?(node: ElementNode, parent?: ArrayNode): void;
+    "Object:exit"?(node: ObjectNode, parent?: ValueNodeParent): void;
+    "Array:exit"?(node: ArrayNode, parent?: ValueNodeParent): void;
+    "String:exit"?(node: StringNode, parent?: ValueNodeParent): void;
+    "Null:exit"?(node: NullNode, parent?: ValueNodeParent): void;
+    "Number:exit"?(node: NumberNode, parent?: ValueNodeParent): void;
+    "Boolean:exit"?(node: BooleanNode, parent?: ValueNodeParent): void;
+    "NaN:exit"?(node: NaNNode, parent?: ValueNodeParent): void;
+    "Infinity:exit"?(node: InfinityNode, parent?: ValueNodeParent): void;
+    "Identifier:exit"?(node: IdentifierNode, parent?: ValueNodeParent): void;
+}
+export type JSONRuleDefinitionTypeOptions = {
+    RuleOptions: unknown[];
+    MessageIds: string;
+    ExtRuleDocs: Record<string, unknown>;
+};
+export type JSONRuleDefinition<Options extends Partial<JSONRuleDefinitionTypeOptions> = {}> = RuleDefinition<{
+    LangOptions: JSONLanguageOptions;
+    Code: JSONSourceCode;
+    Visitor: JSONRuleVisitor;
+    Node: AnyNode;
+} & Required<Options & Omit<JSONRuleDefinitionTypeOptions, keyof Options>>>;
+export {};

package/dist/esm/types.ts

@@ -0,0 +1,92 @@
+/**
+ * @fileoverview Additional types for this package.
+ * @author Nicholas C. Zakas
+ */
+
+//------------------------------------------------------------------------------
+// Imports
+//------------------------------------------------------------------------------
+
+import type { RuleVisitor, RuleDefinition } from "@eslint/core";
+import type {
+	DocumentNode,
+	MemberNode,
+	ElementNode,
+	ObjectNode,
+	ArrayNode,
+	StringNode,
+	NullNode,
+	NumberNode,
+	BooleanNode,
+	NaNNode,
+	InfinityNode,
+	IdentifierNode,
+	AnyNode,
+	Token,
+} from "@humanwhocodes/momoa";
+import type { JSONLanguageOptions, JSONSourceCode } from "./index.js";
+
+//------------------------------------------------------------------------------
+// Types
+//------------------------------------------------------------------------------
+
+type ValueNodeParent = DocumentNode | MemberNode | ElementNode;
+
+/**
+ * A JSON syntax element, including nodes and tokens.
+ */
+export type JSONSyntaxElement = Token | AnyNode;
+
+/**
+ * The visitor format returned from rules in this package.
+ */
+export interface JSONRuleVisitor extends RuleVisitor {
+	Document?(node: DocumentNode): void;
+	Member?(node: MemberNode, parent?: ObjectNode): void;
+	Element?(node: ElementNode, parent?: ArrayNode): void;
+	Object?(node: ObjectNode, parent?: ValueNodeParent): void;
+	Array?(node: ArrayNode, parent?: ValueNodeParent): void;
+	String?(node: StringNode, parent?: ValueNodeParent): void;
+	Null?(node: NullNode, parent?: ValueNodeParent): void;
+	Number?(node: NumberNode, parent?: ValueNodeParent): void;
+	Boolean?(node: BooleanNode, parent?: ValueNodeParent): void;
+	NaN?(node: NaNNode, parent?: ValueNodeParent): void;
+	Infinity?(node: InfinityNode, parent?: ValueNodeParent): void;
+	Identifier?(node: IdentifierNode, parent?: ValueNodeParent): void;
+
+	"Document:exit"?(node: DocumentNode): void;
+	"Member:exit"?(node: MemberNode, parent?: ObjectNode): void;
+	"Element:exit"?(node: ElementNode, parent?: ArrayNode): void;
+	"Object:exit"?(node: ObjectNode, parent?: ValueNodeParent): void;
+	"Array:exit"?(node: ArrayNode, parent?: ValueNodeParent): void;
+	"String:exit"?(node: StringNode, parent?: ValueNodeParent): void;
+	"Null:exit"?(node: NullNode, parent?: ValueNodeParent): void;
+	"Number:exit"?(node: NumberNode, parent?: ValueNodeParent): void;
+	"Boolean:exit"?(node: BooleanNode, parent?: ValueNodeParent): void;
+	"NaN:exit"?(node: NaNNode, parent?: ValueNodeParent): void;
+	"Infinity:exit"?(node: InfinityNode, parent?: ValueNodeParent): void;
+	"Identifier:exit"?(node: IdentifierNode, parent?: ValueNodeParent): void;
+}
+
+export type JSONRuleDefinitionTypeOptions = {
+	RuleOptions: unknown[];
+	MessageIds: string;
+	ExtRuleDocs: Record<string, unknown>;
+};
+
+export type JSONRuleDefinition<
+	Options extends Partial<JSONRuleDefinitionTypeOptions> = {},
+> = RuleDefinition<
+	// Language specific type options (non-configurable)
+	{
+		LangOptions: JSONLanguageOptions;
+		Code: JSONSourceCode;
+		Visitor: JSONRuleVisitor;
+		Node: AnyNode;
+	} & Required<
+		// Rule specific type options (custom)
+		Options &
+			// Rule specific type options (defaults)
+			Omit<JSONRuleDefinitionTypeOptions, keyof Options>
+	>
+>;