Module CASS.Configuration

Exported Datatypes

Configuration info used during execution of CASS. It contains the properties from the RC file, the current debug level, the options passed to CASS, and an IORef for statistics.

Constructors:

• CConfig :: [(String, String)] -> DLevel -> Options -> (IORef CASSStats) -> CConfig

  Fields:

  • ccProps :: [(String, String)]
  • ccDebugLevel :: DLevel
  • ccOptions :: Options
  • ccStats :: (IORef CASSStats)

Constructors:

• CASSStats :: Int -> Int -> Int -> CASSStats

  Fields:

  • csNumMods :: Int
  • csAnaMods :: Int
  • csCIMods :: Int

Known instances:

• Show CASSStats

Exported Functions

systemBanner :: String   

The banner of the CASS system.

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   

timeout for network message passing: -1 is wait time infinity

curryInfoRequest2CASS :: [(String, String)]   

The requests and analysis names currently support by CurryInfo. Taken from CurryInfo.Analysis of package curry-info.

Further infos:

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

getStatistics :: CConfig -> IO String   

Gets the statistics from the current configuration.

setNumModAnalyzed :: Int -> CConfig -> IO ()   

Sets the number of modules to be analyzed in the configuration.

incAnaMods :: CConfig -> IO ()   

Increments the number of modules analyzed by CASS.

incCurryInfoMods :: CConfig -> IO ()   

Increments the number of modules with infos taken from CurryInfo.

getDefaultCConfig :: IO CConfig   

Gets the default configuration which has no properties and is quiet.

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

useCurryInfo :: CConfig -> Bool   

Returns the curryinfo flag from the current configuration.

useCurryInfoWeb :: CConfig -> Bool   

Returns the curryinfo web flag from the current configuration.

fixpointMethod :: CConfig -> String   

Returns the fixpoint computation method from Config file

withPrelude :: CConfig -> Bool   

Gets the option to analyze also the prelude from Config file

getDefaultPath :: CConfig -> IO String   

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

numberOfWorkers :: CConfig -> Int   

number of worker threads running at the same time

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.