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]  Deterministic 
The supported formats of the analysis server:
formatResult :: String -> String -> Maybe String -> Bool -> Either (ProgInfo String) String -> String  Deterministic 
Format an analysis result in different formats.

Exported operations:

serverFormats :: [String]  Deterministic 

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  Deterministic 

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.