hets -- a heterogenous Specification (CASL) tool setContentsIndex
CspCASL.Parse_hugo
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
parser for CSP-CASL
Synopsis
interim :: AParser C3PO
namedCspCaslCSpec :: AParser NAMED_CSP_CASL_C_SPEC
specName :: AParser SPEC_NAME
cspCaslCSpec :: AParser CSP_CASL_C_SPEC
basicCspCaslCSpec :: AParser Basic_CSP_CASL_C_SPEC
dataDefn :: AParser DATA_DEFN
channelDecl :: AParser CHANNEL_DECL
channelItem :: AParser CHANNEL_ITEM
processDefn :: AParser PROCESS_DEFN
processEquation :: AParser PROCESS_EQUATION
genericEquation :: AParser GENERIC_EQUATION
genericNamedProcess :: AParser GEN_NAMED_PROCESS
namedProcess :: AParser NAMED_PROCESS
processName :: AParser PROCESS_NAME
channelId :: AParser Token
primProcess :: AParser PROCESS
seqProcess :: AParser PROCESS
sortRenaming :: AParser SORT_RENAMING
channelRenaming :: AParser CHANNEL_RENAMING
hidRenProcess :: AParser PROCESS
intChoiceProcess :: AParser PROCESS
extChoiceProcess :: AParser PROCESS
choiceProcess :: AParser PROCESS
synParaProcess :: AParser PROCESS
interParaProcess :: AParser PROCESS
process :: AParser PROCESS
opList :: AParser OP_NAME
eventSet :: AParser EVENT_SET
event :: AParser EVENT
Produced by Haddock version 0.6