com.tensegrity.gui.swt.control
Class SwtSplashScreenLauncher

java.lang.Object
  extended bycom.tensegrity.gui.swt.control.SwtSplashScreenLauncher
All Implemented Interfaces:
ApplicationLauncher

public class SwtSplashScreenLauncher
extends java.lang.Object
implements ApplicationLauncher

An implementation of ApplicationLauncher that uses a splash-screen to display the LaunchTasks that get executed currently.

The method setMessageFont(Font) can be used to customize the font that is used to display the message texts on the splash-screen. The current message-font can be queried by invoking getMessageFont().

Version:
$Id: SwtSplashScreenLauncher.java,v 1.6 2005/08/08 16:33:59 BurkhardWick Exp $
Author:
S�bastien Guyon

Constructor Summary
SwtSplashScreenLauncher(org.eclipse.swt.widgets.Display display, java.lang.String title, org.eclipse.swt.graphics.Image splash)
           Constructs a new SwtSplashScreenLauncher with the given title and Image.
 
Method Summary
 org.eclipse.swt.graphics.Font getMessageFont()
          Returns the font that is used to display the messages in the splash-screen.
 boolean launch()
          Launches all of the registered tasks.
 void registerLaunchTask(LaunchTask launchtask)
          Adds a launchtask to the splash screen launcher.
 void setHeight(int height)
           Sets the height of the splash screen.
 void setMessageFont(org.eclipse.swt.graphics.Font messagefont)
          Returns the font that is used to display the messages in the splash-screen.
 void setUiManager(UIManager uiManager)
          sets the UIManager
 void setWidth(int width)
           Sets the width of the splash screen.
 void unregisterLaunchTask(LaunchTask launchtask)
          Removes a launchtask from the splash screen launcher.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SwtSplashScreenLauncher

public SwtSplashScreenLauncher(org.eclipse.swt.widgets.Display display,
                               java.lang.String title,
                               org.eclipse.swt.graphics.Image splash)

Constructs a new SwtSplashScreenLauncher with the given title and Image.

Parameters:
display - the display used to create the internal Shell
title - a title to be displayed on the splash screen
splash - the splash screen image
Method Detail

getMessageFont

public org.eclipse.swt.graphics.Font getMessageFont()
Returns the font that is used to display the messages in the splash-screen.

Returns:
the font that is used to display slash-screen messages.

setMessageFont

public void setMessageFont(org.eclipse.swt.graphics.Font messagefont)
Returns the font that is used to display the messages in the splash-screen.

Parameters:
messagefont - the font that is used to display slash-screen messages.

setUiManager

public void setUiManager(UIManager uiManager)
sets the UIManager

Parameters:
uiManager - the uimanager

launch

public boolean launch()
Description copied from interface: ApplicationLauncher
Launches all of the registered tasks.

Specified by:
launch in interface ApplicationLauncher
Returns:
true if the launching succeeded, false indicates a fatal error.

registerLaunchTask

public void registerLaunchTask(LaunchTask launchtask)
Description copied from interface: ApplicationLauncher
Adds a launchtask to the splash screen launcher.

Specified by:
registerLaunchTask in interface ApplicationLauncher
Parameters:
launchtask - the task to register with the launcher.

unregisterLaunchTask

public void unregisterLaunchTask(LaunchTask launchtask)
Description copied from interface: ApplicationLauncher
Removes a launchtask from the splash screen launcher.

Specified by:
unregisterLaunchTask in interface ApplicationLauncher
Parameters:
launchtask - the task to unregister from the launcher.

setHeight

public void setHeight(int height)

Sets the height of the splash screen.

Parameters:
height - he height of the splash screen.

setWidth

public void setWidth(int width)

Sets the width of the splash screen.

Parameters:
width - the width of the splash screen.


Copyright © 2005 Tensegrity Software GmbH. All Rights Reserved. Date of creation: 09.06.2006.