hets/Temporal/AS_BASIC_Temporal.hs

	AS_BASIC_Temporal.hs revision 98890889ffb2e8f6f722b00e265a211f13b5a861
{- |
Module      :  $Header$
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

data BASIC_SPEC = Basic_spec
                  deriving Show

instance GetRange BASIC_SPEC

instance Pretty BASIC_SPEC where
   pretty = text . show

data FORMULA = Formula
               deriving (Show, Eq, Ord)

instance GetRange FORMULA

instance Pretty FORMULA where
   pretty = text . show

data SYMB_ITEMS = Symb_items
                  deriving (Show, Eq)

data SYMB = Symb_id
            deriving (Show, Eq)

data SYMB_MAP_ITEMS = Symb_map_items
                      deriving (Show, Eq)