AS_Annotation.der.hs revision 42c01284bba8d7c8d995c8dfb96ace57d28ed1bc
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichModule : $Header$
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichCopyright : (c) Klaus L�ttich, Christian Maeder, and Uni Bremen 2002-2003
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichMaintainer : maeder@tzi.de
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichStability : provisional
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichPortability : portable
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichThese datastructures describe the Annotations of (Het)CASL.
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich There is also a paramterized data type for an 'Annoted' 'item'.
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich See also chapter II.5 of the CASL Reference Manual.
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- DrIFT command
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich{-! global: UpPos !-}
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- | start of an annote with its WORD or a comment
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettichdata Annote_word = Annote_word String | Comment_start deriving (Show, Eq)
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- | line or group for 'Unparsed_anno'
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettichdata Annote_text = Line_anno String | Group_anno [String] deriving (Show, Eq)
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- | formats to be displayed (may be extended in the future).
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- Drop 3 from the show result to get the string for parsing and printing
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettichdata Display_format = DF_HTML | DF_LATEX | DF_RTF
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich deriving (Show, Eq, Ord)
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- | swap a pair
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettichswap :: (a, b) -> (b, a)
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettichswap (a, b) = (b, a)
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- | swap the entries of a lookup table
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichswapTable :: [(a, b)] -> [(b, a)]
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichswapTable = map swap
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- | drop the first 3 characters from the show result
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichtoTable :: (Show a) => [a] -> [(a, String)]
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichtoTable = map $ \a -> (a, drop 3 $ show a)
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- | a lookup table for the textual representation of display formats
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettichdisplay_format_table :: [(Display_format, String)]
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettichdisplay_format_table = toTable [ DF_HTML, DF_LATEX, DF_RTF ]
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- | lookup the textual representation of a display format
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus Luettich-- in 'display_format_table'
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichlookupDisplayFormat :: Display_format -> String
3bb26f69ad9f71098b71bbc434ec91adb53969a2Klaus LuettichlookupDisplayFormat df =