GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-22 19:22:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

fixed lbnf printing

Browse Source
This commit is contained in:
aarne
2005-03-12 12:01:48 +00:00
parent f3e318d752
commit 661e949b97
1 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/GF/CF/PrLBNF.hs
View File

@@ -5,9 +5,9 @@
-- Stability : (stable) -- Stability : (stable)
-- Portability : (portable) -- Portability : (portable)
-- --
-- > CVS $Date: 2005/02/18 19:21:08 $ -- > CVS $Date: 2005/03/12 13:01:48 $
-- > CVS $Author: peb $ -- > CVS $Author: aarne $
-- > CVS $Revision: 1.8 $ -- > CVS $Revision: 1.9 $
-- --
-- Printing CF grammars generated from GF as LBNF grammar for BNFC. -- Printing CF grammars generated from GF as LBNF grammar for BNFC.
-- AR 26/1/2000 -- 9/6/2003 (PPrCF) -- 8/11/2003 -- 27/9/2004. -- AR 26/1/2000 -- 9/6/2003 (PPrCF) -- 8/11/2003 -- 27/9/2004.
@@ -32,13 +32,18 @@ import Char
import List (nub) import List (nub)
prLBNF :: Bool -> StateGrammar -> String prLBNF :: Bool -> StateGrammar -> String
prLBNF new gr = unlines $ pragmas ++ (map (prCFRule cs) rules) prLBNF new gr = unlines $ pragmas ++ (map (prCFRule cs) rules')
where where
cs = map IC ["Int","String"] ++ [catIdPlus c | (_,(c,_)) <- rules] cs = map IC ["Int","String"] ++ [catIdPlus c | (_,(c,_)) <- rules]
cf = stateCF gr cf = stateCF gr
(pragmas,rules) = if new -- tries to treat precedence levels (pragmas,rules) = if new -- tries to treat precedence levels
then mkLBNF (stateGrammarST gr) $ rulesOfCF cf then mkLBNF (stateGrammarST gr) $ rulesOfCF cf
else ([],rulesOfCF cf) -- "normal" behaviour else ([],rulesOfCF cf) -- "normal" behaviour
rules' = concatMap expand rules
expand (f,(c,its)) = [(f,(c,it)) | it <- combinations (map expIt its)]
expIt i = case i of
CFTerm (RegAlts ss) -> [CFTerm (RegAlts [s]) | s <- ss]
_ -> [i]
-- | a hack to hide the LBNF details -- | a hack to hide the LBNF details
prBNF :: Bool -> StateGrammar -> String prBNF :: Bool -> StateGrammar -> String