tools
Class Parametri

java.lang.Object
  |
  +--tools.Parametri

public class Parametri

extends java.lang.Object

Parametri per il programma.

I paramtri sono letti da un file con il seguente formato:

 nome-parametro-1 : valore_1
 ...
 nome-parametro-N : valore_N
 

dove nome-parametro-I e' una stringa senza spazi e senza ':'
valore_I e' una qualsiasi stringa senza il carattere '#'.

Le righe che iniziano con il carattere '#' sono ignorate.

Constructor Summary

Parametri()

Method Summary

static java.lang.String	get(java.lang.String name)
static double	getDouble(java.lang.String name)
static float	getFloat(java.lang.String name)
static int	getInt(java.lang.String name)
static void	loadParameters(java.lang.String nomeFile) Legge i parametri da un file dato.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Parametri

public Parametri()

Method Detail

loadParameters

public static void loadParameters(java.lang.String nomeFile)

Legge i parametri da un file dato.

get

public static java.lang.String get(java.lang.String name)

Returns:

il valore di un parametro.

getInt

public static int getInt(java.lang.String name)

Returns:

value of paramater converted to int.

Termina l'applicazione se non e' possibile eseguire la conversione.

getFloat

public static float getFloat(java.lang.String name)

Returns:

value of paramater converted to float.

Termina l'applicazione se non e' possibile eseguire la conversione.

getDouble

public static double getDouble(java.lang.String name)

Returns:

value of paramater converted to double.

Termina l'applicazione se non e' possibile eseguire la conversione.