hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Syntax.AS_Architecture
Portability
non-portable(Grothendieck)
Stability
provisional
Maintainer
hets@tzi.de
Description
These data structures describe the abstract syntax tree for heterogenous architectural specifications in HetCASL.
Synopsis
data
ARCH_SPEC_DEFN
=
Arch_spec_defn
ARCH_SPEC_NAME
(
Annoted
ARCH_SPEC
) [
Pos
]
data
ARCH_SPEC
=
Basic_arch_spec
[
Annoted
UNIT_DECL_DEFN
] (
Annoted
UNIT_EXPRESSION
) [
Pos
]
|
Arch_spec_name
ARCH_SPEC_NAME
|
Group_arch_spec
(
Annoted
ARCH_SPEC
) [
Pos
]
data
UNIT_DECL_DEFN
=
Unit_decl
UNIT_NAME
UNIT_SPEC
[
Annoted
UNIT_TERM
] [
Pos
]
|
Unit_defn
UNIT_NAME
UNIT_EXPRESSION
[
Pos
]
data
UNIT_SPEC_DEFN
=
Unit_spec_defn
SPEC_NAME
UNIT_SPEC
[
Pos
]
data
UNIT_SPEC
=
Unit_type
[
Annoted
SPEC
] (
Annoted
SPEC
) [
Pos
]
|
Spec_name
SPEC_NAME
|
Arch_unit_spec
(
Annoted
ARCH_SPEC
) [
Pos
]
|
Closed_unit_spec
UNIT_SPEC
[
Pos
]
data
UNIT_EXPRESSION
=
Unit_expression
[
UNIT_BINDING
] (
Annoted
UNIT_TERM
) [
Pos
]
data
UNIT_BINDING
=
Unit_binding
UNIT_NAME
UNIT_SPEC
[
Pos
]
data
UNIT_TERM
=
Unit_reduction
(
Annoted
UNIT_TERM
)
RESTRICTION
|
Unit_translation
(
Annoted
UNIT_TERM
)
RENAMING
|
Amalgamation
[
Annoted
UNIT_TERM
] [
Pos
]
|
Local_unit
[
Annoted
UNIT_DECL_DEFN
] (
Annoted
UNIT_TERM
) [
Pos
]
|
Unit_appl
UNIT_NAME
[
FIT_ARG_UNIT
] [
Pos
]
|
Group_unit_term
(
Annoted
UNIT_TERM
) [
Pos
]
data
FIT_ARG_UNIT
=
Fit_arg_unit
(
Annoted
UNIT_TERM
)
G_symb_map_items_list
[
Pos
]
type
ARCH_SPEC_NAME
=
SIMPLE_ID
type
UNIT_NAME
=
SIMPLE_ID
Produced by
Haddock
version 0.6