From a7d57dab76b3a8dda616ea0e1e0f0afc1504bf60 Mon Sep 17 00:00:00 2001
From: ehilsdal <ehilsdal>
Date: Mon, 23 Aug 2004 01:33:22 +0000
Subject: [PATCH] Fix for bugzilla bug 71404:   Define MethodPattern,
 FieldPattern, ConstructorPattern terms

---
 docs/progGuideDB/semantics.xml | 40 +++++++++++++++++++++++++++++++---
 1 file changed, 37 insertions(+), 3 deletions(-)

diff --git a/docs/progGuideDB/semantics.xml b/docs/progGuideDB/semantics.xml
index a64dd8101..260efa221 100644
--- a/docs/progGuideDB/semantics.xml
+++ b/docs/progGuideDB/semantics.xml
@@ -460,8 +460,8 @@
         <listitem>
           Picks out each join point where the currently executing object
           (the object bound to <literal>this</literal>) is an instance of
-          <replaceable>Type</replaceable>, or of the type of
-          <replaceable>Id</replaceable> (which must be bound in the enclosing
+          <replaceable>Type</replaceable>, or of the type of the
+          identifier <replaceable>Id</replaceable> (which must be bound in the enclosing
           advice or pointcut definition).
           Will not match any join points from static contexts.
         </listitem>
@@ -472,7 +472,7 @@
         <listitem>
           Picks out each join point where the target object (the object
           on which a call or field operation is applied to) is an instance of
-          <replaceable>Type</replaceable>, or of the type of
+          <replaceable>Type</replaceable>, or of the type of the identifier
           <replaceable>Id</replaceable> (which must be bound in the enclosing
           advice or pointcut definition).
           Will not match any calls, gets, or sets of static members.
@@ -1482,6 +1482,40 @@
       </sect3>
     </sect2>
 
+    <sect2>
+      <title>Pattern Summary</title>
+
+      <para>
+        Here is a summary of the pattern syntax used in AspectJ:
+      </para>
+
+<programlisting>
+MethodPattern = 
+  [ModifiersPattern] TypePattern 
+        [TypePattern . ] IdPattern (TypePattern | ".." , ... ) 
+        [ throws ThrowsPattern ]
+ConstructorPattern = 
+  [ModifiersPattern ] 
+        [TypePattern . ] new (TypePattern | ".." , ...) 
+        [ throws ThrowsPattern ]
+FieldPattern = 
+  [ModifiersPattern] TypePattern [TypePattern . ] IdPattern
+ThrowsPattern = 
+  [ ! ] TypePattern , ...
+TypePattern = 
+    IdPattern [ + ] [ [] ... ]
+    | ! TypePattern
+    | TypePattern <![CDATA[&&]]> TypePattern
+    | TypePattern || TypePattern
+    | ( TypePattern )  
+IdPattern =
+  Sequence of characters, possibly with special * and .. wildcards
+ModifiersPattern =
+  [ ! ] JavaModifier  ...
+</programlisting>
+
+    </sect2>
+
   </sect1>
 
 <!-- ============================== -->
-- 
2.39.5