  | 
 Module       :   ./RelationalScheme / Keywords.hs 
 Description :   Keywords for Relational Schemes 
 Copyright    :     , Uni Bremen 2008 
 License      :   GPLv2 or higher , see LICENSE.txt or LIZENZ.txt 

 Maintainer   :    
 Stability    :   provisional 
 Portability :   portable 

 Keywords for Relational Schemes 

Module      :  ./RelationalScheme/Keywords.hs
Description :  Keywords for Relational Schemes
Copyright   :  Dominik Luecke, Uni Bremen 2008
License     :  GPLv2 or higher, see LICENSE.txt or LIZENZ.txt

Maintainer  :  
Stability   :  provisional
Portability :  portable

Keywords for Relational Schemes
-}

module RelationalScheme.Keywords where

import Common.Id

rsTables :: String
rsTables = "Tables"

rsTablesId :: Id
rsTablesId = stringToId rsTables

rsKey :: String
rsKey = "key"

rsKeyId :: Id
rsKeyId = stringToId rsKey

rsRelationships :: String
rsRelationships = "Relationships"

rsRelationshipsId :: Id
rsRelationshipsId = stringToId rsRelationships

rs1to1 :: String
rs1to1 = "one_to_one"

rs1to1Id :: Id
rs1to1Id = stringToId rs1to1

rs1tom :: String
rs1tom = "one_to_many"

rs1tomId :: Id
rs1tomId = stringToId rs1tom

rsmto1 :: String
rsmto1 = "many_to_one"

rsmto1Id :: Id
rsmto1Id = stringToId rsmto1

rsmtom :: String
rsmtom = "many_to_many"

rsmtomId :: Id
rsmtomId = stringToId rsmtom

rsBool :: String
rsBool = "boolean"

rsBoolId :: Id
rsBoolId = stringToId rsBool

rsBin :: String
rsBin = "binary"

rsBinId :: Id
rsBinId = stringToId rsBin

rsDate :: String
rsDate = "date"

rsDateId :: Id
rsDateId = stringToId rsDate

rsDatetime :: String
rsDatetime = "datetime"

rsDatetimeId :: Id
rsDatetimeId = stringToId rsDatetime

rsDecimal :: String
rsDecimal = "decimal"

rsDecimalId :: Id
rsDecimalId = stringToId rsDecimal

rsFloat :: String
rsFloat = "float"

rsFloatId :: Id
rsFloatId = stringToId rsFloat

rsDouble :: String
rsDouble = "double"

rsDoubleId :: Id
rsDoubleId = stringToId rsDouble

rsLong :: String
rsLong = "long"

rsLongId :: Id
rsLongId = stringToId rsLong

rsInteger :: String
rsInteger = "integer"

rsIntegerId :: Id
rsIntegerId = stringToId rsInteger

rsString :: String
rsString = "string"

rsStringId :: Id
rsStringId = stringToId rsString

rsText :: String
rsText = "text"

rsTextId :: Id
rsTextId = stringToId rsText

rsTime :: String
rsTime = "time"

rsTimeId :: Id
rsTimeId = stringToId rsTime

rsTimestamp :: String
rsTimestamp = "timestamp"

rsTimestampId :: Id
rsTimestampId = stringToId rsTimestamp

rsArrow :: String
rsArrow = "->"

rsArrowId :: Id
rsArrowId = stringToId rsArrow

rsNonPosInteger :: String
rsNonPosInteger = "nonPositiveInteger"

rsNonPosIntegerId :: Id
rsNonPosIntegerId = stringToId rsNonPosInteger

rsNonNegInteger :: String
rsNonNegInteger = "nonNegativeInteger"

rsNonNegIntegerId :: Id
rsNonNegIntegerId = stringToId rsNonNegInteger

rsPointer :: String
rsPointer = "pointer"

rsPointerId :: Id
rsPointerId = stringToId rsPointer

rsDataTypes :: [String]
rsDataTypes = [rsBool, rsBin, rsDate, rsDatetime, rsDecimal, rsFloat, rsInteger,
               rsString, rsText, rsTime, rsTimestamp, rsDouble, rsNonPosInteger,
               rsNonNegInteger]

