Changeset 171 for trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/windows/HandlerDestroy.java

Timestamp:

09/09/11 06:23:36 (13 years ago)

Author:

sherbold

Message:

• code documentation and formatting

File:

• trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/windows/HandlerDestroy.java (modified) (1 diff)

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/windows/HandlerDestroy.java

@@ -3 +3 @@
 import de.ugoe.cs.eventbench.windows.data.WindowTree;
 
+/**
+ * <p>
+ * Handler for {@code WM_DESTROY} message. The handler maintains the
+ * {@link WindowTree}.
+ * </p>
+ * 
+ * @author Steffen Herbold
+ * @version 1.0
+ */
 public class HandlerDestroy extends MessageHandler {
 
+        /**
+         * <p>
+         * Constructor. Creates a new HandlerDestroy.
+         * </p>
+         */
         public HandlerDestroy() {
                 super();
         }
 
+        /**
+         * <p>
+         * HWND of the window that is destroyed.
+         * </p>
+         */
         private int hwnd;
-        
+
+        /*
+         * (non-Javadoc)
+         * 
+         * @see de.ugoe.cs.eventbench.windows.MessageHandler#onEndElement()
+         */
         @Override
         public void onEndElement() {
-                if( hwnd!=0 ) {
+                if (hwnd != 0) {
                         WindowTree.getInstance().remove(hwnd);
                 }
         }
 
+        /*
+         * (non-Javadoc)
+         * 
+         * @see
+         * de.ugoe.cs.eventbench.windows.MessageHandler#onParameter(java.lang.String
+         * , java.lang.String)
+         */
         @Override
         public void onParameter(String name, String value) {
-                if( name.equals("window.hwnd") ) {
+                if (name.equals("window.hwnd")) {
                         hwnd = Integer.parseInt(value);
                 }
         }
 
+        /*
+         * (non-Javadoc)
+         * 
+         * @see de.ugoe.cs.eventbench.windows.MessageHandler#onStartElement()
+         */
         @Override
         public void onStartElement() {