Operation String getLineFromFile (String configFile, String key), in Class ConfigurationData

Documentation
* Searches for a line starting with the specified text in a file.
* @param configFile name of the file to read
* @param key the begining of the line to read
* @return the line begining with the text in
* key, or null if no such line was 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