public class PortalManager extends Object implements InstanceManagerAutoDefault, PropertyChangeListener
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.
Constructors Constructor Description
Modifier and Type Method Description