mirror of
https://github.com/murashit/codex-panel.git
synced 2026-07-22 06:57:10 +00:00
19 lines
579 B
Text
19 lines
579 B
Text
language js
|
|
|
|
private pattern js_module_reference() {
|
|
or {
|
|
JsImport(),
|
|
JsExportNamedFromClause(),
|
|
JsExportFromClause(),
|
|
TsImportType(),
|
|
JsImportCallExpression()
|
|
}
|
|
}
|
|
|
|
js_module_reference() as $stmt where {
|
|
$stmt <: contains `$source` where {
|
|
$source <: r"^[\"'].*generated/app-server/.*[\"']$",
|
|
not { $source <: r"^[\"'].*generated/app-server/(?:RequestId|ServerRequest)[\"']$" }
|
|
},
|
|
register_diagnostic(span=$stmt, message="Only generated RequestId and ServerRequest are allowed in the server request protocol exception.", severity="error")
|
|
}
|