hets -- a heterogenous Specification (CASL) tool set
Contents
Index
CspCASL.CCLexer
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
parser for CSP-CASL keywords
Synopsis
ccspecT
::
AParser
Token
dataT
::
AParser
Token
endT
::
AParser
Token
channelT
::
AParser
Token
processT
::
AParser
Token
letT
::
AParser
Token
inT
::
AParser
Token
skipT
::
AParser
Token
stopT
::
AParser
Token
ifT
::
AParser
Token
thenT
::
AParser
Token
elseT
::
AParser
Token
whenT
::
AParser
Token
varT
::
AParser
Token
multiPreT
::
AParser
Token
prefixT
::
AParser
Token
oRBracketT
::
AParser
Token
cRBracketT
::
AParser
Token
oSBracketT
::
AParser
Token
cSBracketT
::
AParser
Token
sendT
::
AParser
Token
receiveT
::
AParser
Token
extChoiceT
::
AParser
Token
intChoiceT
::
AParser
Token
synParaT
::
AParser
Token
interParaT
::
AParser
Token
oAlPaT
::
AParser
Token
cAlPaT
::
AParser
Token
oGenPaT
::
AParser
Token
mGenPaT
::
AParser
Token
semicolonT
::
AParser
Token
cGenPaT
::
AParser
Token
hidingT
::
AParser
Token
oRenamingT
::
AParser
Token
cRenamingT
::
AParser
Token
chanRenT
::
AParser
Token
Produced by
Haddock
version 0.6