Copyright	(c) Christian Maeder, DFKI GmbH 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

CspCASL.SymbItems

Description

Synopsis

Documentation

data CspSymbItems

Constructors

CspSymbItems CspSymbKind [CspSymb]

Instances

Eq CspSymbItems
Data CspSymbItems
Ord CspSymbItems
Show CspSymbItems
ShATermConvertible CspSymbItems
Pretty CspSymbItems
Typeable * CspSymbItems
Comorphism CASL2CspCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol ()
Comorphism CspCASL2Modal CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol ()
Show a => Syntax (GenCspCASL a) CspBasicSpec CspSymbol CspSymbItems CspSymbMapItems	Syntax of CspCASL
Show a => StaticAnalysis (GenCspCASL a) CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol	Static Analysis for CspCASL
CspCASLSemantics a => Logic (GenCspCASL a) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol ()	Instance of Logic for CspCASL
(CspCASLSemantics a, CspCASLSemantics b) => Comorphism (CspCASL2CspCASL a b) (GenCspCASL a) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () (GenCspCASL b) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol ()

data CspSymbMapItems

Constructors

CspSymbMapItems CspSymbKind [CspSymbMap]

Instances

Eq CspSymbMapItems
Data CspSymbMapItems
Ord CspSymbMapItems
Show CspSymbMapItems
ShATermConvertible CspSymbMapItems
Pretty CspSymbMapItems
Typeable * CspSymbMapItems
Comorphism CASL2CspCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol ()
Comorphism CspCASL2Modal CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () Modal () M_BASIC_SPEC ModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS MSign ModalMor Symbol RawSymbol ()
Show a => Syntax (GenCspCASL a) CspBasicSpec CspSymbol CspSymbItems CspSymbMapItems	Syntax of CspCASL
Show a => StaticAnalysis (GenCspCASL a) CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol	Static Analysis for CspCASL
CspCASLSemantics a => Logic (GenCspCASL a) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol ()	Instance of Logic for CspCASL
(CspCASLSemantics a, CspCASLSemantics b) => Comorphism (CspCASL2CspCASL a b) (GenCspCASL a) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () (GenCspCASL b) () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol ()

data CspSymbKind

Constructors

CaslKind SYMB_KIND
ProcessKind
ChannelKind

Instances

Eq CspSymbKind
Data CspSymbKind
Ord CspSymbKind
Show CspSymbKind
ShATermConvertible CspSymbKind
Pretty CspSymbKind
Typeable * CspSymbKind

data CspSymb

Constructors

CspSymb Id (Maybe CspType)

Instances

Eq CspSymb
Data CspSymb
Ord CspSymb
Show CspSymb
ShATermConvertible CspSymb
Pretty CspSymb
Typeable * CspSymb

data CspType

Constructors

CaslType TYPE
ProcType ProcProfile

Instances

Eq CspType
Data CspType
Ord CspType
Show CspType
ShATermConvertible CspType
Pretty CspType
Typeable * CspType

data CspSymbMap

Constructors

CspSymbMap CspSymb (Maybe CspSymb)

Instances

Eq CspSymbMap
Data CspSymbMap
Ord CspSymbMap
Show CspSymbMap
ShATermConvertible CspSymbMap
Pretty CspSymbMap
Typeable * CspSymbMap

pluralCspSympKind :: CspSymbKind -> [a] -> Doc

commAlpha :: AParser st CommAlpha

cspSymb :: AParser st CspSymb

parsing a possibly qualified identifier

cspSymbMap :: AParser st CspSymbMap

parsing one symbol or a mapping of one to second symbol

cspSymbKind :: AParser st CspSymbKind

parse a kind keyword

cspSymbs :: AParser st [CspSymb]

parse a comma separated list of symbols

cspSymbItems :: AParser st CspSymbItems

Parse a possible kinded list of comma separated CspCASL symbols. The argument is a list of keywords to avoid as identifiers.

cspSymbMaps :: AParser st [CspSymbMap]

parse a comma separated list of symbols

cspSymbMapItems :: AParser st CspSymbMapItems

parse a possible kinded list of CspCASL symbol mappings