| 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-Inferred |
CspCASL.LocalTop
Description
Analysis of relations for presence of local top elements. Used by CspCASL static analysis.
Documentation
checkLocalTops :: Rel SORT -> [Diagnosis]
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.