hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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