8a77240a809197c92c0736c431b4b88947a7bac1Christian Maeder{- |

8a77240a809197c92c0736c431b4b88947a7bac1Christian MaederModule : $Header$

8a77240a809197c92c0736c431b4b88947a7bac1Christian MaederDescription : standard mixfix identifier

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian MaederCopyright : (c) Christian Maeder and DFKI Bremen 2008

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiMaintainer : Christian.Maeder@dfki.de

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuStability : experimental

2eeec5240b424984e3ee26296da1eeab6c6d739eChristian MaederPortability : portable

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskimixfix identifiers for testing CASL's and HasCASL's mixfix analysis

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder-}

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder

0095c7efbddd0ffeed6aaf8ec015346be161d819Till Mossakowskimodule Common.ExampleMixIds (stdOpsL, stdPreds, mkIds) where

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian Maeder

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiimport Common.Id

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiimport Common.AnnoParser

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederimport Common.Lexer

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederimport qualified Data.Set as Set

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskistdOpsL :: [String]

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaederstdOpsL =

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder [ "__^__", "__*__", "__+__", "[__]","__div__","__mod__", "__rem__"

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski , "__-__", "+__", "__E__", "__@@__", "[]", "__::__", "__:::__", "-__", "__!"

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski , "____p", "q____","____x____", "{____}"

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski , "repeat__until__", "while__do__od", "__none__but__", "__one__done"

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski , "A[a[c,d],b]", "B[a[c,d],b]", "__B[a[c,d],b]__"

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski , "a[c,d]", "__a[c,d]__", "A[a]", "A__B", "A__", "__[a]", "__p"

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski , "__ --> __", "__{__}--__-->{__}__", "__[__]__", "[__]__", "__[__]" ]

1a38107941725211e7c3f051f7a8f5e12199f03acmaeder

1a38107941725211e7c3f051f7a8f5e12199f03acmaederstdPredsL :: [String]

ad270004874ce1d0697fb30d7309f180553bb315Christian MaederstdPredsL =

1a38107941725211e7c3f051f7a8f5e12199f03acmaeder [ "__<__", "__<=__", "__>__", "__>=__", "__!=__", "__<>__"

ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maeder , "__/=__", "even__", "odd__", "__isEmpty", "__<=__<=__" ]

1a38107941725211e7c3f051f7a8f5e12199f03acmaeder

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaedermkIds :: [String] -> Set.Set Id

09b431a868c79a92ae7c9bd141565f43f9034144Christian MaedermkIds = Set.fromList . map (parseString parseAnnoId)

d3c9318c22fcf44d9135a3b2c64f880b9a785babChristian Maeder

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskistdPreds :: Set.Set Id

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskistdPreds = mkIds stdPredsL

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski