Operation double getDoubleParam (String configFile, String paramName, double defaultValue), in Class ConfigurationData

Documentation
* Retrieves a parameter of type double from the configuration
* file.
* @param configFile name of the file to get data from
* @param paramName name of the parameter
* @param defaultValue default return value
* @return the value of the parameter, or defaultValue
* if it cannot be found

Protocol		Qualification
Exceptions		Size
Time		Concurrency	Sequential
Export Control	PrivateAccess

Preconditions

Postconditions

Semantics

Property Settings

Java

Abstract	False	Static	False
Final	False	Native	False
Synchronized	False

Data Modeler

dmItem	False	DMName
IsConstraint	False	ConstraintType
IsIndex	False	IsTrigger	False
IsCluster	False	TableSpace
FillFactor	0	KeyList
CheckPredicate		IsUnique	False
DeferalMode		InitialCheckTime
TriggerType		TriggerReferencePart
IsInsertEvent	False	IsUpdateEvent	False
IsDeleteEvent	False