hets -- a heterogenous Specification (CASL) tool setContentsIndex
Syntax.AS_Library
Portability non-portable(Grothendieck)
Stability provisional
Maintainer hets@tzi.de
Description
These data structures describe the abstract syntax tree for heterogenous structured specifications in HetCASL.
Synopsis
data LIB_DEFN = Lib_defn LIB_NAME [Annoted LIB_ITEM] [Pos] [Annotation]
data LIB_ITEM
= Spec_defn SPEC_NAME GENERICITY (Annoted SPEC) [Pos]
| View_defn VIEW_NAME GENERICITY VIEW_TYPE [G_mapping] [Pos]
| Arch_spec_defn ARCH_SPEC_NAME (Annoted ARCH_SPEC) [Pos]
| Unit_spec_defn SPEC_NAME UNIT_SPEC [Pos]
| Download_items LIB_NAME [ITEM_NAME_OR_MAP] [Pos]
| Logic_decl Logic_name [Pos]
data ITEM_NAME_OR_MAP
= Item_name ITEM_NAME
| Item_name_map ITEM_NAME ITEM_NAME [Pos]
type ITEM_NAME = SIMPLE_ID
data LIB_NAME
= Lib_version LIB_ID VERSION_NUMBER
| Lib_id LIB_ID
data LIB_ID
= Direct_link URL [Pos]
| Indirect_link PATH [Pos]
data VERSION_NUMBER = Version_number [String] [Pos]
type URL = String
type PATH = String
getLIB_ID :: LIB_NAME -> LIB_ID
cast_S_L_Spec_defn :: SPEC_DEFN -> LIB_ITEM
cast_L_S_Spec_defn :: LIB_ITEM -> SPEC_DEFN
cast_S_L_View_defn :: VIEW_DEFN -> LIB_ITEM
cast_L_S_View_defn :: LIB_ITEM -> VIEW_DEFN
cast_A_L_Arch_spec_defn :: ARCH_SPEC_DEFN -> LIB_ITEM
cast_L_A_Arch_spec_defn :: LIB_ITEM -> ARCH_SPEC_DEFN
cast_A_L_Unit_spec_defn :: UNIT_SPEC_DEFN -> LIB_ITEM
cast_L_A_Unit_spec_defn :: LIB_ITEM -> UNIT_SPEC_DEFN
Produced by Haddock version 0.6