Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski, Uni Bremen 2004-2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerhausmann@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CoCASL.StatAna

Description

static analysis for CoCASL

Synopsis

Documentation

data CoRecord a b c d

Constructors

CoRecord 

Fields

foldBoxOrDiamond :: C_FORMULA -> Bool -> d -> a -> Range -> c
 
foldCoSort_gen_ax :: C_FORMULA -> [SORT] -> [OP_SYMB] -> Bool -> c
 
foldTerm_mod :: MODALITY -> b -> d
 
foldSimple_mod :: MODALITY -> SIMPLE_ID -> d
 

foldC_Formula :: Record C_FORMULA a b -> CoRecord a b c d -> C_FORMULA -> c

foldModality :: Record C_FORMULA a b -> CoRecord a b c d -> MODALITY -> d

constCoRecord :: ([a] -> a) -> a -> CoRecord a a a a

ana_CODATATYPE_DECL :: GenKind -> CODATATYPE_DECL -> State CSign [Component]

return list of constructors

ana_COALTERNATIVE :: SORT -> Annoted COALTERNATIVE -> State CSign (Maybe (Component, Set Component))

return the constructor and the set of total selectors

ana_COCOMPONENTS :: SORT -> COCOMPONENTS -> State CSign ([Component], [Component])

return total and partial selectors