Humboldt Alignment Editor 2.5.0

eu.esdihumboldt.hale.ui.common.service.population
Interface PopulationListener


public interface PopulationListener

Listens on PopulationService events.

Author:
Simon Templer

Method Summary
 void populationChanged(SchemaSpaceID ssid)
          Called when the population for a schema space has changed.
 

Method Detail

populationChanged

void populationChanged(SchemaSpaceID ssid)
Called when the population for a schema space has changed.

Parameters:
ssid - the schema space

Humboldt Alignment Editor 2.5.0

Build 2012-12-03_12-30-59
Revision 9d2dd4b0318cda9f1393b1ddd390f7f792d70a2d