diff options
| author | acolyer <acolyer> | 2005-09-09 11:10:49 +0000 |
|---|---|---|
| committer | acolyer <acolyer> | 2005-09-09 11:10:49 +0000 |
| commit | dc4ba2950b8ad87956d93eba5110d7a18288021c (patch) | |
| tree | 5ff03a54fdffdf04c369ca668a490d292725f672 /docs | |
| parent | a9ca915dc39c87267a7a763d51e87a819e9799c7 (diff) | |
| download | aspectj-dc4ba2950b8ad87956d93eba5110d7a18288021c.tar.gz aspectj-dc4ba2950b8ad87956d93eba5110d7a18288021c.zip | |
clarification of args matching with null for pr68603.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/progGuideDB/semantics.xml | 5 |
1 files changed, 4 insertions, 1 deletions
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> |