@dbml/parse 8.0.0-alpha.0 → 8.0.0-alpha.5

package/dist/dbml-parse.mjs

@@ -1257,13 +1257,13 @@ var isAbsolute = function(r) {
 function resolveImportFilepath(r, j) {
 	if (!Filepath.isRelative(j)) return;
 	let M = Filepath.resolve(r.dirname, j);
-	return M.absolute.endsWith(".dbml") ? M : Filepath.from(M.absolute + DBML_EXT);
+	return M.absolute.endsWith(".dbml") ? M : Filepath.from(M.absolute + ".dbml");
 }
 const KEYWORDS_OF_DEFAULT_SETTING = [
 	"null",
 	"true",
 	"false"
-], DBML_EXT = ".dbml", NUMERIC_LITERAL_PREFIX = ["-", "+"], DEFAULT_SCHEMA_NAME = "public", DEFAULT_ENTRY = Filepath.from("/main.dbml");
+], NUMERIC_LITERAL_PREFIX = ["-", "+"], DEFAULT_SCHEMA_NAME = "public", DEFAULT_ENTRY = Filepath.from("/main.dbml");
 let CompileErrorCode = /* @__PURE__ */ function(r) {
 	return r[r.UNKNOWN_SYMBOL = 1e3] = "UNKNOWN_SYMBOL", r[r.UNEXPECTED_SYMBOL = 1001] = "UNEXPECTED_SYMBOL", r[r.UNEXPECTED_EOF = 1002] = "UNEXPECTED_EOF", r[r.UNEXPECTED_NEWLINE = 1003] = "UNEXPECTED_NEWLINE", r[r.UNKNOWN_TOKEN = 1004] = "UNKNOWN_TOKEN", r[r.UNEXPECTED_TOKEN = 1005] = "UNEXPECTED_TOKEN", r[r.UNEXPECTED_ELEMENT_DECLARATION = 1006] = "UNEXPECTED_ELEMENT_DECLARATION", r[r.MISSING_SPACES = 1007] = "MISSING_SPACES", r[r.UNKNOWN_PREFIX_OP = 1008] = "UNKNOWN_PREFIX_OP", r[r.INVALID_OPERAND = 1009] = "INVALID_OPERAND", r[r.EMPTY_ATTRIBUTE_NAME = 1010] = "EMPTY_ATTRIBUTE_NAME", r[r.INVALID_ESCAPE_SEQUENCE = 1011] = "INVALID_ESCAPE_SEQUENCE", r[r.INVALID_NAME = 3e3] = "INVALID_NAME", r[r.UNEXPECTED_NAME = 3001] = "UNEXPECTED_NAME", r[r.NAME_NOT_FOUND = 3002] = "NAME_NOT_FOUND", r[r.DUPLICATE_NAME = 3003] = "DUPLICATE_NAME", r[r.INVALID_ALIAS = 3004] = "INVALID_ALIAS", r[r.UNEXPECTED_ALIAS = 3005] = "UNEXPECTED_ALIAS", r[r.UNEXPECTED_SETTINGS = 3006] = "UNEXPECTED_SETTINGS", r[r.INVALID_SETTINGS = 3007] = "INVALID_SETTINGS", r[r.UNEXPECTED_SIMPLE_BODY = 3008] = "UNEXPECTED_SIMPLE_BODY", r[r.UNEXPECTED_COMPLEX_BODY = 3009] = "UNEXPECTED_COMPLEX_BODY", r[r.INVALID_TABLE_CONTEXT = 3010] = "INVALID_TABLE_CONTEXT", r[r.UNKNOWN_TABLE_SETTING = 3011] = "UNKNOWN_TABLE_SETTING", r[r.DUPLICATE_TABLE_SETTING = 3012] = "DUPLICATE_TABLE_SETTING", r[r.INVALID_TABLEGROUP_CONTEXT = 3013] = "INVALID_TABLEGROUP_CONTEXT", r[r.INVALID_TABLEGROUP_ELEMENT_NAME = 3014] = "INVALID_TABLEGROUP_ELEMENT_NAME", r[r.DUPLICATE_TABLEGROUP_ELEMENT_NAME = 3015] = "DUPLICATE_TABLEGROUP_ELEMENT_NAME", r[r.DUPLICATE_TABLEGROUP_FIELD_NAME = 3016] = "DUPLICATE_TABLEGROUP_FIELD_NAME", r[r.INVALID_TABLEGROUP_FIELD = 3017] = "INVALID_TABLEGROUP_FIELD", r[r.EMPTY_TABLE = 3018] = "EMPTY_TABLE", r[r.INVALID_COLUMN = 3019] = "INVALID_COLUMN", r[r.INVALID_COLUMN_NAME = 3020] = "INVALID_COLUMN_NAME", r[r.UNKNOWN_COLUMN_SETTING = 3021] = "UNKNOWN_COLUMN_SETTING", r[r.INVALID_COLUMN_TYPE = 3022] = "INVALID_COLUMN_TYPE", r[r.DUPLICATE_COLUMN_NAME = 3023] = "DUPLICATE_COLUMN_NAME", r[r.DUPLICATE_COLUMN_SETTING = 3024] = "DUPLICATE_COLUMN_SETTING", r[r.INVALID_COLUMN_SETTING_VALUE = 3025] = "INVALID_COLUMN_SETTING_VALUE", r[r.INVALID_ENUM_CONTEXT = 3026] = "INVALID_ENUM_CONTEXT", r[r.INVALID_ENUM_ELEMENT_NAME = 3027] = "INVALID_ENUM_ELEMENT_NAME", r[r.INVALID_ENUM_ELEMENT = 3028] = "INVALID_ENUM_ELEMENT", r[r.DUPLICATE_ENUM_ELEMENT_NAME = 3029] = "DUPLICATE_ENUM_ELEMENT_NAME", r[r.UNKNOWN_ENUM_ELEMENT_SETTING = 3030] = "UNKNOWN_ENUM_ELEMENT_SETTING", r[r.DUPLICATE_ENUM_ELEMENT_SETTING = 3031] = "DUPLICATE_ENUM_ELEMENT_SETTING", r[r.INVALID_ENUM_ELEMENT_SETTING = 3032] = "INVALID_ENUM_ELEMENT_SETTING", r[r.EMPTY_ENUM = 3033] = "EMPTY_ENUM", r[r.INVALID_REF_CONTEXT = 3034] = "INVALID_REF_CONTEXT", r[r.UNKNOWN_REF_SETTING = 3035] = "UNKNOWN_REF_SETTING", r[r.DUPLICATE_REF_SETTING = 3036] = "DUPLICATE_REF_SETTING", r[r.INVALID_REF_SETTING_VALUE = 3037] = "INVALID_REF_SETTING_VALUE", r[r.INVALID_REF_RELATIONSHIP = 3038] = "INVALID_REF_RELATIONSHIP", r[r.INVALID_REF_FIELD = 3039] = "INVALID_REF_FIELD", r[r.EMPTY_REF = 3040] = "EMPTY_REF", r[r.REF_REDEFINED = 3041] = "REF_REDEFINED", r[r.INVALID_NOTE_CONTEXT = 3042] = "INVALID_NOTE_CONTEXT", r[r.INVALID_NOTE = 3043] = "INVALID_NOTE", r[r.NOTE_REDEFINED = 3044] = "NOTE_REDEFINED", r[r.NOTE_CONTENT_REDEFINED = 3045] = "NOTE_CONTENT_REDEFINED", r[r.EMPTY_NOTE = 3046] = "EMPTY_NOTE", r[r.INVALID_INDEXES_CONTEXT = 3047] = "INVALID_INDEXES_CONTEXT", r[r.INVALID_INDEXES_FIELD = 3048] = "INVALID_INDEXES_FIELD", r[r.INVALID_INDEX = 3049] = "INVALID_INDEX", r[r.UNKNOWN_INDEX_SETTING = 3050] = "UNKNOWN_INDEX_SETTING", r[r.DUPLICATE_INDEX_SETTING = 3051] = "DUPLICATE_INDEX_SETTING", r[r.UNEXPECTED_INDEX_SETTING_VALUE = 3052] = "UNEXPECTED_INDEX_SETTING_VALUE", r[r.INVALID_INDEX_SETTING_VALUE = 3053] = "INVALID_INDEX_SETTING_VALUE", r[r.INVALID_PROJECT_CONTEXT = 3054] = "INVALID_PROJECT_CONTEXT", r[r.PROJECT_REDEFINED = 3055] = "PROJECT_REDEFINED", r[r.INVALID_PROJECT_FIELD = 3056] = "INVALID_PROJECT_FIELD", r[r.INVALID_CUSTOM_CONTEXT = 3057] = "INVALID_CUSTOM_CONTEXT", r[r.INVALID_CUSTOM_ELEMENT_VALUE = 3058] = "INVALID_CUSTOM_ELEMENT_VALUE", r[r.INVALID_ELEMENT_IN_SIMPLE_BODY = 3059] = "INVALID_ELEMENT_IN_SIMPLE_BODY", r[r.INVALID_TABLE_PARTIAL_CONTEXT = 3060] = "INVALID_TABLE_PARTIAL_CONTEXT", r[r.INVALID_TABLE_PARTIAL_ELEMENT_NAME = 3061] = "INVALID_TABLE_PARTIAL_ELEMENT_NAME", r[r.INVALID_TABLE_PARTIAL_SETTING_VALUE = 3062] = "INVALID_TABLE_PARTIAL_SETTING_VALUE", r[r.DUPLICATE_TABLE_PARTIAL_ELEMENT_NAME = 3063] = "DUPLICATE_TABLE_PARTIAL_ELEMENT_NAME", r[r.DUPLICATE_TABLE_PARTIAL_SETTING = 3064] = "DUPLICATE_TABLE_PARTIAL_SETTING", r[r.INVALID_TABLE_PARTIAL_INJECTION = 3065] = "INVALID_TABLE_PARTIAL_INJECTION", r[r.INVALID_TABLE_PARTIAL_INJECTION_OP = 3066] = "INVALID_TABLE_PARTIAL_INJECTION_OP", r[r.INVALID_TABLE_PARTIAL_INJECTION_NAME = 3067] = "INVALID_TABLE_PARTIAL_INJECTION_NAME", r[r.DUPLICATE_TABLE_PARTIAL_INJECTION_NAME = 3068] = "DUPLICATE_TABLE_PARTIAL_INJECTION_NAME", r[r.UNKNOWN_TABLE_PARTIAL_SETTING = 3069] = "UNKNOWN_TABLE_PARTIAL_SETTING", r[r.INVALID_TABLE_SETTING_VALUE = 3070] = "INVALID_TABLE_SETTING_VALUE", r[r.INVALID_CHECKS_CONTEXT = 3071] = "INVALID_CHECKS_CONTEXT", r[r.INVALID_CHECKS_FIELD = 3072] = "INVALID_CHECKS_FIELD", r[r.INVALID_CHECK = 3073] = "INVALID_CHECK", r[r.UNKNOWN_CHECK_SETTING = 3074] = "UNKNOWN_CHECK_SETTING", r[r.DUPLICATE_CHECK_SETTING = 3075] = "DUPLICATE_CHECK_SETTING", r[r.INVALID_CHECK_SETTING_VALUE = 3076] = "INVALID_CHECK_SETTING_VALUE", r[r.INVALID_RECORDS_CONTEXT = 3077] = "INVALID_RECORDS_CONTEXT", r[r.INVALID_RECORDS_NAME = 3078] = "INVALID_RECORDS_NAME", r[r.INVALID_RECORDS_FIELD = 3079] = "INVALID_RECORDS_FIELD", r[r.DUPLICATE_COLUMN_REFERENCES_IN_RECORDS = 3080] = "DUPLICATE_COLUMN_REFERENCES_IN_RECORDS", r[r.DUPLICATE_RECORDS_FOR_TABLE = 3081] = "DUPLICATE_RECORDS_FOR_TABLE", r[r.INVALID_USE_CONTEXT = 3082] = "INVALID_USE_CONTEXT", r[r.INVALID_USE_SPECIFIER_KIND = 3083] = "INVALID_USE_SPECIFIER_KIND", r[r.INVALID_USE_SPECIFIER_NAME = 3084] = "INVALID_USE_SPECIFIER_NAME", r[r.INVALID_DIAGRAMVIEW_CONTEXT = 3085] = "INVALID_DIAGRAMVIEW_CONTEXT", r[r.DUPLICATE_DIAGRAMVIEW_NAME = 3086] = "DUPLICATE_DIAGRAMVIEW_NAME", r[r.INVALID_DIAGRAMVIEW_FIELD = 3087] = "INVALID_DIAGRAMVIEW_FIELD", r[r.DUPLICATE_DIAGRAMVIEW_FIELD = 3088] = "DUPLICATE_DIAGRAMVIEW_FIELD", r[r.BINDING_ERROR = 4e3] = "BINDING_ERROR", r[r.NONEXISTENT_MODULE = 4001] = "NONEXISTENT_MODULE", r[r.UNSUPPORTED = 5e3] = "UNSUPPORTED", r[r.CIRCULAR_REF = 5001] = "CIRCULAR_REF", r[r.SAME_ENDPOINT = 5002] = "SAME_ENDPOINT", r[r.UNEQUAL_FIELDS_BINARY_REF = 5003] = "UNEQUAL_FIELDS_BINARY_REF", r[r.CONFLICTING_SETTING = 5004] = "CONFLICTING_SETTING", r[r.TABLE_REAPPEAR_IN_TABLEGROUP = 5005] = "TABLE_REAPPEAR_IN_TABLEGROUP", r;
 }({});
