Parse_AS.hs revision 2b4130336e941b7d01c78a6da55449a4c6eca609
38df2bfbe2de19e549aa812bab7c79fcf869b308Till MossakowskiModule : $Header$
38df2bfbe2de19e549aa812bab7c79fcf869b308Till MossakowskiCopyright : (c) Till Mossakowski, Wiebke Herding and Uni Bremen 2003
aabc0d2680ea5411d5a9c82c1b2ca1f4144ca18fRainer GrabbeLicence : All rights reserved.
38df2bfbe2de19e549aa812bab7c79fcf869b308Till MossakowskiMaintainer : hets@tzi.de
2eeec5240b424984e3ee26296da1eeab6c6d739eChristian MaederStability : provisional
38df2bfbe2de19e549aa812bab7c79fcf869b308Till MossakowskiPortability : portable
38df2bfbe2de19e549aa812bab7c79fcf869b308Till Mossakowski Parser for modal logic extension of CASL
8b66de47c89e252c907c8ed3a5ccd16dbccbfb3eChristian MaederboxKey, diamondKey :: AParser Token
8b0bd90bc649e740c134ad0946e0d0409c3c96e6Christian MaederboxKey = asKey boxS
8b0bd90bc649e740c134ad0946e0d0409c3c96e6Christian MaederdiamondKey = asKey diamondS
7857e6ac0ed79540893dcb3e22af571ab2894932Till MossakowskimodalFormula :: [String] -> AParser M_FORMULA
38df2bfbe2de19e549aa812bab7c79fcf869b308Till MossakowskimodalFormula k =
2df21ee905717748894ce0d1b775b2a01bef4a44Christian Maeder do c <- boxKey
2df21ee905717748894ce0d1b775b2a01bef4a44Christian Maeder f <- primFormula k
2df21ee905717748894ce0d1b775b2a01bef4a44Christian Maeder return (Box None f [tokPos c])
38df2bfbe2de19e549aa812bab7c79fcf869b308Till Mossakowski do c <- diamondKey
baef5e750fbc19bad340a3293a17ba34d4fabbedChristian Maeder f <- primFormula k
f64563593a58e0e9de073c21ae69a1a877cb4692Till Mossakowski return (Diamond None f [tokPos c])
baef5e750fbc19bad340a3293a17ba34d4fabbedChristian Maederinstance Parsable M_FORMULA where
baef5e750fbc19bad340a3293a17ba34d4fabbedChristian Maeder aparser = modalFormula