| definition: |
analyzeModuleAndPrint :: CConfig -> String -> String -> Bool -> OutputFormat
-> Bool -> Bool -> IO ()
analyzeModuleAndPrint cconfig ananame mname optall format optgenerated enforce =
analyzeProgram cconfig ananame enforce format (format2AOut format) mname >>=
putStr . formatResult mname format Nothing (not optall) optgenerated
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Run the analysis system and print 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. |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| name: |
analyzeModuleAndPrint |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
CASS.Configuration.CConfig -> String -> String -> Prelude.Bool -> CASS.ServerFormats.OutputFormat -> Prelude.Bool -> Prelude.Bool -> Prelude.IO () |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |