Module CASS.ServerFormats
- Exported Datatypes
- Exported Functions
Imported modules:

Module CASS.ServerFormats

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

Author

Heiko Hoffmann, Michael Hanus

Version

October 2024

Exported Datatypes:

OutputFormat

Exported Functions:

formatResult serverFormatNames

Exported Datatypes

data OutputFormat

The type of supported output formats of the analysis server.

Constructors:

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

Known instances:

Eq OutputFormat

Exported Functions

serverFormatNames :: [(String, OutputFormat)]

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 -> Bool -> Either (ProgInfo String) String -> String

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, a flag which is true if only the interface information should be shown, and a flag which is true if also generated operations should be shown.