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