| definition: |
analyzeModuleAsText :: CConfig -> String -> String -> Bool -> Bool -> Bool
-> IO String
analyzeModuleAsText cconfig ananame mname optall optgenerated enforce =
analyzeProgram cconfig ananame enforce FormatText AText mname >>=
return . formatResult mname FormatText Nothing (not optall) optgenerated
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Run the analysis system and show the analysis results in standard textual --- representation. --- If the fourth argument is true, all operations are shown, --- otherwise only the interface operations. --- If the fifth argument is false, generated operations (e.g., --- operations of derived class instances) are not shown. --- The sixth argument is a flag indicating whether the --- (re-)analysis should be enforced. --- Note that, before its first use, the analysis system must be initialized --- by 'initializeAnalysisSystem'. |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| name: |
analyzeModuleAsText |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
CASS.Configuration.CConfig -> String -> String -> Prelude.Bool -> Prelude.Bool -> Prelude.Bool -> Prelude.IO String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |