de.must.wuic

Class MustFrame

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Frame

javax.swing.JFrame

de.must.wuic.MustFrame

All Implemented Interfaces:

AppTextResource, ContextHelp, java.awt.event.ComponentListener, java.awt.event.WindowListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

Direct Known Subclasses:

BatchThreadControllerFrame, InterruptableThread, MustFrameWithStatusLabel, ParameterFrame, PreviewFrame, TableAdministration, TreeFrame

public abstract class MustFrame
extends javax.swing.JFrame
implements ContextHelp, AppTextResource, java.awt.event.WindowListener, java.awt.event.ComponentListener

A frame with context help, personalization and control about all instances.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Nested classes/interfaces inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes/interfaces inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field and Description
protected java.awt.Cursor	defaultCursor
protected java.awt.Frame	ownerFrame
protected java.awt.Cursor	waitCursor

Fields inherited from class javax.swing.JFrame

accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Constructors

Constructor and Description
MustFrame()

Method Summary

Modifier and Type	Method and Description
abstract boolean	acceptsClosingDueToInactivity() Returns true if frame accepts closing due to inactivity.
protected boolean	adjustSizeToPlausibleValue() Checks whether the width laid out by user is less then the width resulting by pack(), resizes the frame in this case to the packed value and returns true.
static void	bringToFrontAll() Brings to front all frames registered as main instance.
static void	closeAll() Closes all registered frame instances except the main frame (mostly the menu).
static void	closeAll(boolean respectUserInput) Closes all registered frame instances except the main frame (mostly the menu).
static void	closeAllDueToInactivity() Closes all frames that accept closing due to inactivity.
void	closeInstance() Closes the instance after reminding size and position of the frame as it was laid-out by the user.
static boolean	closeMainInstance(java.lang.Class<? extends java.awt.Frame> wishedFrameClass) Closes the main instance of a frame if allowed.
void	componentHidden(java.awt.event.ComponentEvent e) Called when component is hidden.
void	componentMoved(java.awt.event.ComponentEvent e) Called when component is moved.
void	componentResized(java.awt.event.ComponentEvent e) Called when component is resized.
void	componentShown(java.awt.event.ComponentEvent e) Called when component is shown.
static void	deiconifyAllExept(MustFrame exceptFrame)
void	deregisterAsMainInstance() Deregisters this frame.
void	destroy() Destroys the frame.
protected void	finalize()
protected void	free() Frees (releases) references caused by this frame, particularly static register entries.
void	generalActionBeginnung() General action at the beginning of proceeding user's interaction.
java.lang.String	getAppResStr(java.lang.String resourceKey) Returns a text in the corresponding language according to the locale specific resource bundle.
MustFrame	getFrame()
java.lang.String	getHelpTarget() Returns the target of the component's help context
java.lang.String	getHelpTopic() Returns the topic of the component's help context
java.util.Locale	getLocale()
static MustFrame	getOrCreateMainInstance(java.lang.Class<? extends java.awt.Frame> wishedFrameClass) Returns the main instance of frame class after creating it, if not available.
static MustFrame	getOrCreateMainInstance(java.lang.Class<? extends java.awt.Frame> wishedFrameClass, java.awt.Frame ownerFrame) Returns the main instance of frame class after creating it, if not available.
protected java.lang.String	getTranslation(java.lang.String resourceKey) Returns a text in the corresponding language according to the locale specific resource bundle of the package.
static void	iconifyAllExept(MustFrame exceptFrame)
boolean	isCached() Returns true if this frame is cached.
abstract boolean	isClosingAllowed(int closeConfirmId) Returns true if closing of the window is allowed.
static boolean	isClosingAllowedForAllFrames() Return true if all frames agree to be closed.
boolean	isLaidOut() Returns true if the frame has already been laid-out.
boolean	isRevivable() Returns true if the frame may be reused - if it hasn't been destroyed.
protected void	locateInCenter() Centers the frame on screen.
protected void	logDebug(java.lang.String text) Logs a message as a debug information.
protected void	logError(java.lang.String text) Logs a message as an error.
protected void	logError(java.lang.String text, java.lang.Throwable throwable) Logs a message as an error.
protected void	logError(java.lang.Throwable throwable) Logs a message as an error.
protected void	logInfo(java.lang.String text) Logs a message as information.
protected void	maximizeToBottomAndRight()
void	open() Sets the visibility of the frame and sets the window state to normal if it is iconified and brings the window to front.
protected void	packAndLocateInCenter() Packs the frame and centers it.
protected void	packAndLocateInCenterIfNotLaidOut() Packs the frame and centers it, if it was't already laid-out.
protected void	packIfNotLaidOut() Packs the frame if it isn't already laid-out by user.
protected void	popupMessage(java.lang.String messageToKeep)
protected void	reInitialize() Called after a main instance of the requested frame class was found to initialize the appearance.
static void	setDefaultIconImage(java.awt.Image image) Sets the default icon image for all frames.
static void	setDefaultIconImages(java.util.List<? extends java.awt.Image> icons)
void	setHelpContext(java.lang.String helpTopic) Sets the component's context help.
void	setHelpContext(java.lang.String helpTopic, java.lang.String helpTarget) Sets the component's context help.
protected void	setIconImages(java.lang.String[] imageIconNames, ImageResource imageResource)
static void	setLocaleStatically(java.util.Locale locale)
void	setTitle(java.lang.String title)
void	toFront()
void	windowActivated(java.awt.event.WindowEvent e) Called when window is activated.
void	windowClosed(java.awt.event.WindowEvent e) Called when window is closed.
void	windowClosing(java.awt.event.WindowEvent e) Called when window is going to be closed.
void	windowDeactivated(java.awt.event.WindowEvent e) Called when window is deactivated.
void	windowDeiconified(java.awt.event.WindowEvent e) Called when window is closed.
void	windowIconified(java.awt.event.WindowEvent e) Called when window is iconified.
void	windowOpened(java.awt.event.WindowEvent e) Called when window is opened.

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update

Methods inherited from class java.awt.Frame

addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, show, toBack

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

ownerFrame

protected java.awt.Frame ownerFrame

defaultCursor

protected java.awt.Cursor defaultCursor

waitCursor

protected java.awt.Cursor waitCursor

Constructor Detail

MustFrame

public MustFrame()

Method Detail

setDefaultIconImage

public static void setDefaultIconImage(java.awt.Image image)

Sets the default icon image for all frames. Sample: MustFrame.setDefaultIconImage(Toolkit.getDefaultToolkit().getImage("images/mydefault.png"));

Parameters:

image - the default icon image

setDefaultIconImages

public static void setDefaultIconImages(java.util.List<? extends java.awt.Image> icons)

setLocaleStatically

public static void setLocaleStatically(java.util.Locale locale)

getOrCreateMainInstance

public static MustFrame getOrCreateMainInstance(java.lang.Class<? extends java.awt.Frame> wishedFrameClass)

Returns the main instance of frame class after creating it, if not available.

Parameters:

wishedFrameClass - the class of the frame to be retrieved

Returns:

the retrieved or created frame object

getOrCreateMainInstance

public static MustFrame getOrCreateMainInstance(java.lang.Class<? extends java.awt.Frame> wishedFrameClass,
                                                java.awt.Frame ownerFrame)

Returns the main instance of frame class after creating it, if not available.

Parameters:

wishedFrameClass - the class of the frame to be retrieved

ownerFrame - the frame, from where the new wished frame is opened

Returns:

the retrieved or created frame object

closeMainInstance

public static boolean closeMainInstance(java.lang.Class<? extends java.awt.Frame> wishedFrameClass)

Closes the main instance of a frame if allowed.

Parameters:

wishedFrameClass - the frame class whose main instance should be closed

Returns:

true if closing was processed or no instance existed, false if it wasn't allowed

isClosingAllowedForAllFrames

public static boolean isClosingAllowedForAllFrames()

Return true if all frames agree to be closed.

Returns:

true if all frames agree to be closed

iconifyAllExept

public static void iconifyAllExept(MustFrame exceptFrame)

deiconifyAllExept

public static void deiconifyAllExept(MustFrame exceptFrame)

bringToFrontAll

public static void bringToFrontAll()

Brings to front all frames registered as main instance.

closeAll

public static void closeAll()

Closes all registered frame instances except the main frame (mostly the menu).

closeAll

public static void closeAll(boolean respectUserInput)

