hets -- a heterogenous Specification (CASL) tool set Contents Index

Common.AnalyseAnnos Portability portable Stability provisional Maintainer hets@tzi.de

Description

Some functions for building and accessing the datastructures of GlobalAnnotations.

Synopsis

addGlobalAnnos :: GlobalAnnos -> [Annotation] -> Result GlobalAnnos store_prec_annos :: PrecedenceGraph -> [Annotation] -> Result PrecedenceGraph store_assoc_annos :: AssocMap -> [Annotation] -> Result AssocMap store_display_annos :: DisplayMap -> [Annotation] -> Result DisplayMap store_literal_map :: LiteralMap -> [Annotation] -> Result LiteralMap store_literal_annos :: LiteralAnnos -> [Annotation] -> Result LiteralAnnos showIdPair :: (Id, Id) -> ShowS setStringLit :: Maybe (Id, Id) -> [Annotation] -> Result (Maybe (Id, Id)) setFloatLit :: Maybe (Id, Id) -> [Annotation] -> Result (Maybe (Id, Id)) setNumberLit :: Maybe Id -> [Annotation] -> Result (Maybe Id) setListLit :: Map Id (Id, Id) -> [Annotation] -> Result (Map Id (Id, Id)) parse_display_str :: Annotation -> String -> Result [Token]

Documentation

addGlobalAnnos :: GlobalAnnos -> [Annotation] -> Result GlobalAnnos

add global annotations

store_prec_annos :: PrecedenceGraph -> [Annotation] -> Result PrecedenceGraph

add precedences

store_assoc_annos :: AssocMap -> [Annotation] -> Result AssocMap

add associative ids

store_display_annos :: DisplayMap -> [Annotation] -> Result DisplayMap

add display annotations

store_literal_map :: LiteralMap -> [Annotation] -> Result LiteralMap

add literal annotation to LiteralMap and check for overlapping ids

store_literal_annos :: LiteralAnnos -> [Annotation] -> Result LiteralAnnos

add literal annotation to LiteralAnnos and check for contradictions

showIdPair :: (Id, Id) -> ShowS

shortcut to show errors in setStringLit and setFloatLit

setStringLit :: Maybe (Id, Id) -> [Annotation] -> Result (Maybe (Id, Id))

add (and check for uniqueness) string annotations

setFloatLit :: Maybe (Id, Id) -> [Annotation] -> Result (Maybe (Id, Id))

add (and check for uniqueness) floating annotations

setNumberLit :: Maybe Id -> [Annotation] -> Result (Maybe Id)

add (and check for uniqueness) number annotations

setListLit :: Map Id (Id, Id) -> [Annotation] -> Result (Map Id (Id, Id))

add (and check for consistency) (possibly several) list annotations

parse_display_str :: Annotation -> String -> Result [Token]

Produced by Haddock version 0.6