@rejot-dev/thalo 0.0.0

package/dist/source-map.js

@@ -0,0 +1,170 @@
+//#region src/source-map.ts
+/**
+* A cached identity source map instance for standalone files.
+*/
+const IDENTITY_SOURCE_MAP = Object.freeze({
+	charOffset: 0,
+	lineOffset: 0,
+	columnOffset: 0,
+	lineCount: 0
+});
+/**
+* Create an identity source map for standalone .thalo files.
+* All offsets are zero, so positions pass through unchanged.
+*/
+function identitySourceMap() {
+	return IDENTITY_SOURCE_MAP;
+}
+/**
+* Check if a source map is an identity map (no offset).
+*/
+function isIdentityMap(map) {
+	return map.charOffset === 0 && map.lineOffset === 0 && map.columnOffset === 0;
+}
+/**
+* Create a source map for an embedded block.
+*
+* @param fullSource - The complete source text of the containing file
+* @param charOffset - Character offset where the block content starts
+* @param blockSource - The block's source text (for calculating line count)
+* @returns A SourceMap for the block
+*/
+function createSourceMap(fullSource, charOffset, blockSource) {
+	let lineOffset = 0;
+	let columnOffset = 0;
+	let lastNewlineIndex = -1;
+	for (let i = 0; i < charOffset; i++) if (fullSource[i] === "\n") {
+		lineOffset++;
+		lastNewlineIndex = i;
+	}
+	columnOffset = lastNewlineIndex === -1 ? charOffset : charOffset - lastNewlineIndex - 1;
+	let lineCount = 1;
+	for (const char of blockSource) if (char === "\n") lineCount++;
+	return Object.freeze({
+		charOffset,
+		lineOffset,
+		columnOffset,
+		lineCount
+	});
+}
+/**
+* Convert a block-relative position to a file-absolute position.
+*
+* @param map - The source map for the block
+* @param blockPos - Position relative to the block start
+* @returns Position relative to the file start
+*/
+function toFilePosition(map, blockPos) {
+	if (blockPos.line === 0) return {
+		line: map.lineOffset + blockPos.line,
+		column: map.columnOffset + blockPos.column
+	};
+	return {
+		line: map.lineOffset + blockPos.line,
+		column: blockPos.column
+	};
+}
+/**
+* Convert a file-absolute position to a block-relative position.
+* Returns null if the position is outside the block.
+*
+* @param map - The source map for the block
+* @param filePos - Position relative to the file start
+* @returns Position relative to the block start, or null if outside
+*/
+function toBlockPosition(map, filePos) {
+	if (isIdentityMap(map)) return {
+		line: filePos.line,
+		column: filePos.column
+	};
+	const blockLine = filePos.line - map.lineOffset;
+	if (blockLine < 0) return null;
+	if (blockLine >= map.lineCount) return null;
+	if (blockLine === 0) {
+		const blockColumn = filePos.column - map.columnOffset;
+		if (blockColumn < 0) return null;
+		return {
+			line: blockLine,
+			column: blockColumn
+		};
+	}
+	return {
+		line: blockLine,
+		column: filePos.column
+	};
+}
+/**
+* Convert a tree-sitter Point to a Position.
+*/
+function pointToPosition(point) {
+	return {
+		line: point.row,
+		column: point.column
+	};
+}
+/**
+* Convert a Position to a tree-sitter Point.
+*/
+function positionToPoint(pos) {
+	return {
+		row: pos.line,
+		column: pos.column
+	};
+}
+/**
+* Convert a character offset in source text to a Position (line, column).
+*
+* @param source - The source text
+* @param offset - Character offset (0-based)
+* @returns Position with 0-based line and column
+*/
+function positionFromOffset(source, offset) {
+	let line = 0;
+	let column = 0;
+	for (let i = 0; i < offset && i < source.length; i++) if (source[i] === "\n") {
+		line++;
+		column = 0;
+	} else column++;
+	return {
+		line,
+		column
+	};
+}
+/**
+* Convert a block-relative Location to a file-absolute Location.
+*
+* @param map - The source map for the block
+* @param blockLoc - Location relative to the block start
+* @returns Location relative to the file start
+*/
+function toFileLocation(map, blockLoc) {
+	const startPos = toFilePosition(map, pointToPosition(blockLoc.startPosition));
+	const endPos = toFilePosition(map, pointToPosition(blockLoc.endPosition));
+	return {
+		startIndex: map.charOffset + blockLoc.startIndex,
+		endIndex: map.charOffset + blockLoc.endIndex,
+		startPosition: positionToPoint(startPos),
+		endPosition: positionToPoint(endPos)
+	};
+}
+/**
+* Find which block (if any) contains a file-absolute position.
+*
+* @param blocks - Array of objects with sourceMap property
+* @param filePosition - Position relative to the file start (0-based)
+* @returns The matching block and block-relative position, or null if not in any block
+*/
+function findBlockAtPosition(blocks, filePosition) {
+	for (const block of blocks) {
+		const blockPosition = toBlockPosition(block.sourceMap, filePosition);
+		if (blockPosition) return {
+			block,
+			blockPosition
+		};
+	}
+	return null;
+}
+
+//#endregion
+export { createSourceMap, findBlockAtPosition, identitySourceMap, positionFromOffset, positionToPoint, toFileLocation };
+//# sourceMappingURL=source-map.js.map

