Skip to content

Commit 7c5da59

Browse files
committed
Merge branch 'mr/thevenoux-langkit-query-language#551' into 'master'
Update stdlib documentation See merge request eng/libadalang/langkit-query-language!557
2 parents ebf7de2 + 51b7954 commit 7c5da59

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

user_manual/generated/stdlib.rst

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -108,6 +108,11 @@ Functions
108108
Return true if ``param`` (a ``ParamActual``) has a non aliased by-copy
109109
type
110110

111+
.. function:: is_by_ref(param)
112+
113+
Get whether the provided parameter (a ``ParamActual``) type is a
114+
by-reference" type as defined in the reference manual at 6.2(4-9).
115+
111116
.. function:: is_classwide_type(t)
112117

113118
Return true if t is a classwide TypeDecl.
@@ -186,6 +191,11 @@ Functions
186191
Get whether the given node is a Name representing the standard True
187192
literal.
188193

194+
.. function:: is_subject_to_predicate(decl)
195+
196+
Return whether the provided declaration is subject to a dynamic or
197+
static predicate.
198+
189199
.. function:: is_tasking_construct(node)
190200

191201
Returns whether the given node is a construct related to Ada tasking,

0 commit comments

Comments
 (0)