|
definition:
|
loadDefaultAnalysisValues :: Read a => DLevel -> String -> String
-> IO [(QName,a)]
loadDefaultAnalysisValues dl anaName moduleName = do
(_,fileName) <- findModuleSourceInLoadPath moduleName
let defaultFileName = stripCurrySuffix fileName ++ ".defaults." ++ anaName
fileExists <- doesFileExist defaultFileName
if fileExists
then do debugMessage dl 3 ("Load default values from " ++ defaultFileName)
defaultValues <- readFile defaultFileName >>= return . read
return (map (\ (f,a) -> ((moduleName,f),a)) defaultValues)
else return []
|
|
demand:
|
no demanded arguments
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
--- Reads the file name in which default analysis values different from
--- standard start values are stored. Typically, such a file contains
--- specific analysis information for external operations.
--- The file must contain a term of the type `[(String,a)]` where
--- the first component of each pair is the name of the operation
--- (it is assumed that this denotes an operation of the current module)
--- and the second component is an analysis value.
|
|
failfree:
|
<FAILING>
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_,_,_,_) |-> _}
|
|
name:
|
loadDefaultAnalysisValues
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
Prelude.Read a => Analysis.Logging.DLevel -> String -> String
-> Prelude.IO [((String, String), a)]
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|