Java/Kotlin: Allow dashes in callable names (the Kotlin standard library contains methods with dashes).

This commit is contained in:
Michael Nebel
2022-11-30 15:11:13 +01:00
parent d9e4aafe3a
commit 42411fd455

View File

@@ -555,7 +555,7 @@ module ModelValidation {
not type.regexpMatch("[a-zA-Z0-9_\\$<>]+") and
result = "Dubious type \"" + type + "\" in " + pred + " model."
or
not name.regexpMatch("[a-zA-Z0-9_]*") and
not name.regexpMatch("[a-zA-Z0-9_\\-]*") and
result = "Dubious name \"" + name + "\" in " + pred + " model."
or
not signature.regexpMatch("|\\([a-zA-Z0-9_\\.\\$<>,\\[\\]]*\\)") and