| Copyright | (c) Andy Gimblett Swansea University 2007 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | a.m.gimblett@swan.ac.uk |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
CspCASL.LocalTop
Description
Analysis of relations for presence of local top elements. Used by CspCASL static analysis.
Synopsis
- checkLocalTops :: Rel SORT -> [Diagnosis]
- cartesian :: Ord a => Set a -> Set (a, a)
Documentation
checkLocalTops :: Rel SORT -> [Diagnosis] Source #
This is the main interface for the LTE check. Check a CspCASL signature (actually just the sort relation) for local top elements in its subsort relation. Returns empty list for sucess or a list of diags for failure where diags is a list of diagnostic errors resulting from the check.