Author: [EMAIL PROTECTED] Date: Wed Nov 12 15:21:47 2008 New Revision: 4039
Modified: branches/1_6_clean_events/user/src/com/google/gwt/event/shared/DefaultHandlerRegistration.java Log: Making all the fields final in the default handler registry. Modified: branches/1_6_clean_events/user/src/com/google/gwt/event/shared/DefaultHandlerRegistration.java ============================================================================== --- branches/1_6_clean_events/user/src/com/google/gwt/event/shared/DefaultHandlerRegistration.java (original) +++ branches/1_6_clean_events/user/src/com/google/gwt/event/shared/DefaultHandlerRegistration.java Wed Nov 12 15:21:47 2008 @@ -22,9 +22,9 @@ */ public class DefaultHandlerRegistration implements HandlerRegistration { - private HandlerManager manager; - EventHandler handler; - private Type<?> type; + private final HandlerManager manager; + private final EventHandler handler; + private final Type<?> type; /** * Creates a new handler registration. @@ -45,7 +45,7 @@ /** * Removes the given handler from its manager. */ - @SuppressWarnings("unchecked") + @SuppressWarnings({"unchecked", "deprecation"}) // This is safe because when the elements were passed in they conformed to // Type<H>,H. public void removeHandler() { --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---