ShowECA.hs

module Database.Design.Ampersand.FSpec.ShowECA (showECA) where

import Database.Design.Ampersand.Core.AbstractSyntaxTree
import Database.Design.Ampersand.FSpec.ShowADL (showPAclause, showREL)

class ECA a where
  showECA :: String -> a -> String

instance ECA ECArule where
  showECA indent er = showECA indent (ecaTriggr er) ++ " EXECUTE    -- (ECA rule "
                                                    ++ show (ecaNum er)
                                                    ++ ")"
                                                    ++
                     indent ++ showECA indent (ecaAction er)
instance ECA Event where
  showECA _ (On Ins rel) = "ON INSERT Delta IN " ++ showREL rel
  showECA _ (On Del rel) = "ON DELETE Delta FROM " ++ showREL rel

instance ECA PAclause where
  showECA indent = showPAclause indent