package/dist/source-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-map.js","names":["IDENTITY_SOURCE_MAP: SourceMap"],"sources":["../src/source-map.ts"],"sourcesContent":["import type { Location } from \"./ast/ast-types.js\";\n\n/**\n * A simple position (line and column).\n * Both are 0-based to match tree-sitter's Point type.\n */\nexport interface Position {\n  /** 0-based line number */\n  line: number;\n  /** 0-based column number */\n  column: number;\n}\n\n/**\n * Tree-sitter Point interface (row and column).\n * Defined locally to avoid bundling native tree-sitter.\n */\ninterface Point {\n  row: number;\n  column: number;\n}\n\n/**\n * SourceMap tracks the relationship between block-relative positions\n * (as returned by tree-sitter) and file-absolute positions.\n *\n * For standalone .thalo files, this is an identity map (all offsets are 0).\n * For embedded blocks in markdown, this contains the offset to the block start.\n */\nexport interface SourceMap {\n  /** Character offset where block content starts in the file */\n  readonly charOffset: number;\n  /** Line number where block content starts (0-based) */\n  readonly lineOffset: number;\n  /** Column offset on the starting line (usually 0 for fenced code blocks) */\n  readonly columnOffset: number;\n  /** Number of lines in the block content */\n  readonly lineCount: number;\n}\n\n/**\n * A cached identity source map instance for standalone files.\n */\nconst IDENTITY_SOURCE_MAP: SourceMap = Object.freeze({\n  charOffset: 0,\n  lineOffset: 0,\n  columnOffset: 0,\n  lineCount: 0,\n});\n\n/**\n * Create an identity source map for standalone .thalo files.\n * All offsets are zero, so positions pass through unchanged.\n */\nexport function identitySourceMap(): SourceMap {\n  return IDENTITY_SOURCE_MAP;\n}\n\n/**\n * Check if a source map is an identity map (no offset).\n */\nexport function isIdentityMap(map: SourceMap): boolean {\n  return map.charOffset === 0 && map.lineOffset === 0 && map.columnOffset === 0;\n}\n\n/**\n * Create a source map for an embedded block.\n *\n * @param fullSource - The complete source text of the containing file\n * @param charOffset - Character offset where the block content starts\n * @param blockSource - The block's source text (for calculating line count)\n * @returns A SourceMap for the block\n */\nexport function createSourceMap(\n  fullSource: string,\n  charOffset: number,\n  blockSource: string,\n): SourceMap {\n  // Count newlines before the block to get the line offset\n  let lineOffset = 0;\n  let columnOffset = 0;\n  let lastNewlineIndex = -1;\n\n  for (let i = 0; i < charOffset; i++) {\n    if (fullSource[i] === \"\\n\") {\n      lineOffset++;\n      lastNewlineIndex = i;\n    }\n  }\n\n  // Column offset is the distance from the last newline to the block start\n  // If no newline found, column offset is the char offset itself\n  columnOffset = lastNewlineIndex === -1 ? charOffset : charOffset - lastNewlineIndex - 1;\n\n  // Count lines in the block content\n  let lineCount = 1;\n  for (const char of blockSource) {\n    if (char === \"\\n\") {\n      lineCount++;\n    }\n  }\n\n  return Object.freeze({\n    charOffset,\n    lineOffset,\n    columnOffset,\n    lineCount,\n  });\n}\n\n/**\n * Convert a block-relative position to a file-absolute position.\n *\n * @param map - The source map for the block\n * @param blockPos - Position relative to the block start\n * @returns Position relative to the file start\n */\nexport function toFilePosition(map: SourceMap, blockPos: Position): Position {\n  // For the first line, add both line offset and column offset\n  // For subsequent lines, only add line offset (column is already correct)\n  if (blockPos.line === 0) {\n    return {\n      line: map.lineOffset + blockPos.line,\n      column: map.columnOffset + blockPos.column,\n    };\n  }\n  return {\n    line: map.lineOffset + blockPos.line,\n    column: blockPos.column,\n  };\n}\n\n/**\n * Convert a file-absolute position to a block-relative position.\n * Returns null if the position is outside the block.\n *\n * @param map - The source map for the block\n * @param filePos - Position relative to the file start\n * @returns Position relative to the block start, or null if outside\n */\nexport function toBlockPosition(map: SourceMap, filePos: Position): Position | null {\n  // For identity maps, just pass through (no bounds checking needed)\n  if (isIdentityMap(map)) {\n    return { line: filePos.line, column: filePos.column };\n  }\n\n  const blockLine = filePos.line - map.lineOffset;\n\n  // Check if position is before the block\n  if (blockLine < 0) {\n    return null;\n  }\n\n  // Check if position is after the block\n  if (blockLine >= map.lineCount) {\n    return null;\n  }\n\n  // For the first line, subtract column offset\n  // For subsequent lines, column is already correct\n  if (blockLine === 0) {\n    const blockColumn = filePos.column - map.columnOffset;\n    // Check if position is before the block on the first line\n    if (blockColumn < 0) {\n      return null;\n    }\n    return {\n      line: blockLine,\n      column: blockColumn,\n    };\n  }\n\n  return {\n    line: blockLine,\n    column: filePos.column,\n  };\n}\n\n/**\n * Convert a tree-sitter Point to a Position.\n */\nexport function pointToPosition(point: Point): Position {\n  return {\n    line: point.row,\n    column: point.column,\n  };\n}\n\n/**\n * Convert a Position to a tree-sitter Point.\n */\nexport function positionToPoint(pos: Position): Point {\n  return {\n    row: pos.line,\n    column: pos.column,\n  };\n}\n\n/**\n * Convert a character offset in source text to a Position (line, column).\n *\n * @param source - The source text\n * @param offset - Character offset (0-based)\n * @returns Position with 0-based line and column\n */\nexport function positionFromOffset(source: string, offset: number): Position {\n  let line = 0;\n  let column = 0;\n\n  for (let i = 0; i < offset && i < source.length; i++) {\n    if (source[i] === \"\\n\") {\n      line++;\n      column = 0;\n    } else {\n      column++;\n    }\n  }\n\n  return { line, column };\n}\n\n/**\n * Convert a block-relative Location to a file-absolute Location.\n *\n * @param map - The source map for the block\n * @param blockLoc - Location relative to the block start\n * @returns Location relative to the file start\n */\nexport function toFileLocation(map: SourceMap, blockLoc: Location): Location {\n  const startPos = toFilePosition(map, pointToPosition(blockLoc.startPosition));\n  const endPos = toFilePosition(map, pointToPosition(blockLoc.endPosition));\n\n  return {\n    startIndex: map.charOffset + blockLoc.startIndex,\n    endIndex: map.charOffset + blockLoc.endIndex,\n    startPosition: positionToPoint(startPos),\n    endPosition: positionToPoint(endPos),\n  };\n}\n\n/**\n * Convert a file-absolute Location to a block-relative Location.\n * Returns null if the location is outside the block.\n *\n * @param map - The source map for the block\n * @param fileLoc - Location relative to the file start\n * @returns Location relative to the block start, or null if outside\n */\nexport function toBlockLocation(map: SourceMap, fileLoc: Location): Location | null {\n  const startPos = toBlockPosition(map, pointToPosition(fileLoc.startPosition));\n  const endPos = toBlockPosition(map, pointToPosition(fileLoc.endPosition));\n\n  if (!startPos || !endPos) {\n    return null;\n  }\n\n  return {\n    startIndex: fileLoc.startIndex - map.charOffset,\n    endIndex: fileLoc.endIndex - map.charOffset,\n    startPosition: positionToPoint(startPos),\n    endPosition: positionToPoint(endPos),\n  };\n}\n\n/**\n * Result of finding a block at a position.\n */\nexport interface BlockMatch<T extends { sourceMap: SourceMap }> {\n  /** The matched block */\n  block: T;\n  /** Position relative to the block start (0-based line and column) */\n  blockPosition: Position;\n}\n\n/**\n * Find which block (if any) contains a file-absolute position.\n *\n * @param blocks - Array of objects with sourceMap property\n * @param filePosition - Position relative to the file start (0-based)\n * @returns The matching block and block-relative position, or null if not in any block\n */\nexport function findBlockAtPosition<T extends { sourceMap: SourceMap }>(\n  blocks: T[],\n  filePosition: Position,\n): BlockMatch<T> | null {\n  for (const block of blocks) {\n    const blockPosition = toBlockPosition(block.sourceMap, filePosition);\n    if (blockPosition) {\n      return { block, blockPosition };\n    }\n  }\n  return null;\n}\n"],"mappings":";;;;AA2CA,MAAMA,sBAAiC,OAAO,OAAO;CACnD,YAAY;CACZ,YAAY;CACZ,cAAc;CACd,WAAW;CACZ,CAAC;;;;;AAMF,SAAgB,oBAA+B;AAC7C,QAAO;;;;;AAMT,SAAgB,cAAc,KAAyB;AACrD,QAAO,IAAI,eAAe,KAAK,IAAI,eAAe,KAAK,IAAI,iBAAiB;;;;;;;;;;AAW9E,SAAgB,gBACd,YACA,YACA,aACW;CAEX,IAAI,aAAa;CACjB,IAAI,eAAe;CACnB,IAAI,mBAAmB;AAEvB,MAAK,IAAI,IAAI,GAAG,IAAI,YAAY,IAC9B,KAAI,WAAW,OAAO,MAAM;AAC1B;AACA,qBAAmB;;AAMvB,gBAAe,qBAAqB,KAAK,aAAa,aAAa,mBAAmB;CAGtF,IAAI,YAAY;AAChB,MAAK,MAAM,QAAQ,YACjB,KAAI,SAAS,KACX;AAIJ,QAAO,OAAO,OAAO;EACnB;EACA;EACA;EACA;EACD,CAAC;;;;;;;;;AAUJ,SAAgB,eAAe,KAAgB,UAA8B;AAG3E,KAAI,SAAS,SAAS,EACpB,QAAO;EACL,MAAM,IAAI,aAAa,SAAS;EAChC,QAAQ,IAAI,eAAe,SAAS;EACrC;AAEH,QAAO;EACL,MAAM,IAAI,aAAa,SAAS;EAChC,QAAQ,SAAS;EAClB;;;;;;;;;;AAWH,SAAgB,gBAAgB,KAAgB,SAAoC;AAElF,KAAI,cAAc,IAAI,CACpB,QAAO;EAAE,MAAM,QAAQ;EAAM,QAAQ,QAAQ;EAAQ;CAGvD,MAAM,YAAY,QAAQ,OAAO,IAAI;AAGrC,KAAI,YAAY,EACd,QAAO;AAIT,KAAI,aAAa,IAAI,UACnB,QAAO;AAKT,KAAI,cAAc,GAAG;EACnB,MAAM,cAAc,QAAQ,SAAS,IAAI;AAEzC,MAAI,cAAc,EAChB,QAAO;AAET,SAAO;GACL,MAAM;GACN,QAAQ;GACT;;AAGH,QAAO;EACL,MAAM;EACN,QAAQ,QAAQ;EACjB;;;;;AAMH,SAAgB,gBAAgB,OAAwB;AACtD,QAAO;EACL,MAAM,MAAM;EACZ,QAAQ,MAAM;EACf;;;;;AAMH,SAAgB,gBAAgB,KAAsB;AACpD,QAAO;EACL,KAAK,IAAI;EACT,QAAQ,IAAI;EACb;;;;;;;;;AAUH,SAAgB,mBAAmB,QAAgB,QAA0B;CAC3E,IAAI,OAAO;CACX,IAAI,SAAS;AAEb,MAAK,IAAI,IAAI,GAAG,IAAI,UAAU,IAAI,OAAO,QAAQ,IAC/C,KAAI,OAAO,OAAO,MAAM;AACtB;AACA,WAAS;OAET;AAIJ,QAAO;EAAE;EAAM;EAAQ;;;;;;;;;AAUzB,SAAgB,eAAe,KAAgB,UAA8B;CAC3E,MAAM,WAAW,eAAe,KAAK,gBAAgB,SAAS,cAAc,CAAC;CAC7E,MAAM,SAAS,eAAe,KAAK,gBAAgB,SAAS,YAAY,CAAC;AAEzE,QAAO;EACL,YAAY,IAAI,aAAa,SAAS;EACtC,UAAU,IAAI,aAAa,SAAS;EACpC,eAAe,gBAAgB,SAAS;EACxC,aAAa,gBAAgB,OAAO;EACrC;;;;;;;;;AA4CH,SAAgB,oBACd,QACA,cACsB;AACtB,MAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,gBAAgB,gBAAgB,MAAM,WAAW,aAAa;AACpE,MAAI,cACF,QAAO;GAAE;GAAO;GAAe;;AAGnC,QAAO"}

package/package.json

@@ -0,0 +1,128 @@
+{
+  "name": "@rejot-dev/thalo",
+  "version": "0.0.0",
+  "type": "module",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/rejot-dev/thalo.git",
+    "directory": "packages/thalo"
+  },
+  "license": "MIT",
+  "files": [
+    "dist",
+    "tree-sitter-thalo.wasm",
+    "web-tree-sitter.wasm"
+  ],
+  "exports": {
+    ".": {
+      "development": "./src/mod.ts",
+      "types": "./dist/mod.d.ts",
+      "default": "./dist/mod.js"
+    },
+    "./native": {
+      "development": "./src/parser.native.ts",
+      "types": "./dist/parser.native.d.ts",
+      "default": "./dist/parser.native.js"
+    },
+    "./web": {
+      "development": "./src/parser.web.ts",
+      "types": "./dist/parser.web.d.ts",
+      "default": "./dist/parser.web.js"
+    },
+    "./services/semantic-tokens": {
+      "development": "./src/services/semantic-tokens.ts",
+      "types": "./dist/services/semantic-tokens.d.ts",
+      "default": "./dist/services/semantic-tokens.js"
+    },
+    "./services/definition": {
+      "development": "./src/services/definition.ts",
+      "types": "./dist/services/definition.d.ts",
+      "default": "./dist/services/definition.js"
+    },
+    "./services/references": {
+      "development": "./src/services/references.ts",
+      "types": "./dist/services/references.d.ts",
+      "default": "./dist/services/references.js"
+    },
+    "./services/hover": {
+      "development": "./src/services/hover.ts",
+      "types": "./dist/services/hover.d.ts",
+      "default": "./dist/services/hover.js"
+    },
+    "./change-tracker": {
+      "development": "./src/services/change-tracker/change-tracker.ts",
+      "types": "./dist/services/change-tracker/change-tracker.d.ts",
+      "default": "./dist/services/change-tracker/change-tracker.js"
+    },
+    "./change-tracker/node": {
+      "development": "./src/services/change-tracker/create-tracker.ts",
+      "types": "./dist/services/change-tracker/create-tracker.d.ts",
+      "default": "./dist/services/change-tracker/create-tracker.js"
+    },
+    "./commands/check": {
+      "development": "./src/commands/check.ts",
+      "types": "./dist/commands/check.d.ts",
+      "default": "./dist/commands/check.js"
+    },
+    "./commands/format": {
+      "development": "./src/commands/format.ts",
+      "types": "./dist/commands/format.d.ts",
+      "default": "./dist/commands/format.js"
+    },
+    "./commands/query": {
+      "development": "./src/commands/query.ts",
+      "types": "./dist/commands/query.d.ts",
+      "default": "./dist/commands/query.js"
+    },
+    "./commands/actualize": {
+      "development": "./src/commands/actualize.ts",
+      "types": "./dist/commands/actualize.d.ts",
+      "default": "./dist/commands/actualize.js"
+    },
+    "./formatters": {
+      "development": "./src/formatters.ts",
+      "types": "./dist/formatters.d.ts",
+      "default": "./dist/formatters.js"
+    },
+    "./files": {
+      "development": "./src/files.ts",
+      "types": "./dist/files.d.ts",
+      "default": "./dist/files.js"
+    }
+  },
+  "main": "./dist/mod.js",
+  "types": "./dist/mod.d.ts",
+  "peerDependencies": {
+    "tree-sitter": "^0.25.0",
+    "web-tree-sitter": "^0.25.0",
+    "@rejot-dev/tree-sitter-thalo": "0.0.0"
+  },
+  "peerDependenciesMeta": {
+    "@rejot-dev/tree-sitter-thalo": {
+      "optional": true
+    },
+    "tree-sitter": {
+      "optional": true
+    },
+    "web-tree-sitter": {
+      "optional": true
+    }
+  },
+  "devDependencies": {
+    "@types/node": "^24",
+    "tree-sitter": "^0.25.0",
+    "tsdown": "^0.15.12",
+    "typescript": "^5.7.3",
+    "vitest": "^3.2.4",
+    "web-tree-sitter": "^0.25.0",
+    "@rejot-dev/tree-sitter-thalo": "0.0.0",
+    "@rejot-private/typescript-config": "0.0.1"
+  },
+  "scripts": {
+    "build": "tsdown",
+    "build:watch": "tsdown --watch",
+    "types:check": "tsc --noEmit",
+    "test": "vitest run",
+    "test:watch": "vitest --watch"
+  }
+}