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

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