hets -- a heterogenous Specification (CASL) tool setContentsIndex
Syntax.Parse_AS_Library
Portability non-portable(Grothendieck)
Stability provisional
Maintainer hets@tzi.de
Contents
Parsing functions
Description
Parsing the specification library.
Synopsis
library :: (AnyLogic, LogicGraph) -> AParser LIB_DEFN
libName :: AParser LIB_NAME
version :: AParser VERSION_NUMBER
libId :: AParser LIB_ID
libItems :: (AnyLogic, LogicGraph) -> AParser [Annoted LIB_ITEM]
libItem :: (AnyLogic, LogicGraph) -> AParser (LIB_ITEM, AnyLogic)
viewType :: (AnyLogic, LogicGraph) -> AParser VIEW_TYPE
itemNameOrMap :: AParser ITEM_NAME_OR_MAP
Parsing functions
library :: (AnyLogic, LogicGraph) -> AParser LIB_DEFN
Parse a library of specifications
libName :: AParser LIB_NAME
Parse library name
version :: AParser VERSION_NUMBER
Parse the library version
libId :: AParser LIB_ID
Parse library ID
libItems :: (AnyLogic, LogicGraph) -> AParser [Annoted LIB_ITEM]
Parse the library elements
libItem :: (AnyLogic, LogicGraph) -> AParser (LIB_ITEM, AnyLogic)
Parse an element of the library
viewType :: (AnyLogic, LogicGraph) -> AParser VIEW_TYPE
Parse view type
itemNameOrMap :: AParser ITEM_NAME_OR_MAP
Parse item name or name map
Produced by Haddock version 0.6