@@ -212,20 +212,20 @@ module ModelValidation {
212
212
result = "Invalid kind \"" + kind + "\" in summary model."
213
213
)
214
214
or
215
- exists ( string kind | sinkModel ( _, _, _, _, _, _, _, kind , _) |
215
+ exists ( string kind , string msg | sinkModel ( _, _, _, _, _, _, _, kind , _) |
216
216
not kind instanceof ValidSinkKind and
217
- result = "Invalid kind \"" + kind + "\" in sink model."
218
- )
219
- or
220
- exists ( string kind , string msg | sourceModel ( _, _, _, _, _, _, _, kind , _) |
221
- not kind instanceof ValidSourceKind and
222
217
msg = "Invalid kind \"" + kind + "\" in sink model." and
223
218
// The part of this message that refers to outdated sink kinds can be deleted after June 1st, 2024.
224
219
if kind instanceof OutdatedSinkKind
225
220
then result = msg + " " + kind .( OutdatedSinkKind ) .outdatedMessage ( )
226
221
else result = msg
227
222
)
228
223
or
224
+ exists ( string kind | sourceModel ( _, _, _, _, _, _, _, kind , _) |
225
+ not kind instanceof ValidSourceKind and
226
+ result = "Invalid kind \"" + kind + "\" in source model."
227
+ )
228
+ or
229
229
exists ( string kind | neutralModel ( _, _, _, _, kind , _) |
230
230
not kind instanceof ValidNeutralKind and
231
231
result = "Invalid kind \"" + kind + "\" in neutral model."
0 commit comments