{-# LANGUAGE DeriveDataTypeable #-}

{- |

Module : $Header$

Description : abstract syntax for CASL_DL logic extension of CASL

Copyright : (c) Klaus Luettich, Dominik Luecke, Uni Bremen 2004-2008

License : GPLv2 or higher, see LICENSE.txt

Maintainer : luecke@informatik.uni-bremen.de

Stability : provisional

Portability : portable

Abstract syntax for CASL_DL logic extension of CASL

Only the added syntax is specified

-}

module CASL_DL.AS_CASL_DL where

import Data.Data

import Common.Id

import Common.AS_Annotation

import CASL.AS_Basic_CASL

-- DrIFT command

{-! global: GetRange !-}

type DL_BASIC_SPEC = BASIC_SPEC () () DL_FORMULA

type AnDLFORM = Annoted (FORMULA DL_FORMULA)

data CardType = CMin | CMax | CExact deriving (Eq, Ord, Typeable, Data)

minCardinalityS, maxCardinalityS, cardinalityS :: String

cardinalityS = "cardinality"

minCardinalityS = "minC" ++ tail cardinalityS

maxCardinalityS = "maxC" ++ tail cardinalityS

instance Show CardType where

show ct = case ct of

CMin -> minCardinalityS

CMax -> maxCardinalityS

CExact -> cardinalityS

-- | for a detailed specification of all the components look into the sources

data DL_FORMULA =

Cardinality CardType

PRED_SYMB -- refers to a declared (binary) predicate

(TERM DL_FORMULA)

{- this term is restricted to constructors

denoting a (typed) variable -}

(TERM DL_FORMULA)

{- the second term is restricted to an Application denoting

a literal of type nonNegativeInteger (Nat) -}

(Maybe (FORMULA DL_FORMULA))

-- an optional qualification for the number restriction

Range

-- position of keyword, brackets, parens and comma

deriving (Show, Eq, Ord, Typeable, Data)

-- TODO: Erweiterung ueber maybe

caslDLCardTypes :: [CardType]

caslDLCardTypes = [CExact, CMin, CMax]

casl_DL_reserved_words :: [String]

casl_DL_reserved_words = map show caslDLCardTypes

{- parser will need 7 functions: concept1, concept2, concept3, concept4,

classProperty, basicItem, basicSpec -}