81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder{- |
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerModule : ./Hybrid/Keywords.hs
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederDescription : String constants for HybridCASL keywords to be used for parsing
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder and printing
ffd328462d99eb679e14c0d81e8dde21e046c59fJonathan von SchroederCopyright : (c) Renato Neves and Mondrian Project 2012
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederLicense : GPLv2 or higher, see LICENSE.txt
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder
ffd328462d99eb679e14c0d81e8dde21e046c59fJonathan von SchroederMaintainer : nevrenato@gmail.com
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederStability : experimental
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederPortability : portable
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroederString constants for keywords to be used for parsing and printing
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder- all identifiers are mixed case (i.e. the keyword followed by a capital S)
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder-}
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroedermodule Hybrid.Keywords where
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroedernominalS :: String
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroedernominalS = "nominal"
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroedernominalsS :: String
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von SchroedernominalsS = "nominals"