edu.rice.cs.drjava.model
Interface RegionManagerListener<R extends IDocumentRegion>

All Known Subinterfaces:

DebugListener

All Known Implementing Classes:

DebugEventNotifier, DebugTestCase.BreakpointTestListener, DebugTestCase.DebugStartAndStopListener, DebugTestCase.DebugTestListener, DebugTestCase.StepTestListener

public interface RegionManagerListener<R extends IDocumentRegion>

Any class which wants to listen to DocumentRegion events fired by a RegionManager should implement this interface and use RegionManager's addListener() method.

Version:

$Id$

Method Summary

void	regionAdded(R r) Called when a region is added in a document.
void	regionChanged(R r) Called when a region is changed.
void	regionRemoved(R r) Called when a region is removed from a document.

Method Detail

regionAdded

void regionAdded(R r)

Called when a region is added in a document. Must be executed in event thread.

Parameters:

r - the region

regionChanged

void regionChanged(R r)

Called when a region is changed. Must be executed in event thread.

Parameters:

r - the region

regionRemoved

void regionRemoved(R r)

Called when a region is removed from a document. Must be executed in event thread.

Parameters:

r - the region