Closes all registered frame instances except the main frame (mostly the menu).

closeAllDueToInactivity

public static void closeAllDueToInactivity()

Closes all frames that accept closing due to inactivity.

setIconImages

protected void setIconImages(java.lang.String[] imageIconNames,
                             ImageResource imageResource)

setTitle

public void setTitle(java.lang.String title)

Overrides:

setTitle in class java.awt.Frame

open

public void open()

Sets the visibility of the frame and sets the window state to normal if it is iconified and brings the window to front.

isRevivable

public boolean isRevivable()

Returns true if the frame may be reused - if it hasn't been destroyed.

Returns:

true if the frame may be reused

See Also:

destroy()

reInitialize

protected void reInitialize()

Called after a main instance of the requested frame class was found to initialize the appearance.

getLocale

public java.util.Locale getLocale()

Overrides:

getLocale in class java.awt.Window

getTranslation

protected java.lang.String getTranslation(java.lang.String resourceKey)

Returns a text in the corresponding language according to the locale specific resource bundle of the package.

Parameters:

resourceKey - the key of the resource to retrieve

Returns:

the resource

isLaidOut

public boolean isLaidOut()

Returns true if the frame has already been laid-out. This happens, when a user first uses the frame. For personalization, position and size of the frame is stored in a user specific local file.

Returns:

true if the frame has already been laid-out

See Also:

WinContr

packIfNotLaidOut

protected void packIfNotLaidOut()

Packs the frame if it isn't already laid-out by user.

locateInCenter

protected void locateInCenter()

Centers the frame on screen.

packAndLocateInCenter

protected void packAndLocateInCenter()

Packs the frame and centers it.

packAndLocateInCenterIfNotLaidOut

protected void packAndLocateInCenterIfNotLaidOut()

Packs the frame and centers it, if it was't already laid-out.

See Also:

WinContr

adjustSizeToPlausibleValue

protected boolean adjustSizeToPlausibleValue()

Checks whether the width laid out by user is less then the width resulting by pack(), resizes the frame in this case to the packed value and returns true. Thus, all elements should be visible, even if they are not embedded in scroll panes. It also may happen that a new JRE renders components differently, bigger button sizes may be compensated that way. Disadvantage: also components in scroll panes will influence packed width, they will cause the frame to be resized even if not necessary.

Returns:

true if the packed size has been re-established

maximizeToBottomAndRight

protected void maximizeToBottomAndRight()

getFrame

public MustFrame getFrame()

setHelpContext

public void setHelpContext(java.lang.String helpTopic)

Sets the component's context help.

Parameters:

helpTopic - the context help's topic

helpTarget - the context help's target

setHelpContext

public void setHelpContext(java.lang.String helpTopic,
                           java.lang.String helpTarget)

Sets the component's context help.

Specified by:

setHelpContext in interface ContextHelp

Parameters:

helpTopic - the context help's topic

helpTarget - the context help's target

getHelpTopic

public java.lang.String getHelpTopic()

Returns the topic of the component's help context

Specified by:

getHelpTopic in interface ContextHelp

Returns:

the topic of the component's help context

getHelpTarget

public java.lang.String getHelpTarget()

Returns the target of the component's help context

Specified by:

getHelpTarget in interface ContextHelp

Returns:

the target of the component's help context

getAppResStr

public java.lang.String getAppResStr(java.lang.String resourceKey)

Description copied from interface: AppTextResource

Returns a text in the corresponding language according to the locale specific resource bundle.

Specified by:

getAppResStr in interface AppTextResource

Parameters:

resourceKey - the key of the resource to retrieve

Returns:

a text in the corresponding language according to the locale specific resource bundle

popupMessage

protected void popupMessage(java.lang.String messageToKeep)

generalActionBeginnung

public void generalActionBeginnung()

General action at the beginning of proceeding user's interaction.

logDebug

protected void logDebug(java.lang.String text)

Logs a message as a debug information.

Parameters:

text - the message to log

logInfo

protected void logInfo(java.lang.String text)

Logs a message as information.

Parameters:

text - the message to log

logError

protected void logError(java.lang.Throwable throwable)

Logs a message as an error.

Parameters:

throwable - the exception to log

logError

protected void logError(java.lang.String text)

