{-
    BNF Converter: Java 1.5 All Visitor generator
    Copyright (C) 2006 Bjorn Bringert
    Based on CFtoVisitSkel.hs, Copyright (C) 2004-2006  Michael Pellauer

-}

module BNFC.Backend.Java.CFtoAllVisitor (cf2AllVisitor) where

import Data.List (intercalate)
import BNFC.CF
import BNFC.Utils ((+++))
import BNFC.Backend.Common.NamedVariables


cf2AllVisitor :: String -> String -> CF -> String
cf2AllVisitor :: [Char] -> [Char] -> CF -> [Char]
cf2AllVisitor [Char]
packageBase [Char]
packageAbsyn CF
cf = [[Char]] -> [Char]
unlines forall a b. (a -> b) -> a -> b
$ forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat
  [ [ [Char]
"package" [Char] -> [Char] -> [Char]
+++ [Char]
packageBase forall a. [a] -> [a] -> [a]
++ [Char]
";"
    , [Char]
""
    , [Char]
"/** All Visitor */"
    , [Char]
""
    , [Char]
"public interface AllVisitor<R,A>" forall a. [a] -> [a] -> [a]
++ if forall (t :: * -> *) a. Foldable t => t a -> Bool
null [[Char]]
is then [Char]
"" else [Char]
" extends"
    ]
  , [ forall a. [a] -> [[a]] -> [a]
intercalate [Char]
",\n" forall a b. (a -> b) -> a -> b
$ forall a b. (a -> b) -> [a] -> [b]
map ([Char]
"  "forall a. [a] -> [a] -> [a]
++) [[Char]]
is | Bool -> Bool
not forall a b. (a -> b) -> a -> b
$ forall (t :: * -> *) a. Foldable t => t a -> Bool
null [[Char]]
is ]
  , [ [Char]
"{}" ]
  ]
  where
    groups :: [(Cat, [Rule])]
groups = [ (Cat, [Rule])
g
        | g :: (Cat, [Rule])
g@(Cat
c,[Rule]
_) <- [(Cat, [Rule])] -> [(Cat, [Rule])]
fixCoercions (CF -> [(Cat, [Rule])]
ruleGroupsInternals CF
cf), Bool -> Bool
not (Cat -> Bool
isList Cat
c) ]
    is :: [[Char]]
is     = forall a b. (a -> b) -> [a] -> [b]
map ([Char] -> (Cat, [Rule]) -> [Char]
prInterface [Char]
packageAbsyn) [(Cat, [Rule])]
groups

prInterface :: String -> (Cat, [Rule]) -> String
prInterface :: [Char] -> (Cat, [Rule]) -> [Char]
prInterface [Char]
packageAbsyn (Cat
cat, [Rule]
_) =
    [Char]
q forall a. [a] -> [a] -> [a]
++ [Char]
".Visitor<R,A>"
  where q :: [Char]
q = [Char]
packageAbsyn forall a. [a] -> [a] -> [a]
++ [Char]
"." forall a. [a] -> [a] -> [a]
++ Cat -> [Char]
identCat Cat
cat