rsKeyWords :: [String]
rsKeyWords = [rsTables, rsKey, rsRelationships, rs1to1, rs1tom, rsmto1, rsmtom,
              rsArrow, "end", "spec", "arch", "unit", "ref", "from", "logic",
              "then", rsPointer] ++ rsDataTypes

  | 
 Module       :   ./RelationalScheme / Keywords.hs 
 Description :   Keywords for Relational Schemes 
 Copyright    :     , Uni Bremen 2008 
 License      :   GPLv2 or higher , see LICENSE.txt or LIZENZ.txt 

 Maintainer   :    
 Stability    :   provisional 
 Portability :   portable 

 Keywords for Relational Schemes 

Module      :  ./RelationalScheme/Keywords.hs
Description :  Keywords for Relational Schemes
Copyright   :  Dominik Luecke, Uni Bremen 2008
License     :  GPLv2 or higher, see LICENSE.txt or LIZENZ.txt

Maintainer  :  
Stability   :  provisional
Portability :  portable

Keywords for Relational Schemes
-}

module RelationalScheme.Keywords where

import Common.Id

rsTables :: String
rsTables = "Tables"

rsTablesId :: Id
rsTablesId = stringToId rsTables

rsKey :: String
rsKey = "key"

rsKeyId :: Id
rsKeyId = stringToId rsKey

rsRelationships :: String
rsRelationships = "Relationships"

rsRelationshipsId :: Id
rsRelationshipsId = stringToId rsRelationships

rs1to1 :: String
rs1to1 = "one_to_one"

rs1to1Id :: Id
rs1to1Id = stringToId rs1to1

rs1tom :: String
rs1tom = "one_to_many"

rs1tomId :: Id
rs1tomId = stringToId rs1tom

rsmto1 :: String
rsmto1 = "many_to_one"

rsmto1Id :: Id
rsmto1Id = stringToId rsmto1

rsmtom :: String
rsmtom = "many_to_many"

rsmtomId :: Id
rsmtomId = stringToId rsmtom

rsBool :: String
rsBool = "boolean"

rsBoolId :: Id
rsBoolId = stringToId rsBool

rsBin :: String
rsBin = "binary"

rsBinId :: Id
rsBinId = stringToId rsBin

rsDate :: String
rsDate = "date"

rsDateId :: Id
rsDateId = stringToId rsDate

rsDatetime :: String
rsDatetime = "datetime"

rsDatetimeId :: Id
rsDatetimeId = stringToId rsDatetime

rsDecimal :: String
rsDecimal = "decimal"

rsDecimalId :: Id
rsDecimalId = stringToId rsDecimal

rsFloat :: String
rsFloat = "float"

rsFloatId :: Id
rsFloatId = stringToId rsFloat

rsDouble :: String
rsDouble = "double"

rsDoubleId :: Id
rsDoubleId = stringToId rsDouble

rsLong :: String
rsLong = "long"

rsLongId :: Id
rsLongId = stringToId rsLong

rsInteger :: String
rsInteger = "integer"

rsIntegerId :: Id
rsIntegerId = stringToId rsInteger

rsString :: String
rsString = "string"

rsStringId :: Id
rsStringId = stringToId rsString

rsText :: String
rsText = "text"

rsTextId :: Id
rsTextId = stringToId rsText

rsTime :: String
rsTime = "time"

rsTimeId :: Id
rsTimeId = stringToId rsTime

rsTimestamp :: String
rsTimestamp = "timestamp"

rsTimestampId :: Id
rsTimestampId = stringToId rsTimestamp

rsArrow :: String
rsArrow = "->"

rsArrowId :: Id
rsArrowId = stringToId rsArrow

rsNonPosInteger :: String
rsNonPosInteger = "nonPositiveInteger"

rsNonPosIntegerId :: Id
rsNonPosIntegerId = stringToId rsNonPosInteger

rsNonNegInteger :: String
rsNonNegInteger = "nonNegativeInteger"

rsNonNegIntegerId :: Id
rsNonNegIntegerId = stringToId rsNonNegInteger

rsPointer :: String
rsPointer = "pointer"

rsPointerId :: Id
rsPointerId = stringToId rsPointer

rsDataTypes :: [String]
rsDataTypes = [rsBool, rsBin, rsDate, rsDatetime, rsDecimal, rsFloat, rsInteger,
               rsString, rsText, rsTime, rsTimestamp, rsDouble, rsNonPosInteger,
               rsNonNegInteger]

rsKeyWords :: [String]
rsKeyWords = [rsTables, rsKey, rsRelationships, rs1to1, rs1tom, rsmto1, rsmtom,
              rsArrow, "end", "spec", "arch", "unit", "ref", "from", "logic",
              "then", rsPointer] ++ rsDataTypes
