edu.stanford.hci.dtools.statechart.palette
Class StatechartEditorPaletteFactory

java.lang.Object
  edu.stanford.hci.dtools.statechart.palette.StatechartEditorPaletteFactory

public class StatechartEditorPaletteFactory
extends java.lang.Object

Utility class that can create a GEF Palette.

This software is distributed under the BSD License.

This code is partially based on code that is copyright (c) 2004 Elias Volanakis. See License.txt

Author:

Elias Volanakis, Michael Bernstein ( mbernst(AT)stanford.edu ), Bjoern Hartmann ( bjoern(AT)stanford.edu )

Method Summary

static org.eclipse.gef.palette.PaletteRoot	createPalette() Creates the PaletteRoot and adds all palette elements.
static org.eclipse.gef.ui.palette.FlyoutPaletteComposite.FlyoutPreferences	createPalettePreferences() Return a FlyoutPreferences instance used to save/load the preferences of a flyout palette.
static void	updatePaletteForDeviceConfiguration(org.eclipse.gef.palette.PaletteRoot palette, DeviceConfiguration newConfig) Tell the state creation tool the new default size of a state

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

createPalette

public static org.eclipse.gef.palette.PaletteRoot createPalette()

Creates the PaletteRoot and adds all palette elements. Use this factory method to create a new palette for your graphical editor.

Returns:

a new PaletteRoot

createPalettePreferences

public static org.eclipse.gef.ui.palette.FlyoutPaletteComposite.FlyoutPreferences createPalettePreferences()

Return a FlyoutPreferences instance used to save/load the preferences of a flyout palette.

updatePaletteForDeviceConfiguration

public static void updatePaletteForDeviceConfiguration(org.eclipse.gef.palette.PaletteRoot palette,
                                                       DeviceConfiguration newConfig)

Tell the state creation tool the new default size of a state