summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF/BuildParser.hs
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-12-14 10:54:22 +0000
committerkrasimir <krasimir@chalmers.se>2009-12-14 10:54:22 +0000
commitc036459214852ca01868f5da81408f49b22a49e9 (patch)
tree72a767680911cba272a033b07fc750c0d4f1d0d3 /src/runtime/haskell/PGF/BuildParser.hs
parentfaa638d6fc5dbc47d5e3ef3d4da42449005c3a0d (diff)
remove the old parsing code and the -erasing=on flag
Diffstat (limited to 'src/runtime/haskell/PGF/BuildParser.hs')
-rw-r--r--src/runtime/haskell/PGF/BuildParser.hs76
1 files changed, 0 insertions, 76 deletions
diff --git a/src/runtime/haskell/PGF/BuildParser.hs b/src/runtime/haskell/PGF/BuildParser.hs
deleted file mode 100644
index 23e0725c6..000000000
--- a/src/runtime/haskell/PGF/BuildParser.hs
+++ /dev/null
@@ -1,76 +0,0 @@
----------------------------------------------------------------------
--- |
--- Maintainer : Krasimir Angelov
--- Stability : (stable)
--- Portability : (portable)
---
--- FCFG parsing, parser information
------------------------------------------------------------------------------
-
-module PGF.BuildParser where
-
-import GF.Data.SortedList
-import GF.Data.Assoc
-import PGF.CId
-import PGF.Data
-import PGF.Parsing.FCFG.Utilities
-
-import Data.Array.IArray
-import Data.Maybe
-import qualified Data.IntMap as IntMap
-import qualified Data.Map as Map
-import qualified Data.Set as Set
-import Debug.Trace
-
-
-data ParserInfoEx
- = ParserInfoEx { epsilonRules :: [(FunId,[FCat],FCat)]
- , leftcornerCats :: Assoc FCat [(FunId,[FCat],FCat)]
- , leftcornerTokens :: Assoc String [(FunId,[FCat],FCat)]
- , grammarToks :: [String]
- }
-
-------------------------------------------------------------
--- parser information
-
-getLeftCornerTok pinfo (FFun _ _ lins)
- | inRange (bounds syms) 0 = case syms ! 0 of
- FSymKS [tok] -> [tok]
- _ -> []
- | otherwise = []
- where
- syms = (sequences pinfo) ! (lins ! 0)
-
-getLeftCornerCat pinfo args (FFun _ _ lins)
- | inRange (bounds syms) 0 = case syms ! 0 of
- FSymCat d _ -> let cat = args !! d
- in case IntMap.lookup cat (productions pinfo) of
- Just set -> cat : [cat' | FCoerce cat' <- Set.toList set]
- Nothing -> [cat]
- _ -> []
- | otherwise = []
- where
- syms = (sequences pinfo) ! (lins ! 0)
-
-buildParserInfo :: ParserInfo -> ParserInfoEx
-buildParserInfo pinfo =
- ParserInfoEx { epsilonRules = epsilonrules
- , leftcornerCats = leftcorncats
- , leftcornerTokens = leftcorntoks
- , grammarToks = grammartoks
- }
-
- where epsilonrules = [ (ruleid,args,cat)
- | (cat,set) <- IntMap.toList (productions pinfo)
- , (FApply ruleid args) <- Set.toList set
- , let (FFun _ _ lins) = (functions pinfo) ! ruleid
- , not (inRange (bounds ((sequences pinfo) ! (lins ! 0))) 0) ]
- leftcorncats = accumAssoc id [ (cat', (ruleid, args, cat))
- | (cat,set) <- IntMap.toList (productions pinfo)
- , (FApply ruleid args) <- Set.toList set
- , cat' <- getLeftCornerCat pinfo args ((functions pinfo) ! ruleid) ]
- leftcorntoks = accumAssoc id [ (tok, (ruleid, args, cat))
- | (cat,set) <- IntMap.toList (productions pinfo)
- , (FApply ruleid args) <- Set.toList set
- , tok <- getLeftCornerTok pinfo ((functions pinfo) ! ruleid) ]
- grammartoks = nubsort [t | lin <- elems (sequences pinfo), FSymKS [t] <- elems lin]