hets -- a heterogenous Specification (CASL) tool setContentsIndex
CspCASL.AS_CSP_CASL
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
abstract syntax of CSP-CASL
Synopsis
data C3PO
= Named_c3po NAMED_CSP_CASL_C_SPEC
| C3po CSP_CASL_C_SPEC
data NAMED_CSP_CASL_C_SPEC = Named_csp_casl_spec SPEC_NAME CSP_CASL_C_SPEC
type SPEC_NAME = SIMPLE_ID
data CSP_CASL_C_SPEC = Csp_casl_c_spec DATA_DEFN CHANNEL_DECL PROCESS_DEFN
data Basic_CSP_CASL_C_SPEC = Basic_csp_casl_c_spec CHANNEL_DECL PROCESS_DEFN
type DATA_DEFN = BASIC_SPEC
data CHANNEL_DECL = Channel_items [CHANNEL_ITEM]
data CHANNEL_ITEM = Channel_decl [CHANNEL_NAME] SORT
type CHANNEL_NAME = SIMPLE_ID
type PROCESS_NAME = SIMPLE_ID
data PROCESS_DEFN
= Basic PROCESS
| Recursive [PROCESS_EQUATION] NAMED_PROCESS
| Generic_recursive [PROCESS_EQUATION] GEN_NAMED_PROCESS
data NAMED_PROCESS = Named PROCESS_NAME
data GEN_NAMED_PROCESS = Generic_named PROCESS_NAME TERM
data GENERIC_EQUATION = Generic PROCESS_NAME VAR EVENT_SET
data PROCESS_EQUATION
= Equation NAMED_PROCESS PROCESS
| Generic_equation GENERIC_EQUATION PROCESS
data PROCESS
= Named_process NAMED_PROCESS
| Generic_named_process GEN_NAMED_PROCESS
| Skip
| Stop
| Prefix EVENT PROCESS
| Multiple_prefix VAR EVENT_SET PROCESS
| Sequential [PROCESS]
| External_choice [PROCESS]
| Internal_choice [PROCESS]
| Alphabet_parallel PROCESS EVENT_SET PROCESS
| General_parallel PROCESS EVENT_SET EVENT_SET PROCESS
| Synchronous_parallel [PROCESS]
| Interleaving_parallel [PROCESS]
| Hiding PROCESS EVENT_SET
| Csp_sort_renaming PROCESS SORT_RENAMING
| Csp_channel_renaming PROCESS CHANNEL_RENAMING
| Conditional_process FORMULA PROCESS
| Conditional_choice FORMULA PROCESS PROCESS
| Guarded_command FORMULA PROCESS
| Channel_parallel PROCESS CHANNEL_NAME CHANNEL_NAME PROCESS
data EVENT_SET = Event_set SORT
data SORT_RENAMING = Op_list [OP_NAME]
data CHANNEL_RENAMING = Channel_renaming CHANNEL_NAME CHANNEL_NAME
data EVENT
= Term TERM
| Send CHANNEL_NAME TERM
| Receive CHANNEL_NAME VAR SORT
Produced by Haddock version 0.6