Class PortalManager

  • All Implemented Interfaces:
    java.beans.PropertyChangeListener, java.util.EventListener, InstanceManagerAutoDefault

    public class PortalManager
    extends java.lang.Object
    implements InstanceManagerAutoDefault, java.beans.PropertyChangeListener
    Basic implementation of a PortalManager.

    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.