d6db74366285d5a0ffec71ac252cfa29800c4855Klaus Luettich{- |

d6db74366285d5a0ffec71ac252cfa29800c4855Klaus LuettichModule : $Header$

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian MaederCopyright : (c) Christian Maeder, Uni Bremen 2002-2004

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian MaederLicence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder

d6db74366285d5a0ffec71ac252cfa29800c4855Klaus LuettichMaintainer : hets@tzi.de

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian MaederStability : experimental

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian MaederPortability : portable

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maedertest some parsers (and printers)

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder-}

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maedermodule Main where

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maederimport CASL.Formula

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maederimport CASL.AS_Basic_CASL

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maederimport CASL.Print_AS_Basic

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maederimport CASL.Parse_AS_Basic

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maederimport Common.AnnoState

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maederimport Common.RunParsers

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maederimport CASL.RunMixfixParser

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maederimport CASL.RunStaticAna

ea608ca1c00ddcee3d3605b96767b9a116c697fdHeng Jiang

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maedermain :: IO ()

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maedermain = exec lineParser fileParser

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder

c9b52747a3b65bdf60f47a842a767eb58d7c2b09Klaus LuettichlineParser, fileParser :: [(String, StringParser)]

6588ecc93db54073b171dfa13fdb1edabaad326bChristian MaederlineParser = [

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maeder ("Terms", fromAParser (term :: AParser (TERM ()))),

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder ("Formula", fromAParser (formula :: AParser (FORMULA ()))),

c9b52747a3b65bdf60f47a842a767eb58d7c2b09Klaus Luettich ("SortItem", fromAParser (sortItems :: AParser (SIG_ITEMS () ()))),

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maeder ("OpItem", fromAParser (opItems :: AParser (SIG_ITEMS () ()))),

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder ("PredItem", fromAParser (predItems :: AParser (SIG_ITEMS () ()))),

5fe1c87d7201d2e97d4ef280c9af0c6eb026e575Christian Maeder ("MixfixTerms", toStringParser resolveTerm),

ea608ca1c00ddcee3d3605b96767b9a116c697fdHeng Jiang ("MixfixFormula", toStringParser resolveForm),

ea608ca1c00ddcee3d3605b96767b9a116c697fdHeng Jiang ("ShowTerms", fromAParser testTerm),

d6db74366285d5a0ffec71ac252cfa29800c4855Klaus Luettich ("ShowTermsMix", toStringParser testTermMix),

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maeder ("ShowForm", fromAParser testFormula),

ea608ca1c00ddcee3d3605b96767b9a116c697fdHeng Jiang ("ShowFormMix", toStringParser testFormulaMix)]

d6db74366285d5a0ffec71ac252cfa29800c4855Klaus Luettich

6588ecc93db54073b171dfa13fdb1edabaad326bChristian MaederfileParser = [("BasicSpec", fromAParser (basicSpec

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maeder :: AParser (BASIC_SPEC () () ())))

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maeder , ("analysis", toStringParser runAna)

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maeder , ("signature", toStringParser getSign)

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maeder , ("sentences", toStringParser getProps)

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maeder ]

6588ecc93db54073b171dfa13fdb1edabaad326bChristian Maeder