1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
--------------------------------------------------------------------
--- This module defines the various output formats offered by the
--- anlysis server.
---
--- @author Heiko Hoffmann, Michael Hanus
--- @version May 2015
--------------------------------------------------------------------
module ServerFormats(serverFormats,formatResult) where
import GenericProgInfo
import FlatCurry.Types(QName,showQNameInModule)
import XML
--------------------------------------------------------------------
--- The supported formats of the analysis server:
serverFormats :: [String]
serverFormats = ["XML","CurryTerm","Text"]
--- 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.
formatResult :: String -> String -> Maybe String -> Bool
-> (Either (ProgInfo String) String) -> String
formatResult _ outForm _ _ (Right err) =
let errMsg = "ERROR in analysis: " ++ err
in if outForm == "XML"
then showXmlDoc (xml "error" [xtxt errMsg])
else errMsg
-- Format a single program entity result:
formatResult moduleName outForm (Just name) _ (Left pinfo) =
let lookupResult = lookupProgInfo (moduleName,name) pinfo
in case lookupResult of
Nothing -> ("ERROR "++name++" not found in "++moduleName)
Just value ->
case outForm of
"CurryTerm" -> value
"Text" -> value
"XML" -> showXmlDoc (xml "result" [xtxt value])
-- Format a complete module:
formatResult moduleName outForm Nothing public (Left pinfo) =
case outForm of
"CurryTerm" -> show entities
"Text" -> formatAsText moduleName entities
"XML" -> let (pubxml,privxml) = progInfo2XML pinfo
in showXmlDoc
(xml "results"
(pubxml ++ if public then [] else privxml))
where
entities = let (pubents,privents) = progInfo2Lists pinfo
in if public then pubents else pubents++privents
-- Format a list of analysis results as a string (lines of analysis results).
formatAsText :: String -> [(QName,String)] -> String
formatAsText moduleName =
unlines . map (\ (qf,r) -> showQNameInModule moduleName qf ++ " : " ++ r)
--------------------------------------------------------------------
|
