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