 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
Common.GlobalAnnotations | Portability | portable | Stability | experimental | Maintainer | hets@tzi.de |
|
|
|
|
|
Description |
data structures for global annotations
|
|
Synopsis |
|
|
|
Documentation |
|
data GlobalAnnos |
all global annotations and a field for PrettyPrint stuff | Constructors | GA | | prec_annos :: PrecedenceGraph | precedences | assoc_annos :: AssocMap | associativity | display_annos :: DisplayMap | display annotations | literal_annos :: LiteralAnnos | literal annotations | literal_map :: LiteralMap | redundant
representation of the previous literal annotations | print_conf :: PrintConfig | gives the
possibility to print things upon position in AST |
|
| Instances | |
|
|
emptyGlobalAnnos :: GlobalAnnos |
empty (or initial) global annotations |
|
data LiteralAnnos |
literal annotations for string, lists, number and floating | Constructors | | Instances | |
|
|
emptyLiteralAnnos :: LiteralAnnos |
empty literal annotations |
|
type DisplayMap = Map Id (Map Display_format [Token]) |
ids to be displayed according to a format |
|
data PrintConfig |
Options that can be set and used during PrettyPrinting | Constructors | PrC | | prc_inside_gen_arg :: Bool | set to True
if inside of PARAMS or FIT_ARG | prc_first_spec_in_param :: Bool | set to True when prc_inside_gen_arg is
set to True; set to False if first spec
is crossed | prc_latex_print :: Bool | True if printLatex0 is invoked
used in functions that decide on the same things
but do different things |
|
| Instances | |
|
|
default_print_conf :: PrintConfig |
|
is_inside_gen_arg :: GlobalAnnos -> Bool |
|
set_inside_gen_arg :: Bool -> GlobalAnnos -> GlobalAnnos |
|
is_latex_print :: GlobalAnnos -> Bool |
|
set_latex_print :: Bool -> GlobalAnnos -> GlobalAnnos |
|
is_first_spec_in_param :: GlobalAnnos -> Bool |
|
set_first_spec_in_param :: Bool -> GlobalAnnos -> GlobalAnnos |
|
type LiteralMap = Map Id LiteralType |
a redundant map for LiteralAnnos |
|
data LiteralType |
description of the type of a literal for a given Id in LiteralMap | Constructors | StringCons Id | refer to the Id of the null string | StringNull | | ListCons Id Id | brackets (as Id) and the Id of the
matching null list | ListNull Id | brackets (as Id) for the empty list | Number | | Fraction | | Floating | | NoLiteral | and error value for a getLiteralType |
| Instances | |
|
|
getLiteralType :: GlobalAnnos -> Id -> LiteralType |
the LiteralType of an Id (possibly NoLiteral) |
|
type AssocMap = Map Id AssocEither |
a map of associative ids |
|
isAssoc :: AssocEither -> AssocMap -> Id -> Bool |
check if Id has a given associativity |
|
type PrecedenceGraph = Rel Id |
a binary relation over ids as precedence graph |
|
precRel |
:: PrecedenceGraph | Graph describing the precedences | -> Id | x oID (y iid z) -- outer id | -> Id | x oid (y iID z) -- inner id | -> PrecRel | | return precedence relation of two ids |
|
|
lookupDisplay :: GlobalAnnos -> Display_format -> Id -> Maybe [Token] |
lookup of an display [string] in the GlobalAnnos record |
|
data Display_format |
formats to be displayed (may be extended in the future).
Drop 3 from the show result to get the string for parsing and printing | Constructors | | Instances | |
|
|
Produced by Haddock version 0.6 |