content: {-# LANGUAGE DeriveDataTypeable #-}
  {- |
  Module      :  ./Temporal/AS_BASIC_Temporal.hs
  Description :  Abstract syntax of temporal basic specifications
  Copyright   :  (c) Klaus Hartke, Uni Bremen 2008
  License     :  GPLv2 or higher, see LICENSE.txt
  
  Maintainer  :  Christian.Maeder@dfki.de
  Stability   :  provisional
  Portability :  portable
  
  pretty poor abstract syntax of temporal Basic_spec, Formula, Symb_items and
  Symb_map_items.
  -}
  
  module Temporal.AS_BASIC_Temporal
      (
        FORMULA (..)
      , BASIC_SPEC (..)          -- Basic Spec
      , SYMB_ITEMS (..)          -- List of symbols
      , SYMB (..)                -- Symbols
      , SYMB_MAP_ITEMS (..)      -- Symbol map
      ) where
  
  import Common.DocUtils
  import Common.Doc
  import Common.Id
  
  import Data.Data
  
  data BASIC_SPEC = Basic_spec
                    deriving (Show, Typeable, Data)
  
  instance GetRange BASIC_SPEC
  
  instance Pretty BASIC_SPEC where
     pretty = text . show
  
  data FORMULA = Formula
                 deriving (Show, Eq, Ord, Typeable, Data)
  
  instance GetRange FORMULA
  
  instance Pretty FORMULA where
     pretty = text . show
  
  data SYMB_ITEMS = Symb_items
                    deriving (Show, Eq, Typeable, Data)
  
  data SYMB = Symb_id
              deriving (Show, Eq, Typeable, Data)
  
  data SYMB_MAP_ITEMS = Symb_map_items
                        deriving (Show, Eq, Typeable, Data)
  