5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian MaederDescription : standard mixfix identifier
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian MaederCopyright : (c) Christian Maeder and DFKI Bremen 2008
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuLicense : GPLv2 or higher, see LICENSE.txt
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian MaederMaintainer : Christian.Maeder@dfki.de
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian MaederStability : experimental
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian MaederPortability : portable
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian Maedermixfix identifiers for testing CASL's and HasCASL's mixfix analysis
e9d60751b5ff7e1c9fa2c3fd2df9c4cdb1597a63Christian Maedermodule Common.ExampleMixIds (stdOpsL, stdPreds, mkIds) where
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian Maederimport qualified Data.Set as Set
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian MaederstdOpsL :: [String]
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder [ "__^__", "__*__", "__+__", "[__]", "__div__", "__mod__", "__rem__"
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian Maeder , "__-__", "+__", "__E__", "__@@__", "[]", "__::__", "__:::__", "-__", "__!"
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder , "____p", "q____", "____x____", "{____}"
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian Maeder , "repeat__until__", "while__do__od", "__none__but__", "__one__done"
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian Maeder , "A[a[c,d],b]", "B[a[c,d],b]", "__B[a[c,d],b]__"
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian Maeder , "a[c,d]", "__a[c,d]__", "A[a]", "A__B", "A__", "__[a]", "__p"
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian Maeder , "__ --> __", "__{__}--__-->{__}__", "__[__]__", "[__]__", "__[__]" ]
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian MaederstdPredsL :: [String]
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian Maeder [ "__<__", "__<=__", "__>__", "__>=__", "__!=__", "__<>__"
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian Maeder , "__/=__", "even__", "odd__", "__isEmpty", "__<=__<=__" ]
5f5a64f82934d363d2548d4cb6af4fd13e974b8bChristian MaedermkIds :: [String] -> Set.Set Id
bccea164bdfc2ddc3d1e20749bb5477a46eab3a6Christian MaedermkIds = Set.fromList . map (parseString parseAnnoId)
e9d60751b5ff7e1c9fa2c3fd2df9c4cdb1597a63Christian MaederstdPreds = mkIds stdPredsL