Logs a message as an error.

Parameters:

text - the message to log

logError

protected void logError(java.lang.String text,
                        java.lang.Throwable throwable)

Logs a message as an error.

Parameters:

text - the message to log

throwable - the exception to log

componentHidden

public void componentHidden(java.awt.event.ComponentEvent e)

Called when component is hidden.

Specified by:

componentHidden in interface java.awt.event.ComponentListener

Parameters:

e - the component event

componentShown

public void componentShown(java.awt.event.ComponentEvent e)

Called when component is shown.

Specified by:

componentShown in interface java.awt.event.ComponentListener

Parameters:

e - the component event

componentMoved

public void componentMoved(java.awt.event.ComponentEvent e)

Called when component is moved.

Specified by:

componentMoved in interface java.awt.event.ComponentListener

Parameters:

e - the component event

componentResized

public void componentResized(java.awt.event.ComponentEvent e)

Called when component is resized.

Specified by:

componentResized in interface java.awt.event.ComponentListener

Parameters:

e - the component event

windowClosing

public void windowClosing(java.awt.event.WindowEvent e)

Called when window is going to be closed.

Specified by:

windowClosing in interface java.awt.event.WindowListener

Parameters:

e - the window event

windowClosed

public void windowClosed(java.awt.event.WindowEvent e)

Called when window is closed.

Specified by:

windowClosed in interface java.awt.event.WindowListener

Parameters:

e - the window event

windowOpened

public void windowOpened(java.awt.event.WindowEvent e)

Called when window is opened.

Specified by:

windowOpened in interface java.awt.event.WindowListener

Parameters:

e - the window event

windowActivated

public void windowActivated(java.awt.event.WindowEvent e)

Called when window is activated.

Specified by:

windowActivated in interface java.awt.event.WindowListener

Parameters:

e - the window event

windowDeactivated

public void windowDeactivated(java.awt.event.WindowEvent e)

Called when window is deactivated.

Specified by:

windowDeactivated in interface java.awt.event.WindowListener

Parameters:

e - the window event

windowIconified

public void windowIconified(java.awt.event.WindowEvent e)

Called when window is iconified.

Specified by:

windowIconified in interface java.awt.event.WindowListener

Parameters:

e - the window event

windowDeiconified

public void windowDeiconified(java.awt.event.WindowEvent e)

Called when window is closed.

Specified by:

windowDeiconified in interface java.awt.event.WindowListener

Parameters:

e - the window event

isClosingAllowed

public abstract boolean isClosingAllowed(int closeConfirmId)

Returns true if closing of the window is allowed.

Parameters:

closeConfirmId - the ID of the confirmation issue - a way to avoid multiple question regarding the same issue

Returns:

true if closing of the window is allowed

acceptsClosingDueToInactivity

public abstract boolean acceptsClosingDueToInactivity()

Returns true if frame accepts closing due to inactivity.

Returns:

true if frame accepts closing due to inactivity

closeInstance

public void closeInstance()

Closes the instance after reminding size and position of the frame as it was laid-out by the user.

isCached

public boolean isCached()

Returns true if this frame is cached.

Returns:

true if this frame is cached

toFront

public void toFront()

Overrides:

toFront in class java.awt.Window

deregisterAsMainInstance

public void deregisterAsMainInstance()

Deregisters this frame.

destroy

public final void destroy()

Destroys the frame. May be called manually. Is called automatically by the garbage collector otherwise. Thus, we may release important references more early and we may remove static references to this objects if there are any. (They would prevent the garbage collector from working. But since we work with week references now it's less important.) The destruction may include

• deregistration as main instance of a frame of this class
• freeing used data components especially those with listeners, particularly those which are registered in static vectors

After the frame has been destroyed, it is not usable any more! Override free to add further destruction and don't forget to call super.free() at the end.

See Also:

free(), isRevivable()

free

protected void free()

Frees (releases) references caused by this frame, particularly static register entries. To be called via destroy() to prevent multiple call. Override it to do additional releases and don't forget to call super.free() at the end.

See Also:

destroy(), isRevivable()

finalize

protected final void finalize()
                       throws java.lang.Throwable

Overrides:

finalize in class java.lang.Object

Throws:

java.lang.Throwable