Module PropertyFile

A library to read and update files containing properties in the usual equational syntax, i.e., a property is defined by a line of the form prop=value where prop starts with a letter. All other lines (e.g., blank lines or lines starting with # are considered as comment lines and are ignored.

Author: Michael Hanus

Version: August 2006

Summary of exported operations:

readPropertyFile :: String -> IO [(String,String)]   
Reads a property file and returns the list of properties.
updatePropertyFile :: String -> String -> String -> IO ()   
Update a property in a property file or add it, if it is not already there.

Exported operations:

readPropertyFile :: String -> IO [(String,String)]   

Reads a property file and returns the list of properties. Returns empty list if the property file does not exist.

updatePropertyFile :: String -> String -> String -> IO ()   

Update a property in a property file or add it, if it is not already there.

Example call:
(updatePropertyFile file pname pvalue)
Parameters:
  • file : the name of the property file
  • pname : the name of the property
  • pvalue : the new value of the property