|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface SignalHeadManager
Interface for obtaining signal heads.
This doesn't have a "new" method, as SignalHeads are separately implemented, instead of being system-specific.
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.
| Method Summary | |
|---|---|
void |
dispose()
Free resources when no longer used. |
SignalHead |
getBySystemName(String s)
|
SignalHead |
getByUserName(String s)
|
SignalHead |
getSignalHead(String name)
Locate via user name, then system name if needed. |
List |
getSystemNameList()
Get a list of all SignalHead system names. |
| Methods inherited from interface jmri.Manager |
|---|
addPropertyChangeListener, deregister, makeSystemName, register, removePropertyChangeListener, systemLetter, typeLetter |
| Method Detail |
|---|
void dispose()
Manager
dispose in interface ManagerSignalHead getSignalHead(String name)
name -
SignalHead getByUserName(String s)
SignalHead getBySystemName(String s)
List getSystemNameList()
getSystemNameList in interface Manager
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||