public interface MirrorDecoratorListener
Modifier and Type | Interface and Description |
---|---|
static class |
MirrorDecoratorListener.DecoratorEvent
Type of the event.
|
Modifier and Type | Method and Description |
---|---|
void |
event(MirrorDecorator ssm,
MirrorDecoratorListener.DecoratorEvent eventType,
Parameter p)
The event that is sent by the mirror decorator and processed
by the listener.
|
void |
event(MirrorDecorator ssm,
MirrorDecoratorListener.DecoratorEvent eventType,
java.lang.String portName)
The event that is sent by the mirror decorator and processed
by the listener.
|
void event(MirrorDecorator ssm, MirrorDecoratorListener.DecoratorEvent eventType, Parameter p)
eventType
- The type of the event.p
- The parameter subject to change.void event(MirrorDecorator ssm, MirrorDecoratorListener.DecoratorEvent eventType, java.lang.String portName)
eventType
- The type of the event.portName
- Name of changing port.