ch.uzh.ifi.attempto.acewiki.gui
Class ErrorPage

java.lang.Object
  nextapp.echo.app.Component
      nextapp.echo.app.Column
          ch.uzh.ifi.attempto.acewiki.gui.WikiPage
              ch.uzh.ifi.attempto.acewiki.gui.ErrorPage

All Implemented Interfaces:

java.io.Serializable, nextapp.echo.app.RenderIdSupport

public class ErrorPage
extends WikiPage

This page shows an error message. It is used if a page should be shown that does not exist anymore, e.g. because its ontology element has been deleted.

Author:

Tobias Kuhn

See Also:

Serialized Form

Field Summary

Fields inherited from class nextapp.echo.app.Column

PROPERTY_BORDER, PROPERTY_CELL_SPACING, PROPERTY_INSETS

Fields inherited from class nextapp.echo.app.Component

CHILD_VISIBLE_CHANGED_PROPERTY, CHILDREN_CHANGED_PROPERTY, ENABLED_CHANGED_PROPERTY, FOCUS_NEXT_ID_CHANGED_PROPERTY, FOCUS_PREVIOUS_ID_CHANGED_PROPERTY, LAYOUT_DIRECTION_CHANGED_PROPERTY, LOCALE_CHANGED_PROPERTY, PROPERTY_BACKGROUND, PROPERTY_FONT, PROPERTY_FOREGROUND, PROPERTY_LAYOUT_DATA, STYLE_CHANGED_PROPERTY, STYLE_NAME_CHANGED_PROPERTY, VISIBLE_CHANGED_PROPERTY

Constructor Summary

ErrorPage(Wiki wiki, java.lang.String text)
Creates a new error page.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	toString()

Methods inherited from class ch.uzh.ifi.attempto.acewiki.gui.WikiPage

addHeadline, addHeadline, addHorizontalLine, addSelectedTab, addTab, doUpdate, getHeading, getWiki, isExpired, log, update

Methods inherited from class nextapp.echo.app.Column

getBorder, getCellSpacing, getInsets, setBorder, setCellSpacing, setInsets

Methods inherited from class nextapp.echo.app.Component

add, add, addPropertyChangeListener, addPropertyChangeListener, dispose, firePropertyChange, get, getApplicationInstance, getBackground, getComponent, getComponent, getComponentCount, getComponents, getEventListenerList, getFocusNextId, getFocusPreviousId, getFont, getForeground, getId, getIndex, getLayoutData, getLayoutDirection, getLocale, getLocalStyle, getParent, getRenderId, getRenderIndexedProperty, getRenderIndexedProperty, getRenderLocale, getRenderProperty, getRenderProperty, getStyle, getStyleName, getVisibleComponent, getVisibleComponentCount, getVisibleComponents, hasEventListenerList, indexOf, init, isAncestorOf, isEnabled, isFocusTraversalParticipant, isRegistered, isRenderEnabled, isRenderVisible, isValidChild, isValidParent, isVisible, processInput, remove, remove, removeAll, removePropertyChangeListener, removePropertyChangeListener, set, setBackground, setComponents, setEnabled, setFocusNextId, setFocusPreviousId, setFocusTraversalParticipant, setFont, setForeground, setId, setIndex, setLayoutData, setLayoutDirection, setLocale, setRenderId, setStyle, setStyleName, setVisible, validate, verifyInput, visibleIndexOf

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ErrorPage

public ErrorPage(Wiki wiki,
                 java.lang.String text)

Creates a new error page.

Parameters:

wiki - The wiki instance.

text - The error text.

Method Detail

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class WikiPage

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object