527 lines
17 KiB
TypeScript
527 lines
17 KiB
TypeScript
/**
|
|
* Foundation Tests
|
|
*
|
|
* Tests for the CodeGraph foundation layer.
|
|
*/
|
|
|
|
import { describe, it, expect, beforeEach, afterEach } from 'vitest';
|
|
import * as fs from 'fs';
|
|
import * as path from 'path';
|
|
import * as os from 'os';
|
|
import { CodeGraph } from '../src';
|
|
import { Node, Edge } from '../src/types';
|
|
import { isInitialized, getCodeGraphDir, validateDirectory, codeGraphDirName, isCodeGraphDataDir } from '../src/directory';
|
|
import { DatabaseConnection, getDatabasePath, removeDatabaseFiles } from '../src/db';
|
|
|
|
// Create a temporary directory for each test
|
|
function createTempDir(): string {
|
|
return fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-test-'));
|
|
}
|
|
|
|
// Clean up temporary directory
|
|
function cleanupTempDir(dir: string): void {
|
|
if (fs.existsSync(dir)) {
|
|
fs.rmSync(dir, { recursive: true, force: true });
|
|
}
|
|
}
|
|
|
|
/** Normalize a PRAGMA read across return shapes (array | object | scalar). */
|
|
function pragmaValue(raw: unknown, key: string): unknown {
|
|
const row = Array.isArray(raw) ? raw[0] : raw;
|
|
if (row !== null && typeof row === 'object') return (row as Record<string, unknown>)[key];
|
|
return row;
|
|
}
|
|
|
|
describe('CodeGraph Foundation', () => {
|
|
let tempDir: string;
|
|
|
|
beforeEach(() => {
|
|
tempDir = createTempDir();
|
|
});
|
|
|
|
afterEach(() => {
|
|
cleanupTempDir(tempDir);
|
|
});
|
|
|
|
describe('Initialization', () => {
|
|
it('should initialize a new project', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
|
|
expect(CodeGraph.isInitialized(tempDir)).toBe(true);
|
|
expect(fs.existsSync(getCodeGraphDir(tempDir))).toBe(true);
|
|
expect(fs.existsSync(getDatabasePath(tempDir))).toBe(true);
|
|
|
|
cg.close();
|
|
});
|
|
|
|
it('should create .gitignore in .CodeGraph directory', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
|
|
const gitignorePath = path.join(getCodeGraphDir(tempDir), '.gitignore');
|
|
expect(fs.existsSync(gitignorePath)).toBe(true);
|
|
|
|
const content = fs.readFileSync(gitignorePath, 'utf-8');
|
|
// Ignore everything in .codegraph/ except this file itself, so transient
|
|
// files (db, daemon.pid, sockets, logs) never show up in git. (#492, #484)
|
|
expect(content).toContain('*');
|
|
expect(content).toContain('!.gitignore');
|
|
|
|
cg.close();
|
|
});
|
|
|
|
it('should throw if already initialized', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
cg.close();
|
|
|
|
expect(() => CodeGraph.initSync(tempDir)).toThrow(/already initialized/i);
|
|
});
|
|
});
|
|
|
|
describe('Opening Projects', () => {
|
|
it('should open an existing project', () => {
|
|
// First initialize
|
|
const cg1 = CodeGraph.initSync(tempDir);
|
|
cg1.close();
|
|
|
|
// Then open
|
|
const cg2 = CodeGraph.openSync(tempDir);
|
|
expect(cg2.getProjectRoot()).toBe(path.resolve(tempDir));
|
|
cg2.close();
|
|
});
|
|
|
|
it('should throw if not initialized', () => {
|
|
expect(() => CodeGraph.openSync(tempDir)).toThrow(/not initialized/i);
|
|
});
|
|
});
|
|
|
|
describe('Static Methods', () => {
|
|
it('isInitialized should return false for new directory', () => {
|
|
expect(CodeGraph.isInitialized(tempDir)).toBe(false);
|
|
});
|
|
|
|
it('isInitialized should return true after init', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
expect(CodeGraph.isInitialized(tempDir)).toBe(true);
|
|
cg.close();
|
|
});
|
|
});
|
|
|
|
describe('Database', () => {
|
|
it('should create database with correct schema', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
|
|
// Check that we can get stats (requires tables to exist)
|
|
const stats = cg.getStats();
|
|
expect(stats.nodeCount).toBe(0);
|
|
expect(stats.edgeCount).toBe(0);
|
|
expect(stats.fileCount).toBe(0);
|
|
|
|
cg.close();
|
|
});
|
|
|
|
it('should return correct database size', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
const stats = cg.getStats();
|
|
|
|
// Database should have some size (at least the schema)
|
|
expect(stats.dbSizeBytes).toBeGreaterThan(0);
|
|
|
|
cg.close();
|
|
});
|
|
|
|
it('should support optimize operation', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
|
|
// Should not throw
|
|
expect(() => cg.optimize()).not.toThrow();
|
|
|
|
cg.close();
|
|
});
|
|
|
|
it('should support clear operation', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
|
|
// Should not throw
|
|
expect(() => cg.clear()).not.toThrow();
|
|
|
|
const stats = cg.getStats();
|
|
expect(stats.nodeCount).toBe(0);
|
|
|
|
cg.close();
|
|
});
|
|
});
|
|
|
|
// recreate() backs `codegraph index`: it discards the existing DB and returns
|
|
// a fresh, empty instance rather than DELETE-clearing in place — the path that
|
|
// recovers a poisoned/oversized prior index without wedging (#1067).
|
|
describe('Recreate (#1067)', () => {
|
|
it('returns a fresh, empty, usable instance', async () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
// Give the DB some content so "empty afterwards" is meaningful.
|
|
fs.writeFileSync(path.join(tempDir, 'a.ts'), 'export function f() { return 1; }\n');
|
|
await cg.indexAll();
|
|
expect(cg.getStats().nodeCount).toBeGreaterThan(0);
|
|
cg.close();
|
|
|
|
const fresh = await CodeGraph.recreate(tempDir);
|
|
try {
|
|
// Empty graph, but a working instance: re-indexing repopulates it.
|
|
expect(fresh.getStats().nodeCount).toBe(0);
|
|
const result = await fresh.indexAll();
|
|
expect(result.success).toBe(true);
|
|
expect(fresh.getStats().nodeCount).toBeGreaterThan(0);
|
|
} finally {
|
|
fresh.close();
|
|
}
|
|
});
|
|
|
|
it('discards the old database file rather than emptying it in place', async () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
await cg.indexAll();
|
|
cg.close();
|
|
|
|
// Stamp a sentinel into the existing DB header. PRAGMA user_version is
|
|
// untouched by DELETE, so an in-place clear() would preserve it — but a
|
|
// from-scratch recreate cannot. (An inode-equality check is unreliable:
|
|
// ext4/overlayfs recycle the inode number after unlink+recreate, so a
|
|
// "new inode" assertion false-fails on Linux while passing on macOS.)
|
|
const dbPath = getDatabasePath(tempDir);
|
|
const stamp = DatabaseConnection.open(dbPath);
|
|
stamp.getDb().pragma('user_version = 4242');
|
|
stamp.close();
|
|
|
|
const fresh = await CodeGraph.recreate(tempDir);
|
|
fresh.close();
|
|
|
|
// The file exists, and the sentinel is gone — proof the old DB was
|
|
// discarded and rebuilt, not row-DELETE'd in place (the path that wedged
|
|
// on a poisoned graph, #1067).
|
|
expect(fs.existsSync(dbPath)).toBe(true);
|
|
const check = DatabaseConnection.open(dbPath);
|
|
const userVersion = pragmaValue(check.getDb().pragma('user_version'), 'user_version');
|
|
check.close();
|
|
expect(Number(userVersion)).not.toBe(4242);
|
|
});
|
|
|
|
it('throws a clear error when the project is not initialized', async () => {
|
|
await expect(CodeGraph.recreate(tempDir)).rejects.toThrow(/not initialized/i);
|
|
});
|
|
});
|
|
|
|
describe('removeDatabaseFiles (#1067)', () => {
|
|
it('deletes the database and its -wal/-shm sidecars', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
cg.close();
|
|
const dbPath = getDatabasePath(tempDir);
|
|
// Materialise the WAL sidecars so we can prove they're cleaned up too.
|
|
fs.writeFileSync(dbPath + '-wal', 'x');
|
|
fs.writeFileSync(dbPath + '-shm', 'x');
|
|
expect(fs.existsSync(dbPath)).toBe(true);
|
|
|
|
removeDatabaseFiles(dbPath);
|
|
|
|
expect(fs.existsSync(dbPath)).toBe(false);
|
|
expect(fs.existsSync(dbPath + '-wal')).toBe(false);
|
|
expect(fs.existsSync(dbPath + '-shm')).toBe(false);
|
|
});
|
|
|
|
it('is a no-op (does not throw) when the files are already gone', () => {
|
|
const dbPath = getDatabasePath(tempDir);
|
|
expect(fs.existsSync(dbPath)).toBe(false);
|
|
expect(() => removeDatabaseFiles(dbPath)).not.toThrow();
|
|
});
|
|
});
|
|
|
|
describe('Directory Management', () => {
|
|
it('should validate directory structure', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
cg.close();
|
|
|
|
const validation = validateDirectory(tempDir);
|
|
expect(validation.valid).toBe(true);
|
|
expect(validation.errors).toHaveLength(0);
|
|
});
|
|
|
|
it('should detect invalid directory', () => {
|
|
const validation = validateDirectory(tempDir);
|
|
expect(validation.valid).toBe(false);
|
|
expect(validation.errors.length).toBeGreaterThan(0);
|
|
});
|
|
|
|
it('upgrades a stale pre-wildcard .gitignore in place (issue #788)', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
cg.close();
|
|
|
|
const gitignorePath = path.join(getCodeGraphDir(tempDir), '.gitignore');
|
|
// A .gitignore written by an older version (<= 0.9.9): an explicit
|
|
// allowlist that never ignored daemon.pid, so the daemon's runtime
|
|
// pidfile got committed.
|
|
const staleV099 =
|
|
'# CodeGraph data files\n' +
|
|
'# These are local to each machine and should not be committed\n\n' +
|
|
'# Database\n*.db\n*.db-wal\n*.db-shm\n\n' +
|
|
'# Cache\ncache/\n\n# Logs\n*.log\n\n# Hook markers\n.dirty\n';
|
|
fs.writeFileSync(gitignorePath, staleV099, 'utf-8');
|
|
|
|
// Opening the project runs validateDirectory, which self-heals.
|
|
const cg2 = CodeGraph.openSync(tempDir);
|
|
cg2.close();
|
|
|
|
const upgraded = fs.readFileSync(gitignorePath, 'utf-8');
|
|
expect(upgraded).toContain('\n*\n'); // wildcard ignores everything…
|
|
expect(upgraded).toContain('!.gitignore'); // …except this file
|
|
expect(upgraded).not.toContain('.dirty'); // old explicit list is gone
|
|
});
|
|
|
|
it('leaves a user-customized .codegraph/.gitignore untouched', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
cg.close();
|
|
|
|
const gitignorePath = path.join(getCodeGraphDir(tempDir), '.gitignore');
|
|
// No CodeGraph header → user-authored → must not be rewritten.
|
|
const custom = '# my own rules\n*.db\n!keep-this.json\n';
|
|
fs.writeFileSync(gitignorePath, custom, 'utf-8');
|
|
|
|
const cg2 = CodeGraph.openSync(tempDir);
|
|
cg2.close();
|
|
|
|
expect(fs.readFileSync(gitignorePath, 'utf-8')).toBe(custom);
|
|
});
|
|
});
|
|
|
|
describe('Uninitialize', () => {
|
|
it('should remove .CodeGraph directory', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
|
|
cg.uninitialize();
|
|
|
|
expect(fs.existsSync(getCodeGraphDir(tempDir))).toBe(false);
|
|
expect(CodeGraph.isInitialized(tempDir)).toBe(false);
|
|
});
|
|
});
|
|
|
|
describe('Close/Destroy', () => {
|
|
it('should close database but keep .CodeGraph directory', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
|
|
cg.destroy(); // destroy is alias for close
|
|
|
|
expect(fs.existsSync(getCodeGraphDir(tempDir))).toBe(true);
|
|
expect(CodeGraph.isInitialized(tempDir)).toBe(true);
|
|
});
|
|
});
|
|
|
|
describe('Graph Query Methods', () => {
|
|
it('should throw "Node not found" for non-existent nodes', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
|
|
// getContext throws for non-existent nodes
|
|
expect(() => cg.getContext('non-existent')).toThrow(/not found/i);
|
|
|
|
cg.close();
|
|
});
|
|
|
|
it('should return empty results for non-existent nodes', () => {
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
|
|
// These methods return empty results instead of throwing
|
|
const traverseResult = cg.traverse('non-existent');
|
|
expect(traverseResult.nodes.size).toBe(0);
|
|
|
|
const callGraph = cg.getCallGraph('non-existent');
|
|
expect(callGraph.nodes.size).toBe(0);
|
|
|
|
const typeHierarchy = cg.getTypeHierarchy('non-existent');
|
|
expect(typeHierarchy.nodes.size).toBe(0);
|
|
|
|
const usages = cg.findUsages('non-existent');
|
|
expect(usages.length).toBe(0);
|
|
|
|
cg.close();
|
|
});
|
|
|
|
});
|
|
});
|
|
|
|
describe('Database Connection', () => {
|
|
let tempDir: string;
|
|
|
|
beforeEach(() => {
|
|
tempDir = createTempDir();
|
|
});
|
|
|
|
afterEach(() => {
|
|
cleanupTempDir(tempDir);
|
|
});
|
|
|
|
it('should initialize new database', () => {
|
|
const dbPath = path.join(tempDir, 'test.db');
|
|
const db = DatabaseConnection.initialize(dbPath);
|
|
|
|
expect(db.isOpen()).toBe(true);
|
|
expect(fs.existsSync(dbPath)).toBe(true);
|
|
|
|
db.close();
|
|
});
|
|
|
|
it('should get schema version', () => {
|
|
const dbPath = path.join(tempDir, 'test.db');
|
|
const db = DatabaseConnection.initialize(dbPath);
|
|
|
|
const version = db.getSchemaVersion();
|
|
expect(version).not.toBeNull();
|
|
expect(version?.version).toBe(8);
|
|
|
|
db.close();
|
|
});
|
|
|
|
it('should support transactions', () => {
|
|
const dbPath = path.join(tempDir, 'test.db');
|
|
const db = DatabaseConnection.initialize(dbPath);
|
|
|
|
const result = db.transaction(() => {
|
|
return 42;
|
|
});
|
|
|
|
expect(result).toBe(42);
|
|
|
|
db.close();
|
|
});
|
|
|
|
it('should throw when opening non-existent database', () => {
|
|
const dbPath = path.join(tempDir, 'nonexistent.db');
|
|
|
|
expect(() => DatabaseConnection.open(dbPath)).toThrow(/not found/i);
|
|
});
|
|
});
|
|
|
|
describe('Query Builder', () => {
|
|
let tempDir: string;
|
|
let cg: CodeGraph;
|
|
|
|
beforeEach(() => {
|
|
tempDir = createTempDir();
|
|
cg = CodeGraph.initSync(tempDir);
|
|
});
|
|
|
|
afterEach(() => {
|
|
cg.close();
|
|
cleanupTempDir(tempDir);
|
|
});
|
|
|
|
it('should return null for non-existent node', () => {
|
|
const node = cg.getNode('nonexistent');
|
|
expect(node).toBeNull();
|
|
});
|
|
|
|
it('should return empty array for nodes in non-existent file', () => {
|
|
const nodes = cg.getNodesInFile('nonexistent.ts');
|
|
expect(nodes).toEqual([]);
|
|
});
|
|
|
|
it('should return empty array for edges from non-existent node', () => {
|
|
const edges = cg.getOutgoingEdges('nonexistent');
|
|
expect(edges).toEqual([]);
|
|
});
|
|
|
|
it('should return null for non-existent file', () => {
|
|
const file = cg.getFile('nonexistent.ts');
|
|
expect(file).toBeNull();
|
|
});
|
|
|
|
it('should return empty array for files when none tracked', () => {
|
|
const files = cg.getFiles();
|
|
expect(files).toEqual([]);
|
|
});
|
|
});
|
|
|
|
// Two environments that share one working tree (Windows-native + WSL) must not
|
|
// share one `.codegraph/`. CODEGRAPH_DIR overrides the data directory name so
|
|
// each side keeps its own index in the same tree (issue #636).
|
|
describe('CODEGRAPH_DIR override (#636)', () => {
|
|
const saved = process.env.CODEGRAPH_DIR;
|
|
let tempDir: string;
|
|
|
|
beforeEach(() => {
|
|
tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-dirname-'));
|
|
});
|
|
afterEach(() => {
|
|
if (saved === undefined) delete process.env.CODEGRAPH_DIR;
|
|
else process.env.CODEGRAPH_DIR = saved;
|
|
fs.rmSync(tempDir, { recursive: true, force: true });
|
|
});
|
|
|
|
describe('codeGraphDirName()', () => {
|
|
it('defaults to .codegraph when unset', () => {
|
|
delete process.env.CODEGRAPH_DIR;
|
|
expect(codeGraphDirName()).toBe('.codegraph');
|
|
});
|
|
|
|
it('honors a valid override', () => {
|
|
process.env.CODEGRAPH_DIR = '.codegraph-win';
|
|
expect(codeGraphDirName()).toBe('.codegraph-win');
|
|
});
|
|
|
|
// Anything that isn't a plain segment could escape the project root or
|
|
// clobber it, so it's ignored in favor of the default.
|
|
it.each(['foo/bar', 'a\\b', '..', '../x', '.', '/abs/path', ' ', ''])(
|
|
'falls back to .codegraph for invalid value %j',
|
|
(bad) => {
|
|
process.env.CODEGRAPH_DIR = bad;
|
|
expect(codeGraphDirName()).toBe('.codegraph');
|
|
}
|
|
);
|
|
});
|
|
|
|
describe('isCodeGraphDataDir()', () => {
|
|
it('matches the default, the active override, and .codegraph-* siblings', () => {
|
|
process.env.CODEGRAPH_DIR = '.codegraph-win';
|
|
expect(isCodeGraphDataDir('.codegraph')).toBe(true); // the other env's dir
|
|
expect(isCodeGraphDataDir('.codegraph-win')).toBe(true); // active override
|
|
expect(isCodeGraphDataDir('.codegraph-wsl')).toBe(true); // any sibling
|
|
});
|
|
|
|
it('does not match unrelated directories', () => {
|
|
delete process.env.CODEGRAPH_DIR;
|
|
for (const name of ['src', 'node_modules', '.git', 'codegraph', '.codegraphextra']) {
|
|
expect(isCodeGraphDataDir(name)).toBe(false);
|
|
}
|
|
});
|
|
});
|
|
|
|
it('init writes the index under the overridden directory, not .codegraph', () => {
|
|
process.env.CODEGRAPH_DIR = '.codegraph-win';
|
|
const cg = CodeGraph.initSync(tempDir);
|
|
try {
|
|
expect(fs.existsSync(path.join(tempDir, '.codegraph-win', 'codegraph.db'))).toBe(true);
|
|
expect(fs.existsSync(path.join(tempDir, '.codegraph'))).toBe(false);
|
|
expect(getCodeGraphDir(tempDir)).toBe(path.join(tempDir, '.codegraph-win'));
|
|
expect(CodeGraph.isInitialized(tempDir)).toBe(true);
|
|
} finally {
|
|
cg.close();
|
|
}
|
|
});
|
|
|
|
it('two index dirs coexist in one tree and the override side skips the sibling', async () => {
|
|
// WSL side: default `.codegraph`, with a source file.
|
|
delete process.env.CODEGRAPH_DIR;
|
|
fs.writeFileSync(path.join(tempDir, 'app.ts'), 'export function onlyReal() {}\n');
|
|
const wsl = await CodeGraph.init(tempDir, { index: true });
|
|
wsl.close();
|
|
|
|
// Windows side: override dir, same tree. Plant a decoy source file INSIDE
|
|
// the WSL data dir — the override-side index must not pick it up.
|
|
process.env.CODEGRAPH_DIR = '.codegraph-win';
|
|
fs.writeFileSync(path.join(tempDir, '.codegraph', 'decoy.ts'), 'export function decoyLeak() {}\n');
|
|
const win = await CodeGraph.init(tempDir, { index: true });
|
|
try {
|
|
expect(fs.existsSync(path.join(tempDir, '.codegraph', 'codegraph.db'))).toBe(true);
|
|
expect(fs.existsSync(path.join(tempDir, '.codegraph-win', 'codegraph.db'))).toBe(true);
|
|
expect(win.searchNodes('onlyReal').length).toBeGreaterThan(0);
|
|
expect(win.searchNodes('decoyLeak')).toEqual([]); // sibling data dir not indexed
|
|
} finally {
|
|
win.close();
|
|
}
|
|
});
|
|
});
|