edu.stanford.protege.widgetmap.client.view.ViewTitleChangedEvent Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of widgetmap Show documentation
Show all versions of widgetmap Show documentation
widgetmap is a GWT library that provides a treemap-like nesting for Widget
package edu.stanford.protege.widgetmap.client.view;
import com.google.gwt.event.shared.GwtEvent;
/**
* Author: Matthew Horridge
* Stanford University
* Bio-Medical Informatics Research Group
* Date: 05/12/2013
*/
public class ViewTitleChangedEvent extends GwtEvent {
private static final Type TYPE = new Type();
private String viewTitle;
public ViewTitleChangedEvent(String viewTitle) {
this.viewTitle = viewTitle;
}
public String getViewTitle() {
return viewTitle;
}
public static Type getType() {
return TYPE;
}
@Override
public Type getAssociatedType() {
return TYPE;
}
/**
* Should only be called by {@link com.google.gwt.event.shared.HandlerManager}. In other words, do not use
* or call.
*
* @param handler handler
*/
@Override
protected void dispatch(ViewTitleChangedHandler handler) {
handler.handleViewTitleChanged(this);
}
@Override
public int hashCode() {
return "ViewTitleChangedEvent".hashCode() + viewTitle.hashCode();
}
@Override
public boolean equals(Object obj) {
if (obj == this) {
return true;
}
if (!(obj instanceof ViewTitleChangedEvent)) {
return false;
}
ViewTitleChangedEvent other = (ViewTitleChangedEvent) obj;
return this.viewTitle.equals(other.viewTitle);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy