Exported names: Imported modules:

Module CASS.ServerFormats

This module defines the various output formats offered by the anlysis server.

Author: Heiko Hoffmann, Michael Hanus

Version: January 2017

Summary of exported operations:

serverFormats
                  ::  [String]

The supported formats of the analysis server:

formatResult
                  ::  String -> String -> Maybe String -> Bool -> Either (ProgInfo String) String -> String

Format an analysis result in different formats.

Exported operations:

serverFormats :: [String]

The supported formats of the analysis server:

Further infos:

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

formatResult :: String -> String -> Maybe String -> Bool -> Either (ProgInfo String) String -> String

Format an analysis result in different formats. The arguments are the module name, the output format (see serverFormats), (Just n) if not the complete module but the result for entity n should only be shown, and a flag which is true if only the interface information should be shown.