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