From dc4ba2950b8ad87956d93eba5110d7a18288021c Mon Sep 17 00:00:00 2001
From: acolyer <acolyer>
Date: Fri, 9 Sep 2005 11:10:49 +0000
Subject: clarification of args matching with null for pr68603.

---
 docs/progGuideDB/semantics.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'docs/progGuideDB')

diff --git a/docs/progGuideDB/semantics.xml b/docs/progGuideDB/semantics.xml
index fe4d11322..84d318a06 100644
--- a/docs/progGuideDB/semantics.xml
+++ b/docs/progGuideDB/semantics.xml
@@ -484,7 +484,10 @@
         <term><literal>args(<replaceable>Type</replaceable> or <replaceable>Id</replaceable>, ...)</literal></term>
         <listitem>
           Picks out each join point where the arguments are instances of
-          a type of the appropriate type pattern or identifier.
+          the appropriate type (or type of the identifier if using that form). A
+          <literal>null</literal> argument is matched iff the static type of the 
+          argument (declared parameter type or field type) is the same as, or a subtype of,
+          the specified args type. 
         </listitem>
       </varlistentry>
 
-- 
cgit v1.2.3