Module CASS.Configuration

systemBanner :: String   

baseDir :: String   

The base directory of the analysis tool containing all programs and documentations. It is used to copy the configuration file, to the find executables of the server and the workers, and to find the documentation of the various analyses.

Further infos:

• solution complete, i.e., able to compute all solutions

docDir :: String   

The directory containing the documentations of the various analyses.

executableName :: String   

The name of the main executable. Used to start workers in CASS.Server.

Further infos:

• solution complete, i.e., able to compute all solutions

getServerAddress :: IO String   

The address of the server when it is connected from the worker clients.

waitTime :: Int   

debugLevel :: CConfig -> DLevel   

Returns the debug level from the current configuration.

Further infos:

• solution complete, i.e., able to compute all solutions

setDebugLevel :: Int -> CConfig -> CConfig   

Returns the debug level from the current configuration.

Further infos:

• solution complete, i.e., able to compute all solutions

fixpointMethod :: CConfig -> String   

withPrelude :: CConfig -> Bool   

getDefaultPath :: CConfig -> IO String   

Gets the default load path from the property file (added at the end of CURRYPATH).

numberOfWorkers :: CConfig -> Int   

readRCFile :: IO CConfig   

Reads the rc file (and try to install a user copy of it if it does not exist) and returns its definition. Additionally, the definitions are compared with the default property file of the CASS distribution. If the set of variables is different, the rc file of the user is updated with the distribution but the user's definitions are kept.

updateProperty :: String -> String -> CConfig -> CConfig   

storeServerPortNumber :: Int -> IO ()   

Stores the current server port number together with the pid of the server process.

removeServerPortNumber :: IO ()   

Removes the currently stored server port number.