module BNFC.Backend.Java.CFtoAbstractVisitor (cf2AbstractVisitor) where
import BNFC.CF
import BNFC.Utils ((+++))
import BNFC.Backend.Common.NamedVariables
cf2AbstractVisitor :: String -> String -> CF -> String
cf2AbstractVisitor :: [Char] -> [Char] -> CF -> [Char]
cf2AbstractVisitor [Char]
packageBase [Char]
packageAbsyn CF
cf = [[Char]] -> [Char]
unlines
[ [Char]
"package" [Char] -> [Char] -> [Char]
+++ [Char]
packageBase forall a. [a] -> [a] -> [a]
++ [Char]
";"
, [Char]
""
, [Char]
"/** Abstract Visitor */"
, [Char]
""
, [Char]
"public class AbstractVisitor<R,A> implements AllVisitor<R,A> {"
, forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap ([Char] -> [[Char]] -> (Cat, [Rule]) -> [Char]
prData [Char]
packageAbsyn [[Char]]
user) [(Cat, [Rule])]
groups
, [Char]
"}"
]
where
user :: [[Char]]
user = forall a b. (a -> b) -> [a] -> [b]
map forall a b. (a, b) -> a
fst forall a b. (a -> b) -> a -> b
$ forall f. CFG f -> [([Char], Reg)]
tokenPragmas CF
cf
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) ]
prData :: String -> [UserDef] -> (Cat, [Rule]) -> String
prData :: [Char] -> [[Char]] -> (Cat, [Rule]) -> [Char]
prData [Char]
packageAbsyn [[Char]]
user (Cat
cat, [Rule]
rules) = [[Char]] -> [Char]
unlines forall a b. (a -> b) -> a -> b
$ forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat
[ [ [Char]
" /* " forall a. [a] -> [a] -> [a]
++ Cat -> [Char]
identCat Cat
cat forall a. [a] -> [a] -> [a]
++ [Char]
" */" ]
, forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap ([Char] -> [[Char]] -> Cat -> Rule -> [[Char]]
prRule [Char]
packageAbsyn [[Char]]
user Cat
cat) [Rule]
rules
, [ [Char]
" public R visitDefault(" forall a. [a] -> [a] -> [a]
++ [Char]
packageAbsyn forall a. [a] -> [a] -> [a]
++ [Char]
"." forall a. [a] -> [a] -> [a]
++ Cat -> [Char]
identCat Cat
cat forall a. [a] -> [a] -> [a]
++ [Char]
" p, A arg) {"
, [Char]
" throw new IllegalArgumentException(this.getClass()" forall a. [a] -> [a] -> [a]
++ [Char]
".getName() + \": \" + p);"
, [Char]
" }"
]
]
prRule :: String -> [UserDef] -> Cat -> Rule -> [String]
prRule :: [Char] -> [[Char]] -> Cat -> Rule -> [[Char]]
prRule [Char]
packageAbsyn [[Char]]
_ Cat
_ (Rule RFun
fun RCat
_ SentForm
_ InternalRule
_)
| Bool -> Bool
not (forall a. IsFun a => a -> Bool
isCoercion RFun
fun Bool -> Bool -> Bool
|| forall a. IsFun a => a -> Bool
isDefinedRule RFun
fun) = forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat
[ [Char]
" public R visit("
, [Char]
packageAbsyn forall a. [a] -> [a] -> [a]
++ [Char]
"." forall a. [a] -> [a] -> [a]
++ forall a. IsFun a => a -> [Char]
funName RFun
fun
, [Char]
" p, A arg) { return visitDefault(p, arg); }"
]
| Bool
otherwise = []