hets -- a heterogenous Specification (CASL) tool set
Contents
Index
CASL.Parse_AS_Basic
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
parse SIG-ITEMS, BASIC-ITEMS, BASIC-SPEC
Synopsis
sortItems
::
AParser
SIG_ITEMS
typeItems
::
AParser
SIG_ITEMS
opItems
::
AParser
SIG_ITEMS
predItems
::
AParser
SIG_ITEMS
sigItems
::
AParser
SIG_ITEMS
basicItems
::
AParser
BASIC_ITEMS
varItems
::
AParser
([
VAR_DECL
], [
Token
])
dotFormulae
::
AParser
BASIC_ITEMS
aFormula
::
AParser
(
Annoted
FORMULA
)
basicSpec
::
AParser
BASIC_SPEC
Produced by
Haddock
version 0.6