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.Symbol

Description

Synopsis

Documentation

data CspSymbType

Constructors

CaslSymbType SymbType
ProcAsItemType ProcProfile
ChanAsItemType Id

Instances

Eq CspSymbType
Data CspSymbType
Ord CspSymbType
Show CspSymbType
ShATermConvertible CspSymbType
Typeable * CspSymbType

data CspSymbol

Constructors

CspSymbol
Fields cspSymName :: Id cspSymbType :: CspSymbType

Instances

Eq CspSymbol
Data CspSymbol
Ord CspSymbol
Show CspSymbol
ShATermConvertible CspSymbol
GetRange CspSymbol
Pretty CspSymbol
Typeable * CspSymbol
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 => Sentences (GenCspCASL a) CspCASLSen CspCASLSign CspCASLMorphism CspSymbol	Instance of Sentences for CspCASL
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 CspRawSymbol

Constructors

ACspSymbol CspSymbol
CspKindedSymb CspSymbKind Id

Instances

Eq CspRawSymbol
Data CspRawSymbol
Ord CspRawSymbol
Show CspRawSymbol
ShATermConvertible CspRawSymbol
GetRange CspRawSymbol
Pretty CspRawSymbol
Typeable * CspRawSymbol
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 => 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 ()

rawId :: CspRawSymbol -> Id

cspCheckSymbList :: [CspSymbMap] -> [Diagnosis]

toChanSymbol :: (CHANNEL_NAME, SORT) -> CspSymbol

toProcSymbol :: (PROCESS_NAME, ProcProfile) -> CspSymbol

idToCspRaw :: Id -> CspRawSymbol

sortToProcProfile :: SORT -> ProcProfile

cspTypedSymbKindToRaw :: Bool -> CspCASLSign -> CspSymbKind -> Id -> CspType -> Result CspRawSymbol

cspSymbToRaw :: Bool -> CspCASLSign -> CspSymbKind -> CspSymb -> Result CspRawSymbol

cspStatSymbItems :: CspCASLSign -> [CspSymbItems] -> Result [CspRawSymbol]

maxKind :: CspSymbKind -> CspRawSymbol -> CspSymbKind

cspSymbOrMapToRaw :: CspCASLSign -> Maybe CspCASLSign -> CspSymbKind -> CspSymbMap -> Result [(CspRawSymbol, CspRawSymbol)]

cspStatSymbMapItems :: CspCASLSign -> Maybe CspCASLSign -> [CspSymbMapItems] -> Result (Map CspRawSymbol CspRawSymbol)

toSymbolSet :: CspSign -> [Set CspSymbol]

symSets :: CspCASLSign -> [Set CspSymbol]

caslToCspSymbol :: Symbol -> CspSymbol

toRawSymbol :: CspRawSymbol -> Maybe RawSymbol

try to convert a csp raw symbol to a CASL raw symbol

splitSymbolMap :: Map CspRawSymbol CspRawSymbol -> (RawSymbolMap, Map CspRawSymbol CspRawSymbol)

getCASLSymbols :: Set CspSymbol -> Set Symbol