public class StarterPanel.KillListener
extends jadex.commons.gui.future.SwingDefaultResultListener<java.util.Collection<jadex.commons.Tuple2<java.lang.String,java.lang.Object>>>
Modifier and Type | Field and Description |
---|---|
protected jadex.bridge.IComponentIdentifier |
cid
The source cid.
|
protected java.lang.String |
fullname
The fullname.
|
protected jadex.bridge.modelinfo.IModelInfo |
model
The model info.
|
Constructor and Description |
---|
KillListener(jadex.bridge.modelinfo.IModelInfo model,
java.lang.String fullname,
jadex.commons.future.Future fut,
java.awt.Component parent)
Create a new listener.
|
Modifier and Type | Method and Description |
---|---|
void |
customResultAvailable(java.util.Collection<jadex.commons.Tuple2<java.lang.String,java.lang.Object>> result)
Called when result is available.
|
protected jadex.bridge.modelinfo.IModelInfo model
protected java.lang.String fullname
protected jadex.bridge.IComponentIdentifier cid
public KillListener(jadex.bridge.modelinfo.IModelInfo model, java.lang.String fullname, jadex.commons.future.Future fut, java.awt.Component parent)
public void customResultAvailable(java.util.Collection<jadex.commons.Tuple2<java.lang.String,java.lang.Object>> result)
customResultAvailable
in class jadex.commons.gui.future.SwingDefaultResultListener<java.util.Collection<jadex.commons.Tuple2<java.lang.String,java.lang.Object>>>