Fix validation regexes for go

This commit is contained in:
Sauyon Lee
2021-09-23 11:54:13 -07:00
committed by Owen Mansel-Chan
parent 0151cd4f2e
commit aa747ea5ff

View File

@@ -258,10 +258,10 @@ 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
not type.regexpMatch("[a-zA-Z0-9_\\$<>]*") and
msg = "Dubious type \"" + type + "\" in " + pred + " model."
or
not name.regexpMatch("[a-zA-Z0-9_]*") and