Allow $ANYVERSION token in Go package names

This commit is contained in:
Chris Smowton
2023-03-27 16:02:58 +01:00
parent 477341dd3b
commit 8a06ca5a43

View File

@@ -206,7 +206,7 @@ module ModelValidation {
or
summaryModel(package, type, _, name, signature, ext, _, _, _, provenance) and pred = "summary"
|
not package.regexpMatch("[a-zA-Z0-9_\\./-]*") and
not package.replaceAll("$ANYVERSION", "").regexpMatch("[a-zA-Z0-9_\\./-]*") and
result = "Dubious package \"" + package + "\" in " + pred + " model."
or
not type.regexpMatch("[a-zA-Z0-9_\\$<>]*") and