edu.mit.blocks.workspace

Class PageChangeEventManager

java.lang.Object

edu.mit.blocks.workspace.PageChangeEventManager

public class PageChangeEventManager
extends java.lang.Object

The PageChangeEventmanager is in charged of handling all page-changed events triggered by Pages and notifying page-change listeners when such an event is triggered. A page-change event is thrown by invoking the manager through the static method PageChangeEventManager.notifyListeners(). An object can subscribe to page-change events by delegating itself through the static method PageChangeEventManager.addPageChangeListener().

Constructor Summary

Constructors

Constructor and Description
PageChangeEventManager()

Method Summary

Modifier and Type	Method and Description
static void	addPageChangeListener(PageChangeListener l)
static void	notifyListeners()

Methods inherited from class java.lang.Object

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

Constructor Detail

PageChangeEventManager

public PageChangeEventManager()

Method Detail

addPageChangeListener

public static void addPageChangeListener(PageChangeListener l)

Parameters:

l - - the listener to be added

Throws:

java.lang.RuntimeException - if l is null

notifyListeners

public static void notifyListeners()