Skip to content

Commit ffd1456

Browse files
committed
Java: Update MaD external documentation related to With and Without Element.
1 parent a8ccc8d commit ffd1456

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

docs/codeql/codeql-language-guides/customizing-library-models-for-java.rst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -397,6 +397,8 @@ The following components are supported:
397397
- **SyntheticGlobal[**\ `name`\ **]** selects the synthetic global with name `name`.
398398
- **ArrayElement** selects the elements of an array.
399399
- **Element** selects the elements of a collection-like container.
400+
- **WithoutElement** selects a collection-like container without its elements (input only).
401+
- **WithElement** selects the elements of a collection-like container but not the container itself (input only).
400402
- **MapKey** selects the element keys of a map.
401403
- **MapValue** selects the element values of a map.
402404

0 commit comments

Comments
 (0)