hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Syntax.AS_Structured
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
SPEC
=
Basic_spec
G_basic_spec
|
Translation
(
Annoted
SPEC
)
RENAMING
|
Reduction
(
Annoted
SPEC
)
RESTRICTION
|
Union
[
Annoted
SPEC
] [
Pos
]
|
Extension
[
Annoted
SPEC
] [
Pos
]
|
Free_spec
(
Annoted
SPEC
) [
Pos
]
|
Cofree_spec
(
Annoted
SPEC
) [
Pos
]
|
Local_spec
(
Annoted
SPEC
) (
Annoted
SPEC
) [
Pos
]
|
Closed_spec
(
Annoted
SPEC
) [
Pos
]
|
Group
(
Annoted
SPEC
) [
Pos
]
|
Spec_inst
SPEC_NAME
[
Annoted
FIT_ARG
] [
Pos
]
|
Qualified_spec
Logic_name
(
Annoted
SPEC
) [
Pos
]
|
Data
AnyLogic
(
Annoted
SPEC
) (
Annoted
SPEC
) [
Pos
]
data
RENAMING
=
Renaming
[
G_mapping
] [
Pos
]
data
RESTRICTION
=
Hidden
[
G_hiding
] [
Pos
]
|
Revealed
G_symb_map_items_list
[
Pos
]
data
G_mapping
=
G_symb_map
G_symb_map_items_list
|
G_logic_translation
Logic_code
data
G_hiding
=
G_symb_list
G_symb_items_list
|
G_logic_projection
Logic_code
data
SPEC_DEFN
=
Spec_defn
SPEC_NAME
GENERICITY
(
Annoted
SPEC
) [
Pos
]
data
GENERICITY
=
Genericity
PARAMS
IMPORTED
[
Pos
]
data
PARAMS
=
Params
[
Annoted
SPEC
]
data
IMPORTED
=
Imported
[
Annoted
SPEC
]
data
FIT_ARG
=
Fit_spec
(
Annoted
SPEC
)
G_symb_map_items_list
[
Pos
]
|
Fit_view
VIEW_NAME
[
Annoted
FIT_ARG
] [
Pos
] [
Annotation
]
data
VIEW_DEFN
=
View_defn
VIEW_NAME
GENERICITY
VIEW_TYPE
[
G_mapping
] [
Pos
]
data
VIEW_TYPE
=
View_type
(
Annoted
SPEC
) (
Annoted
SPEC
) [
Pos
]
type
SPEC_NAME
=
SIMPLE_ID
type
VIEW_NAME
=
SIMPLE_ID
data
Logic_code
=
Logic_code
(
Maybe
Token
) (
Maybe
Logic_name
) (
Maybe
Logic_name
) [
Pos
]
data
Logic_name
=
Logic_name
Token
(
Maybe
Token
)
homogenizeGM
::
AnyLogic
-> [
G_mapping
] ->
Result
G_symb_map_items_list
Produced by
Haddock
version 0.6