@@ -1504,7 +1504,7 @@ function destructureIndexNode(r) {
 	};
 }
 function extractQuotedStringToken(r) {
-	if (isExpressionAQuotedString(r)) return r?.expression instanceof VariableNode ? r?.expression?.variable?.value : r.expression.literal.value;
+	if (isExpressionAQuotedString(r)) return r.expression instanceof VariableNode ? r?.expression?.variable?.value : r.expression.literal.value;
 }
 function extractNumericLiteral(r) {
 	return r instanceof PrimaryExpressionNode && r.expression instanceof LiteralNode && r.expression.literal?.kind === SyntaxTokenKind.NUMERIC_LITERAL ? Number(r.expression.literal.value) : null;
@@ -7558,24 +7558,16 @@ const programModule$1 = {
 	},
 	symbolMembers(N, P) {
 		if (!P.isKind(SymbolKind.Program)) return Report.create(PASS_THROUGH);
-		let F = P.declaration;
-		if (!(F instanceof ProgramNode)) return Report.create([]);
-		let I = new Map([[DEFAULT_SCHEMA_NAME, N.symbolFactory.create(SchemaSymbol, { name: DEFAULT_SCHEMA_NAME }, P.filepath)]]);
-		for (let r of F.declarations) {
-			let M = N.nodeFullname(r).getFiltered(UNHANDLED) || [], F = M.length <= 1 ? DEFAULT_SCHEMA_NAME : M[0];
-			I.has(F) || I.set(F, N.symbolFactory.create(SchemaSymbol, { name: F }, P.filepath));
-		}
+		if (!(P.declaration instanceof ProgramNode)) return Report.create([]);
+		let F = /* @__PURE__ */ new Map();
 		for (let r of N.reachableFiles(P.filepath)) {
 			let { schemaMembers: j } = N.usableMembers(r).getValue();
-			for (let r of j) {
-				let { name: j } = r;
-				I.has(j) || I.set(j, N.symbolFactory.create(SchemaSymbol, { name: j }, P.filepath));
-			}
+			for (let r of j) F.has(r.name) || F.set(r.name, r);
 		}
-		let L = I.get(DEFAULT_SCHEMA_NAME);
-		if (!L) return Report.create([...I.values()]);
-		let R = N.symbolMembers(L).getFiltered(UNHANDLED)?.filter((r) => !r.isKind(SymbolKind.Schema));
-		return R ? Report.create([...I.values(), ...R]) : Report.create([...I.values()]);
+		let I = F.get(DEFAULT_SCHEMA_NAME);
+		if (!I) return Report.create([...F.values()]);
+		let L = N.symbolMembers(I).getFiltered(UNHANDLED)?.filter((r) => !r.isKind(SymbolKind.Schema));
+		return L ? Report.create([...F.values(), ...L]) : Report.create([...F.values()]);
 	},
 	bindNode(j, N) {
 		return isProgramNode(N) ? new Binder(N, j).resolve() : Report.create(PASS_THROUGH);
@@ -8204,20 +8196,20 @@ function nodeRefereeOfRefEndpoint(r, N, P) {
 }
 const useUtils = { visibleName(r, M) {
 	let N = M instanceof SyntaxNode ? M : M.useSpecifierDeclaration instanceof UseSpecifierNode ? M.useSpecifierDeclaration : M.declaration;
-	if (N) return r.nodeAlias(N).mapFiltered((r) => [r], UNHANDLED, void 0).getFiltered(UNHANDLED) || r.nodeFullname(N).getFiltered(UNHANDLED);
+	if (N instanceof UseSpecifierNode && M instanceof NodeSymbol && N.getSymbolKind() !== M.kind && (N = M.declaration), N) return r.nodeAlias(N).mapFiltered((r) => [r], UNHANDLED, void 0).getFiltered(UNHANDLED) || r.nodeFullname(N).getFiltered(UNHANDLED);
 } }, useModule$1 = {
 	nodeSymbol(N, P) {
 		if (!isUseSpecifier(P) || !P.name) return Report.create(PASS_THROUGH);
 		let F = P.getSymbolKind();
-		if (F === void 0 || F === SymbolKind.Schema) return Report.create(PASS_THROUGH);
+		if (F === void 0) return Report.create(PASS_THROUGH);
 		let I = N.nodeReferee(P.name).getFiltered(UNHANDLED);
-		return I && !I.canBeImported ? Report.create(PASS_THROUGH) : Report.create(N.symbolFactory.create(UseSymbol, {
+		return I && !I.canBeImported && F !== SymbolKind.Schema ? Report.create(PASS_THROUGH) : Report.create(N.symbolFactory.create(UseSymbol, {
 			useSpecifierDeclaration: P,
 			declaration: I?.declaration,
 			usedSymbol: I,
 			kind: F,
 			name: useUtils.visibleName(N, P)?.at(-1)
-		}, P.filepath), I === void 0 ? [new CompileError(CompileErrorCode.BINDING_ERROR, `Failed to resolve the import of ${F} '${(N.nodeFullname(P).getFiltered(UNHANDLED) || []).map(addDoubleQuoteIfNeeded).join(".")}'`, P)] : []);
+		}, P.filepath), I === void 0 ? [new CompileError(CompileErrorCode.BINDING_ERROR, `Failed to resolve the import of ${F} '${(destructureComplexVariable(P.name) || []).map(addDoubleQuoteIfNeeded).join(".")}'`, P)] : []);
 	},
 	symbolMembers(N, P) {
 		if (!(P instanceof UseSymbol)) return Report.create(PASS_THROUGH);
@@ -8298,64 +8290,23 @@ function lookupMemberInFilepath(r, M, N, P, F = /* @__PURE__ */ new Set()) {
 	}
 }
 function usableMembers(r) {
-	let N = [], P = /* @__PURE__ */ new Map(), F = [], I = [], L = [], R = [], z = r instanceof Filepath ? r : r.filepath, B = this.parseFile(z), { ast: V } = B.getValue();
-	for (let r of V.body) {
-		if (!(r instanceof UseDeclarationNode) || !r.specifiers || !r.importPath) continue;
-		let j = resolveImportFilepath(z, r.importPath.value);
-		j && (r.isReuse ? r.specifiers instanceof WildcardNode ? F.push({
-			importPath: j,
-			node: r.specifiers
-		}) : I.push(...r.specifiers.specifiers) : r.specifiers instanceof WildcardNode ? L.push({
-			importPath: j,
-			node: r.specifiers
-		}) : R.push(...r.specifiers.specifiers));
-	}
-	let H = [];
 	if (r instanceof Filepath) {
-		let M = new Map([[DEFAULT_SCHEMA_NAME, this.symbolFactory.create(SchemaSymbol, { name: DEFAULT_SCHEMA_NAME }, r)]]);
-		for (let N of V.declarations) {
-			let P = this.nodeFullname(N).getFiltered(UNHANDLED) || [], F = P.length <= 1 ? DEFAULT_SCHEMA_NAME : P[0];
-			M.has(F) || M.set(F, this.symbolFactory.create(SchemaSymbol, { name: F }, r));
-		}
-		H.push(...M.values());
-		let P = H.find((r) => r.isPublicSchema());
-		if (P) {
-			let r = this.usableMembers(P).getFiltered(UNHANDLED);
-			r && N.push(...r.nonSchemaMembers);
-		}
-	} else {
-		let M = r;
-		for (let r of V.body) {
-			if (!(r instanceof ElementDeclarationNode)) continue;
-			let F = schemaMembership(this, M, r), I = this.nodeAlias(r).getFiltered(UNHANDLED), L = this.nodeSymbol(r).getFiltered(UNHANDLED);
-			if (I !== void 0 && M.isPublicSchema() && L && N.push(this.symbolFactory.create(AliasSymbol, {
-				kind: L.kind,
-				declaration: r,
-				aliasedSymbol: L,
-				name: I
-			}, M.filepath)), F.kind !== "none") if (F.kind === "direct") {
-				let M = this.nodeSymbol(r).getFiltered(UNHANDLED);
-				if (!M) continue;
-				N.push(M);
-			} else P.has(F.schemaName) || P.set(F.schemaName, this.symbolFactory.create(SchemaSymbol, {
-				name: F.schemaName,
-				parent: M
-			}, M.filepath));
-		}
-		H.push(...P.values());
+		let { ast: M } = this.parseFile(r).getValue(), N = this.nodeSymbol(M).getFiltered(UNHANDLED);
+		return this.usableMembers(N);
 	}
+	let N = r.filepath, P = collectImports(this, N), { nonSchemaMembers: F, schemaMembers: I } = r instanceof ProgramSymbol ? usableMembersForProgram(this, r, P) : usableMembersForSchema(this, r, P);
 	return new Report({
-		nonSchemaMembers: N,
-		schemaMembers: H,
+		nonSchemaMembers: F,
+		schemaMembers: I,
 		reuses: {
-			selective: I,
-			wildcard: F
+			selective: P.selectiveReuses,
+			wildcard: P.wildcardReuses
 		},
 		uses: {
-			selective: R,
-			wildcard: L
+			selective: P.selectiveUses,
+			wildcard: P.wildcardUses
 		}
-	}, B.getErrors(), B.getWarnings());
+	}, P.parseResult.getErrors(), P.parseResult.getWarnings());
 }
 function schemaMembership(r, M, N) {
 	let P = M.qualifiedName, F;
@@ -8366,6 +8317,124 @@ function schemaMembership(r, M, N) {
 		schemaName: I[P.length]
 	};
 }
+function collectImports(r, j) {
+	let M = r.parseFile(j), { ast: N } = M.getValue(), P = [], F = [], I = [], L = [];
+	for (let r of N.body) {
+		if (!(r instanceof UseDeclarationNode) || !r.specifiers || !r.importPath) continue;
+		let M = resolveImportFilepath(j, r.importPath.value);
+		M && (r.isReuse ? r.specifiers instanceof WildcardNode ? P.push({
+			importPath: M,
+			node: r.specifiers
+		}) : F.push(...r.specifiers.specifiers) : r.specifiers instanceof WildcardNode ? I.push({
+			importPath: M,
+			node: r.specifiers
+		}) : L.push(...r.specifiers.specifiers));
+	}
+	return {
+		ast: N,
+		parseResult: M,
+		selectiveReuses: F,
+		wildcardReuses: P,
+		selectiveUses: L,
+		wildcardUses: I
+	};
+}
+function usableMembersForProgram(r, M, N) {
+	let { ast: P, selectiveUses: F, selectiveReuses: I } = N, L = M.filepath, R = new Map([[DEFAULT_SCHEMA_NAME, r.symbolFactory.create(SchemaSymbol, { name: DEFAULT_SCHEMA_NAME }, L)]]);
+	for (let M of P.declarations) {
+		let N = r.nodeFullname(M).getFiltered(UNHANDLED) || [], P = N.length <= 1 ? DEFAULT_SCHEMA_NAME : N[0];
+		R.has(P) || R.set(P, r.symbolFactory.create(SchemaSymbol, { name: P }, L));
+	}
+	registerProgramSchemas(r, [...F, ...I], R, L);
+	for (let j of r.reachableFiles(L)) for (let M of collectTopLevelSchemaNames(r, j)) R.has(M) || R.set(M, r.symbolFactory.create(SchemaSymbol, { name: M }, L));
+	let z = [...R.values()], B = [], V = z.find((r) => r.isPublicSchema());
+	if (V) {
+		let M = r.usableMembers(V).getFiltered(UNHANDLED);
+		M && B.push(...M.nonSchemaMembers);
+	}
+	return {
+		nonSchemaMembers: B,
+		schemaMembers: z
+	};
+}
+function usableMembersForSchema(r, M, N) {
+	let { ast: P, selectiveUses: F, selectiveReuses: I } = N, L = [], R = /* @__PURE__ */ new Map();
+	for (let N of P.body) {
+		if (!(N instanceof ElementDeclarationNode)) continue;
+		let P = schemaMembership(r, M, N), F = r.nodeAlias(N).getFiltered(UNHANDLED), I = r.nodeSymbol(N).getFiltered(UNHANDLED);
+		if (F !== void 0 && M.isPublicSchema() && I && L.push(r.symbolFactory.create(AliasSymbol, {
+			kind: I.kind,
+			declaration: N,
+			aliasedSymbol: I,
+			name: F
+		}, M.filepath)), P.kind !== "none") if (P.kind === "direct") {
+			let M = r.nodeSymbol(N).getFiltered(UNHANDLED);
+			if (!M) continue;
+			L.push(M);
+		} else R.has(P.schemaName) || R.set(P.schemaName, r.symbolFactory.create(SchemaSymbol, {
+			name: P.schemaName,
+			parent: M
+		}, M.filepath));
+	}
+	registerSchemaChildren(r, [...F, ...I], M, R);
+	let z = M.qualifiedName;
+	for (let j of r.reachableFiles(M.filepath)) for (let N of collectChildSchemaNames(r, j, z)) R.has(N) || R.set(N, r.symbolFactory.create(SchemaSymbol, {
+		name: N,
+		parent: M
+	}, M.filepath));
+	return {
+		nonSchemaMembers: L,
+		schemaMembers: [...R.values()]
+	};
+}
+function registerProgramSchemas(r, j, M, N) {
+	for (let P of j) {
+		if (P.getSymbolKind() !== SymbolKind.Schema) continue;
+		let j = useUtils.visibleName(r, P)?.at(0);
+		j !== void 0 && !M.has(j) && M.set(j, r.symbolFactory.create(SchemaSymbol, { name: j }, N));
+	}
+}
+function registerSchemaChildren(r, j, M, N) {
+	let P = M.qualifiedName;
+	for (let F of j) {
+		if (F.getSymbolKind() !== SymbolKind.Schema) continue;
+		let j = useUtils.visibleName(r, F);
+		if (!j || j.length <= P.length || !P.every((r, M) => r === j[M])) continue;
+		let I = j[P.length];
+		I && !N.has(I) && N.set(I, r.symbolFactory.create(SchemaSymbol, {
+			name: I,
+			parent: M
+		}, M.filepath));
+	}
+}
+function collectTopLevelSchemaNames(r, M) {
+	let { ast: N } = r.parseFile(M).getValue(), P = [];
+	for (let M of N.declarations) {
+		let N = r.nodeFullname(M).getFiltered(UNHANDLED) || [], F = N.length <= 1 ? DEFAULT_SCHEMA_NAME : N[0];
+		P.push(F);
+	}
+	let F = collectImports(r, M);
+	for (let j of [...F.selectiveUses, ...F.selectiveReuses]) {
+		if (j.getSymbolKind() !== SymbolKind.Schema) continue;
+		let M = useUtils.visibleName(r, j)?.at(0);
+		M !== void 0 && P.push(M);
+	}
+	return P;
+}
+function collectChildSchemaNames(r, M, N) {
+	let { ast: P } = r.parseFile(M).getValue(), F = [];
+	for (let M of P.declarations) {
+		let P = r.nodeFullname(M).getFiltered(UNHANDLED) || [], I = P.length <= 1 ? [DEFAULT_SCHEMA_NAME] : P.slice(0, -1);
+		I.length > N.length && N.every((r, j) => r === I[j]) && F.push(I[N.length]);
+	}
+	let I = collectImports(r, M);
+	for (let j of [...I.selectiveUses, ...I.selectiveReuses]) {
+		if (j.getSymbolKind() !== SymbolKind.Schema) continue;
+		let M = useUtils.visibleName(r, j);
+		!M || M.length <= N.length || N.every((r, j) => r === M[j]) && F.push(M[N.length]);
+	}
+	return F;
+}
 var TableBinder = class {
 	constructor(r, j) {
 		this.compiler = r, this.declarationNode = j;
@@ -9028,16 +9097,11 @@ function nodeRefereeOfTableGroupField(r, N, P) {
 	let F = extractVarNameFromPrimaryVariable(P) ?? "";
 	if (!isAccessExpression(P.parentNode)) {
 		let I = r.symbolMembers(N).getFiltered(UNHANDLED);
-		if (I) for (let N of I) {
-			if (!(N instanceof SchemaSymbol)) continue;
-			let P = r.lookupMembers(N, SymbolKind.Table, F);
-			if (P) return Report.create(P);
-			if (!N.isPublicSchema()) {
-				let P = r.symbolMembers(N).getFiltered(UNHANDLED);
-				if (P) {
-					let N = P.find((M) => !M.isKind(SymbolKind.Table) || !M.declaration ? !1 : r.nodeAlias(M.declaration).getFiltered(UNHANDLED) === F);
-					if (N) return new Report(N);
-				}
+		if (I) {
+			let j = I.find((r) => r instanceof SchemaSymbol && r.isPublicSchema());
+			if (j) {
+				let N = r.lookupMembers(j, SymbolKind.Table, F);
+				if (N) return Report.create(N);
 			}
 		}
 		let L = r.lookupMembers(N, SymbolKind.Table, F);
@@ -9358,19 +9422,29 @@ const schemaModule = { symbolMembers(N, P) {
 		let M = handleMemberSelectiveUses(N, P, r, R);
 		z.push(...M.getErrors());
 		let F = M.getFiltered(UNHANDLED);
-		F && L.push(F);
+		F && L.push(F), L.push(...mergeImportedSchema(N, P, r));
 	}
 	for (let { importPath: r, node: j } of I.reuses.wildcard) L.push(...handleMemberWildcardUses(N, P, r, j, R));
 	for (let r of I.uses.selective) {
 		let M = handleMemberSelectiveUses(N, P, r, R);
 		z.push(...M.getErrors());
 		let F = M.getFiltered(UNHANDLED);
-		F && L.push(F);
+		F && L.push(F), L.push(...mergeImportedSchema(N, P, r));
 	}
 	for (let { importPath: r, node: j } of I.uses.wildcard) L.push(...handleMemberWildcardUses(N, P, r, j, R));
 	L.push(...R.values());
 	let B = [...L];
-	for (let r of L) r.isKind(SymbolKind.TableGroup) && B.push(...expandTableGroup(N, r));
+	{
+		let r = L.filter((r) => r.isKind(SymbolKind.TableGroup));
+		if (!P.isPublicSchema()) {
+			let M = N.usableMembers(P.filepath).getFiltered(UNHANDLED)?.schemaMembers.find((r) => r.isPublicSchema());
+			if (M) {
+				let P = N.symbolMembers(M).getFiltered(UNHANDLED);
+				P && r.push(...P.filter((r) => r.isKind(SymbolKind.TableGroup)));
+			}
+		}
+		for (let j of r) B.push(...expandTableGroup(N, P, j));
+	}
 	let V = /* @__PURE__ */ new Set(), H = B.filter((r) => {
 		let j = `${r.originalSymbol.intern()}:${r.name ?? ""}`;
 		return V.has(j) ? !1 : (V.add(j), !0);
@@ -9406,6 +9480,26 @@ function handleMemberSelectiveUses(r, N, P, F) {
 		parent: N
 	}, N.filepath)), Report.create(void 0);
 }
+function mergeImportedSchema(r, M, N, P = /* @__PURE__ */ new Set()) {
+	if (N.getSymbolKind() !== SymbolKind.Schema || !N.name) return [];
+	let F = r.nodeReferee(N.name).getFiltered(UNHANDLED);
+	if (!F || !F.isKind(SymbolKind.Schema) || F.name !== M.name) return [];
+	let I = F.intern();
+	if (P.has(I)) return [];
+	P.add(I);
+	let L = r.usableMembers(F).getFiltered(UNHANDLED);
+	if (!L) return [];
+	let R = L.nonSchemaMembers.filter((r) => r.canBeImported).map((j) => r.symbolFactory.create(UseSymbol, {
+		kind: j.kind,
+		declaration: j.originalSymbol.declaration,
+		usedSymbol: j.originalSymbol,
+		useSpecifierDeclaration: N,
+		name: j.name
+	}, M.filepath));
+	for (let j of [...R]) j.isKind(SymbolKind.TableGroup) && R.push(...expandTableGroup(r, M, j));
+	for (let j of L.reuses.selective) R.push(...mergeImportedSchema(r, M, j, P));
+	return R;
+}
 function handleMemberWildcardUses(r, M, N, P, F, I = /* @__PURE__ */ new Set()) {
 	if (I.has(N)) return [];
 	I.add(N);
@@ -9424,7 +9518,7 @@ function handleMemberWildcardUses(r, M, N, P, F, I = /* @__PURE__ */ new Set())
 	let { reuses: { selective: B, wildcard: V } } = R;
 	for (let N of B) {
 		let P = handleMemberSelectiveUses(r, M, N, F).getFiltered(UNHANDLED);
-		P && z.push(P);
+		P && z.push(P), z.push(...mergeImportedSchema(r, M, N));
 	}
 	for (let { importPath: j } of V) z.push(...handleMemberWildcardUses(r, M, j, P, F, I));
 	return z;
@@ -9442,34 +9536,36 @@ function findSchemaSymbolInFilepath(r, M, N) {
 	}
 	return I;
 }
-function expandTableGroup(r, M) {
-	if (!M.isKind(SymbolKind.TableGroup)) return [];
-	let N = M.originalSymbol, P = r.symbolMembers(N).getFiltered(UNHANDLED);
-	if (!P) return [];
-	let F = [];
-	for (let j of P) {
+function expandTableGroup(r, M, N) {
+	if (!N.isKind(SymbolKind.TableGroup) || !(N instanceof UseSymbol)) return [];
+	let P = N.originalSymbol, F = r.symbolMembers(P).getFiltered(UNHANDLED);
+	if (!F) return [];
+	let I = M.qualifiedName, L = [];
+	for (let j of F) {
 		if (!j.isKind(SymbolKind.TableGroupField) || !j.declaration) continue;
-		let N = j.declaration.callee;
-		if (!N) continue;
-		let P = destructureComplexVariable(N);
+		let M = j.declaration.callee;
+		if (!M) continue;
+		let P = destructureComplexVariable(M);
 		if (!P || P.length === 0) continue;
-		let I = j.declaration.filepath, L = lookupTableInFile(r, I, P);
-		L && M instanceof UseSymbol && F.push(r.symbolFactory.create(UseSymbol, {
+		let F = P.length <= 1 ? [DEFAULT_SCHEMA_NAME] : P.slice(0, -1);
+		if (F.length !== I.length || !I.every((r, j) => r === F[j])) continue;
+		let R = j.declaration.filepath, z = lookupTableInFile(r, R, P);
+		z && L.push(r.symbolFactory.create(UseSymbol, {
 			kind: SymbolKind.Table,
-			declaration: L.declaration,
-			usedSymbol: L,
+			declaration: z.declaration,
+			usedSymbol: z,
 			useSpecifierDeclaration: void 0,
-			name: L.name
-		}, M.filepath));
+			name: z.name
+		}, N.filepath));
 	}
-	return F;
+	return L;
 }
 function lookupTableInFile(r, M, N) {
 	if (N.length === 1) {
 		let P = r.usableMembers(M).getFiltered(UNHANDLED);
 		return P ? P.nonSchemaMembers.find((r) => r.isKind(SymbolKind.Table) && r.name === N[0]) : void 0;
 	}
-	let [P, F] = [N[0], N[N.length - 1]], I = r.usableMembers(M).getFiltered(UNHANDLED);
+	let P = N[0], F = N[N.length - 1], I = r.usableMembers(M).getFiltered(UNHANDLED);
 	if (!I) return;
 	let L = I.schemaMembers.find((r) => r.name === P);
 	if (!L) return;
@@ -11023,7 +11119,7 @@ const modules = [
 		nodeFullname(j, N) {
 			if (!isUseSpecifier(N)) return Report.create(PASS_THROUGH);
 			let P = destructureComplexVariable(N.name);
-			return !P || P.length === 0 ? Report.create(void 0, [new CompileError(CompileErrorCode.INVALID_NAME, "Use specifiers must have a valid name (simple name or schema-qualified name)", N)]) : N.isKind(ImportKind.TableGroup) && P.length > 1 ? Report.create(P, [new CompileError(CompileErrorCode.INVALID_USE_SPECIFIER_NAME, "A TableGroup name must be a simple name", N)]) : N.isKind(ImportKind.TablePartial) && P.length > 1 ? Report.create(P, [new CompileError(CompileErrorCode.INVALID_USE_SPECIFIER_NAME, "A TablePartial name must be a simple name", N)]) : N.isKind(ImportKind.Note) && P.length > 1 ? Report.create(P, [new CompileError(CompileErrorCode.INVALID_USE_SPECIFIER_NAME, "A Sticky note name must be a simple name", N)]) : (P.length === 1 && P.unshift(DEFAULT_SCHEMA_NAME), new Report(P));
+			return !P || P.length === 0 ? Report.create(void 0, [new CompileError(CompileErrorCode.INVALID_NAME, "Use specifiers must have a valid name (simple name or schema-qualified name)", N)]) : N.isKind(ImportKind.TableGroup) && P.length > 1 ? Report.create(P, [new CompileError(CompileErrorCode.INVALID_USE_SPECIFIER_NAME, "A TableGroup name must be a simple name", N)]) : N.isKind(ImportKind.TablePartial) && P.length > 1 ? Report.create(P, [new CompileError(CompileErrorCode.INVALID_USE_SPECIFIER_NAME, "A TablePartial name must be a simple name", N)]) : N.isKind(ImportKind.Note) && P.length > 1 ? Report.create(P, [new CompileError(CompileErrorCode.INVALID_USE_SPECIFIER_NAME, "A Sticky note name must be a simple name", N)]) : (P.length === 1 && !N.isKind(ImportKind.Schema) && P.unshift(DEFAULT_SCHEMA_NAME), new Report(P));
 		},
 		nodeAlias(j, N) {
 			return isUseSpecifier(N) ? N.alias ? isValidAlias(N.alias) ? new Report(extractVariableFromExpression(N.alias)) : new Report(void 0, [new CompileError(CompileErrorCode.INVALID_ALIAS, "Use aliases can only contain alphanumeric and underscore unless surrounded by double quotes", N.alias)]) : new Report(void 0) : Report.create(PASS_THROUGH);
@@ -14797,4 +14893,4 @@ var COMPUTING = Symbol("COMPUTING"), Compiler = class {
 		};
 	}
 };
-export { ArrayNode, AttributeNode, BlockExpressionNode, CallExpressionNode, CommaExpressionNode, CompileError, CompileErrorCode, Compiler, CompletionItemInsertTextRule, CompletionItemKind, DBMLCompletionItemProvider, DBMLDefinitionProvider, DBMLDiagnosticsProvider, DBMLReferencesProvider, DEFAULT_ENTRY, ElementDeclarationNode, ElementKind, EmptyNode, FALSY_VALUES, Filepath, FunctionApplicationNode, FunctionExpressionNode, GroupExpressionNode, IdentifierStreamNode, InfixExpressionNode, ListExpressionNode, LiteralNode, MarkerSeverity, MemoryProjectLayout, PostfixExpressionNode, PrefixExpressionNode, PrimaryExpressionNode, ProgramNode, ScopeKind, SymbolKind, SyntaxNode, SyntaxNodeIdGenerator, SyntaxNodeKind, SyntaxToken, SyntaxTokenKind, TRUTHY_VALUES, TupleExpressionNode, UNHANDLED, URI as Uri, UseDeclarationNode, UseSpecifierListNode, UseSpecifierNode, VariableNode, WildcardNode, addDoubleQuoteIfNeeded, dbmlLanguageConfig, dbmlMonarchTokensProvider, escapeString, extractNumericLiteral, extractSignedNumber, formatRecordValue, getRecordValueType, isBinaryType, isBooleanType, isDateTimeType, isEmptyStringLiteral, isFloatType, isFunctionExpression, isIntegerType, isNullish, isNumericType, isOp, isOpToken, isSerialType, isStringType, isTriviaToken, isValidIdentifier, normalizeTypeName, splitQualifiedIdentifier, tryExtractBoolean, tryExtractDateTime, tryExtractEnum, tryExtractInteger, tryExtractNumeric, tryExtractString, unescapeString };
+export { ArrayNode, AttributeNode, BlockExpressionNode, CallExpressionNode, CommaExpressionNode, CompileError, CompileErrorCode, Compiler, CompletionItemInsertTextRule, CompletionItemKind, DBMLCompletionItemProvider, DBMLDefinitionProvider, DBMLDiagnosticsProvider, DBMLReferencesProvider, DEFAULT_ENTRY, ElementDeclarationNode, ElementKind, EmptyNode, FALSY_VALUES, Filepath, FunctionApplicationNode, FunctionExpressionNode, GroupExpressionNode, IdentifierStreamNode, InfixExpressionNode, ListExpressionNode, LiteralNode, MarkerSeverity, MemoryProjectLayout, PostfixExpressionNode, PrefixExpressionNode, PrimaryExpressionNode, ProgramNode, ScopeKind, SymbolKind, SyntaxNode, SyntaxNodeIdGenerator, SyntaxNodeKind, SyntaxToken, SyntaxTokenKind, TRUTHY_VALUES, TupleExpressionNode, UNHANDLED, URI as Uri, UseDeclarationNode, UseSpecifierListNode, UseSpecifierNode, VariableNode, WildcardNode, addDoubleQuoteIfNeeded, dbmlLanguageConfig, dbmlMonarchTokensProvider, escapeString, extractNumericLiteral, extractSignedNumber, formatRecordValue, getRecordValueType, isBinaryType, isBooleanType, isDateTimeType, isEmptyStringLiteral, isFloatType, isFunctionExpression, isIntegerType, isNullish, isNumericType, isOp, isOpToken, isSerialType, isStringType, isTriviaToken, isValidIdentifier, normalizeTypeName, splitQualifiedIdentifier, tryExtractBoolean, tryExtractDateTime, tryExtractEnum, tryExtractInteger, tryExtractNumeric, tryExtractString, unescapeString, validateForeignKeys, validatePrimaryKey, validateUnique };

package/dist/src/compiler/index.d.ts

@@ -47,7 +47,7 @@ export default class Compiler {
     symbolUses: (symbol: import('../core/types/symbol').NodeSymbol) => import('../core/types/report').default<import('../core/types/symbol').UseSymbol[]>;
     fileDependencies: (filepath: Filepath) => Filepath[];
     reachableFiles: (entry?: Filepath | undefined) => Filepath[];
-    usableMembers: (symbolOrFilepath: Filepath | import('../core/types/symbol').SchemaSymbol) => import('../core/types/report').default<{
+    usableMembers: (symbolOrFilepath: Filepath | import('../core/types/symbol').ProgramSymbol | import('../core/types/symbol').SchemaSymbol) => import('../core/types/report').default<{
         nonSchemaMembers: import('../core/types/symbol').NodeSymbol[];
         schemaMembers: import('../core/types/symbol').SchemaSymbol[];
         reuses: {

package/dist/src/compiler/queries/files/usableMembers.d.ts

@@ -2,8 +2,8 @@ import { default as Compiler } from '../..';
 import { Filepath } from '../../../core/types/filepath';
 import { ElementDeclarationNode, UseSpecifierNode, WildcardNode } from '../../../core/types/nodes';
 import { default as Report } from '../../../core/types/report';
-import { NodeSymbol, SchemaSymbol } from '../../../core/types/symbol';
-export declare function usableMembers(this: Compiler, symbolOrFilepath: SchemaSymbol | Filepath): Report<{
+import { NodeSymbol, SchemaSymbol, ProgramSymbol } from '../../../core/types/symbol';
+type UsableResult = {
     nonSchemaMembers: NodeSymbol[];
     schemaMembers: SchemaSymbol[];
     reuses: {
@@ -20,7 +20,8 @@ export declare function usableMembers(this: Compiler, symbolOrFilepath: SchemaSy
             node: WildcardNode;
         }[];
     };
-}>;
+};
+export declare function usableMembers(this: Compiler, symbolOrFilepath: SchemaSymbol | ProgramSymbol | Filepath): Report<UsableResult>;
 export type SchemaMembership = {
     kind: 'direct';
 } | {
@@ -30,3 +31,4 @@ export type SchemaMembership = {
     kind: 'none';
 };
 export declare function schemaMembership(compiler: Compiler, schema: SchemaSymbol, element: ElementDeclarationNode | UseSpecifierNode): SchemaMembership;
+export {};

package/dist/src/core/global_modules/records/utils/index.d.ts

@@ -1 +1,2 @@
 export * from './data';
+export * from './constraints';

package/package.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://json.schemastore.org/package",
   "name": "@dbml/parse",
-  "version": "8.0.0-alpha.0",
+  "version": "8.0.0-alpha.5",
   "description": "DBML parser v2",
   "author": "Holistics <dev@holistics.io>",
   "license": "Apache-2.0",
@@ -45,5 +45,5 @@
   "engines": {
     "node": ">=18"
   },
-  "gitHead": "4b99e7eab601b7d53e268d5d80048ee035614a79"
+  "gitHead": "2e6795b120c2ca4f16bb542295b2152f091d6ed9"
 }