bibliothek.gui.dock.facile.action
Class StateManager.StateManagerSetting<B>

java.lang.Object
  extended by bibliothek.gui.dock.support.action.ModeTransitionSetting<StateManager.Location,B>
      extended by bibliothek.gui.dock.facile.action.StateManager.StateManagerSetting<B>
Type Parameters:
B - the internal representation of the properties
Enclosing class:
StateManager

public static class StateManager.StateManagerSetting<B>
extends ModeTransitionSetting<StateManager.Location,B>

A set of properties used to store the contents of a StateManager

Author:
Benjamin Sigg

Constructor Summary
StateManager.StateManagerSetting(ModeTransitionConverter<StateManager.Location,B> converter)
          Creates a new setting.
 
Method Summary
 StateManager.Location getLastMaximizedLocation()
          Gets the location of the last element that was maximized.
 String getLastMaximizedMode()
          Gets the mode the last maximized element was in.
 void read(DataInputStream in)
          Clears all properties of this setting and then reads new properties from in.
 void setLastMaximizedLocation(StateManager.Location lastMaximizedLocation)
          Sets the location of the last element that was maximized.
 void setLastMaximizedMode(String lastMaximizedMode)
          Sets the mode the last maximized element was in.
 void write(DataOutputStream out)
          Writes all properties of this setting into out.
 
Methods inherited from class bibliothek.gui.dock.support.action.ModeTransitionSetting
add, getConverter, getCurrent, getHistory, getId, getProperties, readXML, size, writeXML
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

StateManager.StateManagerSetting

public StateManager.StateManagerSetting(ModeTransitionConverter<StateManager.Location,B> converter)
Creates a new setting.

Parameters:
converter - converts internal and external properties
Method Detail

setLastMaximizedMode

public void setLastMaximizedMode(String lastMaximizedMode)
Sets the mode the last maximized element was in.

Parameters:
lastMaximizedMode - the mode or null

getLastMaximizedMode

public String getLastMaximizedMode()
Gets the mode the last maximized element was in.

Returns:
the mode or null

setLastMaximizedLocation

public void setLastMaximizedLocation(StateManager.Location lastMaximizedLocation)
Sets the location of the last element that was maximized.

Parameters:
lastMaximizedLocation - the location or null

getLastMaximizedLocation

public StateManager.Location getLastMaximizedLocation()
Gets the location of the last element that was maximized.

Returns:
the location or null

write

public void write(DataOutputStream out)
           throws IOException
Description copied from class: ModeTransitionSetting
Writes all properties of this setting into out.

Overrides:
write in class ModeTransitionSetting<StateManager.Location,B>
Parameters:
out - the stream to write into
Throws:
IOException - if an I/O-error occurs

read

public void read(DataInputStream in)
          throws IOException
Description copied from class: ModeTransitionSetting
Clears all properties of this setting and then reads new properties from in.

Overrides:
read in class ModeTransitionSetting<StateManager.Location,B>
Parameters:
in - the stream to read from
Throws:
IOException - if an I/O-error occurs