|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.rel.test.gui.ParameterList
List of Parameters.
| Constructor Summary | |
ParameterList()
Constructor. |
|
| Method Summary | |
void |
add(Parameter parameter)
Add parameter to list. |
void |
fill(File file)
Fill parameter values from property file. |
Parameter |
get(int i)
Get i-th parameter. |
Parameter |
get(String name)
Get parameter by name. |
void |
resetToDefaultValues()
Set all parameters back to default values. |
void |
save(File file)
Save parameter values in property file. |
int |
size()
Get number of parameters. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public ParameterList()
| Method Detail |
public void add(Parameter parameter)
parameter - Parameter to add.public final int size()
public final Parameter get(int i)
i-th parameter.
i - Parameter number.
i-th Parameter.public final Parameter get(String name)
name - Parameter name.
name.
NullPointerException - Parameter not found.
public final void fill(File file)
throws IOException
file - Property file to get the values from.
IOException - File problem.
public void save(File file)
throws IOException
file - Property file to save the values in.
IOException - File problem.public void resetToDefaultValues()
|
Hilbert II - Version 0.03.04 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |