Hets - the Heterogeneous Tool Set

CopyrightDominik Luecke, Uni Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt or LIZENZ.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

RelationalScheme.StaticAnalysis

Description

static analysis for Relational Schemes

Synopsis

Documentation

basic_Rel_analysis :: (RSScheme, Sign, GlobalAnnos) -> Result (RSScheme, ExtSign Sign RSSymbol, [Named Sentence])

Function to determine the symbols of a spec