Keywords.hs revision 3d3889e0cefcdce9b3f43c53aaa201943ac2e895
{- |
Module : $Header$
Description : Keywords for Relational Schemes
Copyright : Dominik Luecke, Uni Bremen 2008
License : GPLv2 or higher, see LICENSE.txt or LIZENZ.txt
Maintainer : luecke@informatik.uni-bremen.de
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