Class PortalManager
- All Implemented Interfaces:
PropertyChangeListener,EventListener,InstanceManagerAutoDefault
Note that this does not enforce any particular system naming convention.
Note this is an 'after thought' manager. Portals have been in use since 2009. Their use has now expanded well beyond what was expected. A Portal factory is needed for development to continue. Portal system names will be numbers and they will not be shown to users. The UI will treat Portal names as it does now as user names.
This file is part of JMRI.
JMRI is free software; you can redistribute it and/or modify it under the terms of version 2 of the GNU General Public License as published by the Free Software Foundation. See the "COPYING" file for a copy of this license.
JMRI is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final StringString constant for the property num portals. -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidcreateNewPortal(String userName) intgetIndexOf(Portal portal) getPortal(int idx) intvoidprovidePortal(String name) void
-
Field Details
-
PROPERTY_NUM_PORTALS
String constant for the property num portals.- See Also:
-
-
Constructor Details
-
PortalManager
public PortalManager()
-
-
Method Details
-
getPortalCount
-
getPortal
-
getIndexOf
-
getPortal
-
getPortalSet
-
createNewPortal
-
providePortal
-
addPropertyChangeListener
-
removePropertyChangeListener
-
propertyChange
- Specified by:
propertyChangein interfacePropertyChangeListener
-