| definition: |
analyzeModuleForBrowser :: String -> String -> AOutFormat -> IO [(QName,String)]
analyzeModuleForBrowser ananame mname aoutformat = do
cconfig <- readRCFile
analyzeProgram cconfig ananame False FormatText aoutformat mname >>=
return . either pinfo2list (const [])
where
pinfo2list pinfo = let (pubinfo,privinfo) = progInfo2Lists pinfo
in pubinfo ++ privinfo
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Run the analysis system to show the analysis results in the BrowserGUI. --- The options are read from the rc file. |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| name: |
analyzeModuleForBrowser |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
String -> String -> Analysis.Types.AOutFormat -> Prelude.IO [((String, String), String)] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |