Module CASS.ServerFormats

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

Author: Heiko Hoffmann, Michael Hanus

Version: April 2024

Summary of exported operations:

serverFormatNames :: [(String,OutputFormat)]  Deterministic 
The names and output formats supported by the analysis server.
formatResult :: String -> OutputFormat -> Maybe String -> Bool -> Either (ProgInfo String) String -> String  Deterministic 
Format an analysis result in different formats.

Exported datatypes:

OutputFormat

The type of supported output formats of the analysis server.

Constructors:

  • FormatText :: OutputFormat
  • FormatShort :: OutputFormat
  • FormatTerm :: OutputFormat
  • FormatJSON :: OutputFormat
  • FormatJSONTerm :: OutputFormat
  • FormatXML :: OutputFormat

Exported operations:

serverFormatNames :: [(String,OutputFormat)]  Deterministic 

The names and output formats supported by the analysis server.

Further infos:
  • solution complete, i.e., able to compute all solutions

formatResult :: String -> OutputFormat -> 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, (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.