allow empty namespaces for Go

This commit is contained in:
Sauyon Lee
2021-11-22 01:04:19 -08:00
committed by Owen Mansel-Chan
parent 70c9ca5611
commit 070e383516

View File

@@ -255,7 +255,7 @@ module CsvValidation {
or
summaryModel(namespace, type, _, name, signature, ext, _, _, _) and pred = "summary"
|
not namespace.regexpMatch("[a-zA-Z0-9_\\./]+") and
not namespace.regexpMatch("[a-zA-Z0-9_\\./]*") and
msg = "Dubious namespace \"" + namespace + "\" in " + pred + " model."
or
not type.regexpMatch("[a-zA-Z0-9_\\$<>]*") and