Sign.hs revision 1a38107941725211e7c3f051f7a8f5e12199f03a
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner{-# LANGUAGE DeriveDataTypeable #-}
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederModule : $Header$
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerDescription : signatures for FPL
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCopyright : (c) Christian Maeder, DFKI GmbH 2011
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerLicense : GPLv2 or higher, see LICENSE.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMaintainer : Christian.Maeder@dfki.de
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerStability : provisional
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPortability : portable
d23ecf32e56cce69bc42eb5c96dddf7909c623abjelmdsignature extension for FPL to keep track of constructors
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerimport qualified Common.Lib.MapSet as MapSet
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerimport qualified Common.Lib.Rel as Rel
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerboolSort :: Id
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerboolSort = stringToId "Bool"
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksatrueC = stringToId trueS
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksafalseC = stringToId falseS
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaboolType :: OpType
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaboolType = sortToOpType boolSort
a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen Kuksadata SignExt = SignExt
a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen Kuksa { constr :: OpMap }
a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen Kuksa deriving (Show, Eq, Ord, Typeable, Data)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerinstance Pretty SignExt where
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner pretty es = let nr = nullRange in case
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner groupBy (\ (_, c1) (_, c2) -> opRes c1 == opRes c2)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner $ sortBy (comparing (opRes . snd))
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksa $ mapSetToList $ constr es of
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksa l -> topSigKey (sortS ++ appendS l) <+> sepBySemis
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (map (\ g -> printDD
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (Datatype_decl (opRes $ snd $ head g)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner (map (\ (i, t) -> emptyAnno $
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner Alt_construct Total i (map Sort $ opArgs t) nr)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElkneremptyFplSign :: SignExt
60e6795dd310e10194e12bb660575aadf941328bEugen KuksaemptyFplSign = SignExt MapSet.empty
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederdiffFplSign :: SignExt -> SignExt -> SignExt
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederdiffFplSign a b = a
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder { constr = constr a `diffOpMapSet` constr b }
c0c2380bced8159ff0297ece14eba948bd236471Christian MaederaddFplSign :: SignExt -> SignExt -> SignExt
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichaddFplSign a b = a
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maeder { constr = addOpMapSet (constr a) $ constr b }
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichinterFplSign :: SignExt -> SignExt -> SignExt
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederinterFplSign a b = a
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder { constr = interOpMapSet (constr a) $ constr b }
ce5b44277ea06257548ff625e928cb1290c6d297cmaederisSubFplSign :: SignExt -> SignExt -> Bool
bab2d88d650448628730ed3b65c9f99c52500e8cChristian MaederisSubFplSign s1 s2 = isSubOpMap (constr s1) (constr s2)
ce5b44277ea06257548ff625e928cb1290c6d297cmaedertype FplSign = Sign TermExt SignExt
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederaddBools :: OpMap -> OpMap
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederaddBools = addOpTo falseC boolType . addOpTo trueC boolType
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederaddConsts :: SignExt -> SignExt
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederaddConsts s = s { constr = addBools $ constr s }
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederaddBuiltins :: FplSign -> FplSign
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederaddBuiltins s = s { sortRel = Rel.insertKey boolSort $ sortRel s
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , opMap = addBools $ opMap s
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder , extendedInfo = addConsts $ extendedInfo s }
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederdelBuiltins :: FplSign -> FplSign
3dde4051c307b609159a097f08a05108fdd036efJonathan von SchroederdelBuiltins s = diffSig diffFplSign s $ addBuiltins $ emptySign emptyFplSign