/**
  * Call back method that must be called as soon as the given <code>
  * ArrayElementAccess</code> object has been traversed.
  *
  * @param pArrayElementAccess  The <code>ArrayElementAccess</code> object
  *                             that has just been traversed.
  */
 public void actionPerformed(
      
     ArrayElementAccess pArrayElementAccess)
 {
     // Nothing to do.
 }
 /**
  * Call back method that must be called when the given <code>
  * ArrayElementAccess</code> will become the next <i>traverse candidate</i>.
  *
  * @param pArrayElementAccess  The <code>ArrayElementAccess</code> object
  *                             that will become the next <i>traverse
  *                             candidate</i>.
  */
 public void performAction(
      
     ArrayElementAccess pArrayElementAccess)
 {
     // Nothing to do.
 }