@Deprecated public interface IPluginControllerUser extends java.rmi.Remote
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
getGraphicPluginNames()
Deprecated.
|
java.util.List<javax.swing.JMenuItem> |
getPluginMenus()
Deprecated.
|
java.util.List<java.lang.String> |
getPluginNames()
Deprecated.
|
java.util.List<javax.swing.JMenuItem> |
getRightButtonItems()
Deprecated.
|
java.util.List<javax.swing.JPanel> |
getTabPanels()
Deprecated.
|
boolean |
isLocalPlugin(java.lang.String PluginName)
Deprecated.
|
boolean |
isRunning(java.lang.String PluginName)
Deprecated.
|
java.util.List<java.lang.String> getPluginNames() throws java.rmi.RemoteException
java.rmi.RemoteException
boolean isRunning(java.lang.String PluginName) throws java.rmi.RemoteException
java.rmi.RemoteException
boolean isLocalPlugin(java.lang.String PluginName) throws java.rmi.RemoteException
java.rmi.RemoteException
java.util.List<java.lang.String> getGraphicPluginNames() throws java.rmi.RemoteException
java.rmi.RemoteException
java.util.List<javax.swing.JMenuItem> getRightButtonItems() throws java.rmi.RemoteException
java.rmi.RemoteException
java.util.List<javax.swing.JPanel> getTabPanels() throws java.rmi.RemoteException
java.rmi.RemoteException
java.util.List<javax.swing.JMenuItem> getPluginMenus() throws java.rmi.RemoteException
java.rmi.RemoteException