Skip to content

Commit 76e6f81

Browse files
committed
C#: Allow for explicit interface names in MaD consistency check
1 parent 136adb2 commit 76e6f81

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/ExternalFlow.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -228,7 +228,7 @@ module ModelValidation {
228228
not type.regexpMatch("[a-zA-Z0-9_<>,\\+]+") and
229229
result = "Dubious type \"" + type + "\" in " + pred + " model."
230230
or
231-
not name.regexpMatch("[a-zA-Z0-9_<>,]*") and
231+
not name.regexpMatch("[a-zA-Z0-9_<>,\\.]*") and
232232
result = "Dubious member name \"" + name + "\" in " + pred + " model."
233233
or
234234
not signature.regexpMatch("|\\([a-zA-Z0-9_<>\\.\\+\\*,\\[\\]]*\\)") and

0 commit comments

Comments
 (0)