proactive bug fix (bug not entered) making a short example

in semantics guide more meaningful

diff --git a/docs/progGuideDB/semantics.xml b/docs/progGuideDB/semantics.xml
index ba16b849cf7bd789b612ee5e84a058e178655359..b7325114e3191f817c63a0d86a0880bf7b6a8c9f 100644 (file)
--- a/docs/progGuideDB/semantics.xml
+++ b/docs/progGuideDB/semantics.xml
@@ -621,13 +621,13 @@
           All set join points are treated as having one argument, the value the
           field is being set to, so at a set join point, that value can be
           accessed with an <literal>args</literal> pointcut.  So an aspect
-          guarding an integer variable x declared in type T might be written as
+          guarding a static integer variable x declared in type T might be written as
         </para>
 
 <programlisting><![CDATA[
   aspect GuardedX {
       static final int MAX_CHANGE = 100;
-      before(int newval): set(int T.x) && args(newval) {
+      before(int newval): set(static int T.x) && args(newval) {
          if (Math.abs(newval - T.x) > MAX_CHANGE)
              throw new RuntimeException();
       }