content: {- |
  Module      :  ./ConstraintCASL/StaticAna.hs
  Description :  static analysis for ConstraintCASL
  Copyright   :  (c) Uni Bremen 2006
  License     :  GPLv2 or higher, see LICENSE.txt
  
  Maintainer  :  till@informatik.uni-bremen.de
  Stability   :  provisional
  Portability :  portable
  
  static analysis for ConstraintCASL specifications
   Follows Chaps. III:2 and III:3 of the CASL Reference Manual.
  -}
  
  module ConstraintCASL.StaticAna where
  
  import ConstraintCASL.AS_ConstraintCASL
  import ConstraintCASL.Print_AS ()
  import CASL.StaticAna
  import CASL.Sign
  import CASL.Morphism
  import CASL.MixfixParser
  import CASL.ToDoc
  
  import Common.Result
  import Common.AS_Annotation
  import Common.GlobalAnnotations
  import Common.ExtSign
  
  type ConstraintCASLSign = Sign ConstraintFORMULA ()
  type ConstraintCASLMor = Morphism ConstraintFORMULA () ()
  
  basicConstraintCASLAnalysis
      :: (ConstraintCASLBasicSpec, ConstraintCASLSign, GlobalAnnos)
      -> Result (ConstraintCASLBasicSpec,
                 ExtSign ConstraintCASLSign Symbol,
                 [Named ConstraintCASLFORMULA])
  basicConstraintCASLAnalysis =
      basicAnalysis (const return) (const return) (const return) emptyMix
  
  instance FormExtension ConstraintFORMULA
  
  instance TermExtension ConstraintFORMULA
  