com.gmail.thejcwk.semantics.gui
Class Session

java.lang.Object
  com.gmail.thejcwk.semantics.gui.Session

All Implemented Interfaces:

java.io.Serializable

public class Session
extends java.lang.Object
implements java.io.Serializable

Encapsulates the state of a session.

Version:

0.1

Author:

Jan Kroeze

See Also:

Serialized Form

Constructor Summary

Session()
Construct a new, empty Session.

Method Summary

PhraseCollection	getCollection() Get the collection being used in this Session.
int	getFrameHeight() Get the frameHeight used during the previous session.
int	getFrameWidth() Get the frameWidth used during the previous session.
void	setCollection(PhraseCollection aCollection) Set the collection used in this Session.
void	setFrameHeight(int frameHeight) Set what the frameHeight was before the session was closed.
void	setFrameWidth(int frameWidth) Set what the frameWidth was before the session closed.

Methods inherited from class java.lang.Object

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

Constructor Detail

Session

public Session()

Construct a new, empty Session.

Method Detail

setCollection

public void setCollection(PhraseCollection aCollection)

Set the collection used in this Session.

Parameters:

aCollection -

setFrameHeight

public void setFrameHeight(int frameHeight)

Set what the frameHeight was before the session was closed.

Parameters:

frameHeight -

setFrameWidth

public void setFrameWidth(int frameWidth)

Set what the frameWidth was before the session closed.

Parameters:

frameWidth -

getCollection

public PhraseCollection getCollection()

Get the collection being used in this Session.

Returns:

A PhraseCollection object.

getFrameHeight

public int getFrameHeight()

Get the frameHeight used during the previous session.

Returns:

An integer.

getFrameWidth

public int getFrameWidth()

Get the frameWidth used during the previous session.

Returns:

An integer.