We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ab77d02 commit 52583d0Copy full SHA for 52583d0
docs/language/ql-handbook/types.rst
@@ -147,7 +147,11 @@ predicate from the :ref:`above <defining-class>` class::
147
148
1.(OneTwoThree).getAString()
149
150
-This call returns the results ``"One, two or three: 1"``.
+This call returns the result ``"One, two or three: 1"``.
151
+
152
+The expression ``(OneTwoThree)`` is a :ref:`cast <casts>`. It ensures that ``1`` has type
153
+``OneTwoThree`` instead of just ``int``. Therefore, it has access to the member predicate
154
+``getAString()``.
155
156
Member predicates are especially useful because you can chain them together. For example, you
157
can use ``toUpperCase()``, a built-in function defined for ``string``::
0 commit comments