public interface TableProducer
extends java.rmi.Remote
Modifier and Type | Method and Description |
---|---|
void |
addTableListener(TableListener listener)
Adds a listener which gets informed of newly created statistical data.
|
TableDefinition |
getProducedTableDefinition()
Returns the definition of the table layout of the tables produced by this producer, e.g.
|
void |
removeTableListener(TableListener listener)
Removes a previously added listener.
|
void removeTableListener(TableListener listener) throws java.rmi.RemoteException
listener
- Listener to be removed.java.rmi.RemoteException
void addTableListener(TableListener listener) throws java.rmi.RemoteException
listener
- Listener to be added.java.rmi.RemoteException
TableDefinition getProducedTableDefinition() throws java.rmi.RemoteException
java.rmi.RemoteException