public class WGAConfigurationUpdateEvent
extends java.lang.Object
Constructor and Description |
---|
WGAConfigurationUpdateEvent(WGACore core,
de.innovationgate.wga.config.WGAConfiguration newConfig,
de.innovationgate.wga.config.WGAConfiguration oldConfig) |
Modifier and Type | Method and Description |
---|---|
WGACore |
getCore() |
de.innovationgate.wga.config.WGAConfiguration |
getNewConfiguration() |
de.innovationgate.wga.config.WGAConfiguration |
getOldConfiguration() |
public WGAConfigurationUpdateEvent(WGACore core, de.innovationgate.wga.config.WGAConfiguration newConfig, de.innovationgate.wga.config.WGAConfiguration oldConfig)
public de.innovationgate.wga.config.WGAConfiguration getNewConfiguration()
public WGACore getCore()
public de.innovationgate.wga.config.WGAConfiguration getOldConfiguration()