puzzled
Class Status

java.lang.Object
  |
  +--puzzled.Status

public class Status

extends java.lang.Object

Class containing important information regarding the status of the application. Typical information are window position and size.

Version:

1 27 Aug 99

Author:

Frédéric Demers

Field Summary

boolean	caseSensitive
java.lang.String	directory
boolean	displayRelations
java.lang.String	fileName
boolean	loadPrevious
java.lang.String	lookAndFeel
java.lang.String	toolBarPos
boolean	toolBarVisible
int	windowHeight
int	windowPosx
int	windowPosy
int	windowWidth

Constructor Summary

Status(ProblemSolver parent_arg)
Creates a PowerflowStatus object, which contains information regarding the last session.

Method Summary

void	loadStatus() This method retreives the values from the the powerflow.ini file.
void	saveStatus() Saves the information regarding the session on the disk.
void	setWindowParam(java.awt.Point p, java.awt.Dimension d) Method used to set the window parameters in this class.

Methods inherited from class java.lang.Object

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

Field Detail

windowPosx

public int windowPosx

windowPosy

public int windowPosy

windowWidth

public int windowWidth

windowHeight

public int windowHeight

caseSensitive

public boolean caseSensitive

displayRelations

public boolean displayRelations

loadPrevious

public boolean loadPrevious

lookAndFeel

public java.lang.String lookAndFeel

toolBarPos

public java.lang.String toolBarPos

toolBarVisible

public boolean toolBarVisible

directory

public java.lang.String directory

fileName

public java.lang.String fileName

Constructor Detail

Status

public Status(ProblemSolver parent_arg)

Creates a PowerflowStatus object, which contains information regarding the last session. The information that is saved between session is the following:

• window position
• window size
• working directory
• toolbar position & visibility
• look & feel
• display options

If the file cannot be read, it will be using hard coded default values to initialize its variables.

Method Detail

setWindowParam

public void setWindowParam(java.awt.Point p,
                           java.awt.Dimension d)

Method used to set the window parameters in this class. Only the affectation of the variables are concerned, not the modification of the window parameters. Typically used to ensure correspondance of the state variables maintained by this class and the actual representation of the window.

saveStatus

public void saveStatus()

Saves the information regarding the session on the disk. It is used to save session settings when opening a new session. If the file could not be read, this method will still attempt to save it with the new state values.

loadStatus

public void loadStatus()
                throws java.io.IOException

This method retreives the values from the the powerflow.ini file. It also perform conversion on the window size if needed, so that the window's bounds stay within the screen. It throws an IOException if the file cannot be read.