Interface EnvDataFileHandler

public interface EnvDataFileHandler

Environment-Based Applications:
The EnvDataFileHandler interface specifies methods for reading environment information from a file and writing it to a file.

Version:

1 December 2002

Method Summary

Environment	readEnv(java.io.File file) Reads information about an environment from an initial configuration data file and creates the environment.
void	writeEnv(Environment env, java.io.File file) Writes information about an environment into a data file.

Method Detail

readEnv

public Environment readEnv(java.io.File file)

Reads information about an environment from an initial configuration data file and creates the environment. (Precondition: the file has been defined using the setFile method.)

Parameters:

file - java.io.File object from which to read

Returns:

the newly created environment

writeEnv

public void writeEnv(Environment env,
                     java.io.File file)

Writes information about an environment into a data file.

Parameters:

env - environment to write to file

file - java.io.File object to which to write