7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maeder{- |

7abd0c58a5ce51db13f93de82407b2188d55d298Christian MaederModule : $Header$

81d182b21020b815887e9057959228546cf61b6bChristian MaederDescription : Abstract syntax for COL extension of CASL

14a1af9d9909dc47dc7fee6b0170b7ac0aef85daChristian MaederCopyright : (c) Till Mossakowski, Uni Bremen 2004

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder

3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederMaintainer : till@informatik.uni-bremen.de

7abd0c58a5ce51db13f93de82407b2188d55d298Christian MaederStability : provisional

2ac1742771a267119f1d839054b5e45d0a468085Christian MaederPortability : portable

7abd0c58a5ce51db13f93de82407b2188d55d298Christian Maeder

35597678f1c9da703de8d0b6b66ea63247ebe884Christian MaederAbstract syntax for COL extension of CASL

c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder Only the added syntax is specified

c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder-}

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder

c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maedermodule COL.AS_COL where

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder

950e053ba55ac9c7d9c26a1ab48bd00202b29511Christian Maederimport Common.Id

36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederimport Common.AS_Annotation

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederimport CASL.AS_Basic_CASL

36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder

14a1af9d9909dc47dc7fee6b0170b7ac0aef85daChristian Maeder-- DrIFT command

ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder{-! global: UpPos !-}

ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder

4ef2a978e66e2246ff0b7f00c77deb7aabb28b8eChristian Maedertype COL_BASIC_SPEC = BASIC_SPEC () COL_SIG_ITEM ()

8197d0be8b81692f311ad5ca34e125e2cf9eecb8Christian Maeder

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederdata COL_SIG_ITEM =

a6f84880cea4485fba85b521d122eba73b0df70bChristian Maeder Constructor_items [Annoted Id] Range

74a946e10a4b324c10d7a59f84298afbcae9b3cfChristian Maeder -- pos: ids

72b9099aeec0762bae4546db3bc4b48721027bf4Christian Maeder | Observer_items [Annoted (Id, Maybe Int)] Range

72b9099aeec0762bae4546db3bc4b48721027bf4Christian Maeder -- pos: ids

ccf3de3d66b521a260e5c22d335c64a48e3f0195Christian Maeder deriving (Eq, Show)

72b9099aeec0762bae4546db3bc4b48721027bf4Christian Maeder

74a946e10a4b324c10d7a59f84298afbcae9b3cfChristian Maeder

c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian MaederconstructorS, constructorsS :: String

878ac75d7acbbb06412e82a4c95356ce60f942deChristian MaederconstructorS = "constructor"

c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian MaederconstructorsS = constructorS ++ "s"

35597678f1c9da703de8d0b6b66ea63247ebe884Christian Maeder

f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian MaederobserverS, observersS :: String

2ac1742771a267119f1d839054b5e45d0a468085Christian MaederobserverS = "observer"

36c6cc568751e4235502cfee00ba7b597dae78dcChristian MaederobserversS = observerS ++ "s"

2ac1742771a267119f1d839054b5e45d0a468085Christian Maeder

36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maedercol_reserved_words :: [String]

f26a1fc3851297e6483cf3fb56e9c0967b8f8b13Christian Maedercol_reserved_words = [constructorS,constructorsS,observerS,observersS]

6b1153c560b677f9f5da2a60ee8a10de75ff90c5Christian Maeder