Skip to content

Commit 398f041

Browse files
Update csharp/ql/lib/semmle/code/csharp/frameworks/microsoft/aspnetcore/Components.qll
Co-authored-by: Michael Nebel <[email protected]>
1 parent 32448c1 commit 398f041

File tree

1 file changed

+5
-9
lines changed
  • csharp/ql/lib/semmle/code/csharp/frameworks/microsoft/aspnetcore

1 file changed

+5
-9
lines changed

csharp/ql/lib/semmle/code/csharp/frameworks/microsoft/aspnetcore/Components.qll

Lines changed: 5 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -197,15 +197,11 @@ private predicate matchingOpenCloseComponentCalls(
197197
closeCall.getEnclosingCallable() = enclosing and
198198
closeCall.getParent().getParent() = openCall.getParent().getParent() and
199199
openCall.getParent().getIndex() = openCallIndex and
200-
closeCall.getParent().getIndex() = closeCallIndex and
201-
closeCallIndex > openCallIndex and
202-
not exists(int k, MethodCall otherCloseCall |
203-
k in [openCallIndex + 1 .. closeCallIndex - 1] and
204-
otherCloseCall.getTarget() instanceof MicrosoftAspNetCoreComponentsCloseComponentMethod and
205-
otherCloseCall.getEnclosingCallable() = enclosing and
206-
otherCloseCall.getParent().getParent() = openCall.getParent().getParent() and
207-
otherCloseCall.getParent().getIndex() = k
208-
)
200+
closeCallIndex =
201+
min(int closeCallIndex0 |
202+
closeCall.getParent().getIndex() = closeCallIndex0 and
203+
closeCallIndex0 > openCallIndex
204+
)
209205
}
210206

211207
private module JumpNodes {

0 commit comments

Comments
 (0)