uuagc-0.9.27: src-derived/SemHsTokens.hs
-- UUAGC 0.9.26 (SemHsTokens.ag)
module SemHsTokens where
{-# LINE 4 "SemHsTokens.ag" #-}
import qualified Data.Sequence as Seq
import Data.Sequence(Seq,empty,singleton,(><))
import Data.Foldable(toList)
import Pretty
import TokenDef
import HsToken
import ErrorMessages
{-# LINE 16 "../src-derived/SemHsTokens.hs" #-}
{-# LINE 2 "./HsToken.ag" #-}
import CommonTypes
import UU.Scanner.Position(Pos)
{-# LINE 22 "../src-derived/SemHsTokens.hs" #-}
{-# LINE 57 "SemHsTokens.ag" #-}
isNTname allnts (Just (NT nt _)) = nt `elem` allnts
isNTname allnts _ = False
{-# LINE 27 "../src-derived/SemHsTokens.hs" #-}
-- HsToken -----------------------------------------------------
{-
visit 0:
inherited attributes:
allfields : [(Identifier,Type,Maybe (Maybe Type))]
allnts : [Identifier]
attrs : [(Identifier,Identifier)]
con : Identifier
fieldnames : [Identifier]
nt : Identifier
synthesized attributes:
errors : Seq Error
tok : (Pos,String)
usedAttrs : [(Identifier,Identifier)]
usedFields : Seq Identifier
usedLocals : [Identifier]
alternatives:
alternative AGField:
child field : {Identifier}
child attr : {Identifier}
child pos : {Pos}
child rdesc : {Maybe String}
visit 0:
local addTrace : _
alternative AGLocal:
child var : {Identifier}
child pos : {Pos}
child rdesc : {Maybe String}
visit 0:
local _tup1 : _
local errors : _
local tok : _
local usedLocals : _
alternative CharToken:
child value : {String}
child pos : {Pos}
alternative Err:
child mesg : {String}
child pos : {Pos}
alternative HsToken:
child value : {String}
child pos : {Pos}
alternative StrToken:
child value : {String}
child pos : {Pos}
-}
-- cata
sem_HsToken :: HsToken ->
T_HsToken
sem_HsToken (AGField _field _attr _pos _rdesc ) =
(sem_HsToken_AGField _field _attr _pos _rdesc )
sem_HsToken (AGLocal _var _pos _rdesc ) =
(sem_HsToken_AGLocal _var _pos _rdesc )
sem_HsToken (CharToken _value _pos ) =
(sem_HsToken_CharToken _value _pos )
sem_HsToken (Err _mesg _pos ) =
(sem_HsToken_Err _mesg _pos )
sem_HsToken (HsToken _value _pos ) =
(sem_HsToken_HsToken _value _pos )
sem_HsToken (StrToken _value _pos ) =
(sem_HsToken_StrToken _value _pos )
-- semantic domain
newtype T_HsToken = T_HsToken (([(Identifier,Type,Maybe (Maybe Type))]) ->
([Identifier]) ->
([(Identifier,Identifier)]) ->
Identifier ->
([Identifier]) ->
Identifier ->
( (Seq Error),((Pos,String)),([(Identifier,Identifier)]),(Seq Identifier),([Identifier])))
data Inh_HsToken = Inh_HsToken {allfields_Inh_HsToken :: ([(Identifier,Type,Maybe (Maybe Type))]),allnts_Inh_HsToken :: ([Identifier]),attrs_Inh_HsToken :: ([(Identifier,Identifier)]),con_Inh_HsToken :: Identifier,fieldnames_Inh_HsToken :: ([Identifier]),nt_Inh_HsToken :: Identifier}
data Syn_HsToken = Syn_HsToken {errors_Syn_HsToken :: (Seq Error),tok_Syn_HsToken :: ((Pos,String)),usedAttrs_Syn_HsToken :: ([(Identifier,Identifier)]),usedFields_Syn_HsToken :: (Seq Identifier),usedLocals_Syn_HsToken :: ([Identifier])}
wrap_HsToken :: T_HsToken ->
Inh_HsToken ->
Syn_HsToken
wrap_HsToken (T_HsToken sem ) (Inh_HsToken _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt ) =
(let ( _lhsOerrors,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) =
(sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt )
in (Syn_HsToken _lhsOerrors _lhsOtok _lhsOusedAttrs _lhsOusedFields _lhsOusedLocals ))
sem_HsToken_AGField :: Identifier ->
Identifier ->
Pos ->
(Maybe String) ->
T_HsToken
sem_HsToken_AGField field_ attr_ pos_ rdesc_ =
(T_HsToken (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIfieldnames
_lhsInt ->
(let _lhsOerrors :: (Seq Error)
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOtok :: ((Pos,String))
_lhsOusedFields :: (Seq Identifier)
_lhsOusedLocals :: ([Identifier])
-- "SemHsTokens.ag"(line 74, column 15)
_lhsOerrors =
({-# LINE 74 "SemHsTokens.ag" #-}
if (field_,attr_) `elem` _lhsIattrs
then Seq.empty
else if not(field_ `elem` (_LHS : _LOC: _lhsIfieldnames))
then Seq.singleton (UndefChild _lhsInt _lhsIcon field_)
else Seq.singleton (UndefAttr _lhsInt _lhsIcon field_ attr_ False)
{-# LINE 131 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 88, column 13)
_lhsOusedAttrs =
({-# LINE 88 "SemHsTokens.ag" #-}
[(field_,attr_)]
{-# LINE 136 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 115, column 8)
_addTrace =
({-# LINE 115 "SemHsTokens.ag" #-}
case rdesc_ of
Just d -> \x -> "(trace " ++ show (d ++ " -> " ++ show field_ ++ "." ++ show attr_) ++ " (" ++ x ++ "))"
Nothing -> id
{-# LINE 143 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 118, column 8)
_lhsOtok =
({-# LINE 118 "SemHsTokens.ag" #-}
(pos_, _addTrace $ attrname True field_ attr_)
{-# LINE 148 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 93, column 40)
_lhsOusedFields =
({-# LINE 93 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 153 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 84, column 40)
_lhsOusedLocals =
({-# LINE 84 "SemHsTokens.ag" #-}
[]
{-# LINE 158 "SemHsTokens.hs" #-})
in ( _lhsOerrors,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )
sem_HsToken_AGLocal :: Identifier ->
Pos ->
(Maybe String) ->
T_HsToken
sem_HsToken_AGLocal var_ pos_ rdesc_ =
(T_HsToken (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIfieldnames
_lhsInt ->
(let _lhsOusedFields :: (Seq Identifier)
_lhsOerrors :: (Seq Error)
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedLocals :: ([Identifier])
_lhsOtok :: ((Pos,String))
-- "SemHsTokens.ag"(line 64, column 19)
__tup1 =
({-# LINE 64 "SemHsTokens.ag" #-}
if var_ `elem` _lhsIfieldnames
then if isNTname _lhsIallnts (lookup var_ (map (\(n,t,_) -> (n,t)) _lhsIallfields))
then (Seq.singleton(ChildAsLocal _lhsInt _lhsIcon var_), (pos_,fieldname var_), [] )
else (Seq.empty, (pos_,fieldname var_), [] )
else if (_LOC,var_) `elem` _lhsIattrs
then (Seq.empty , (pos_,locname var_), [var_])
else (Seq.singleton(UndefLocal _lhsInt _lhsIcon var_), (pos_,locname var_), [] )
{-# LINE 186 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 64, column 19)
(_errors,_,_) =
({-# LINE 64 "SemHsTokens.ag" #-}
__tup1
{-# LINE 191 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 64, column 19)
(_,_tok,_) =
({-# LINE 64 "SemHsTokens.ag" #-}
__tup1
{-# LINE 196 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 64, column 19)
(_,_,_usedLocals) =
({-# LINE 64 "SemHsTokens.ag" #-}
__tup1
{-# LINE 201 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 96, column 13)
_lhsOusedFields =
({-# LINE 96 "SemHsTokens.ag" #-}
if var_ `elem` _lhsIfieldnames
then Seq.singleton var_
else Seq.empty
{-# LINE 208 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
_errors
{-# LINE 213 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 85, column 40)
_lhsOusedAttrs =
({-# LINE 85 "SemHsTokens.ag" #-}
[]
{-# LINE 218 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 84, column 40)
_lhsOusedLocals =
({-# LINE 84 "SemHsTokens.ag" #-}
_usedLocals
{-# LINE 223 "SemHsTokens.hs" #-})
-- copy rule (from local)
_lhsOtok =
({-# LINE 113 "SemHsTokens.ag" #-}
_tok
{-# LINE 228 "SemHsTokens.hs" #-})
in ( _lhsOerrors,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )
sem_HsToken_CharToken :: String ->
Pos ->
T_HsToken
sem_HsToken_CharToken value_ pos_ =
(T_HsToken (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIfieldnames
_lhsInt ->
(let _lhsOtok :: ((Pos,String))
_lhsOerrors :: (Seq Error)
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedFields :: (Seq Identifier)
_lhsOusedLocals :: ([Identifier])
-- "SemHsTokens.ag"(line 122, column 16)
_lhsOtok =
({-# LINE 122 "SemHsTokens.ag" #-}
(pos_, if null value_
then ""
else showCharShort (head value_)
)
{-# LINE 252 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 257 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 85, column 40)
_lhsOusedAttrs =
({-# LINE 85 "SemHsTokens.ag" #-}
[]
{-# LINE 262 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 93, column 40)
_lhsOusedFields =
({-# LINE 93 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 267 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 84, column 40)
_lhsOusedLocals =
({-# LINE 84 "SemHsTokens.ag" #-}
[]
{-# LINE 272 "SemHsTokens.hs" #-})
in ( _lhsOerrors,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )
sem_HsToken_Err :: String ->
Pos ->
T_HsToken
sem_HsToken_Err mesg_ pos_ =
(T_HsToken (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIfieldnames
_lhsInt ->
(let _lhsOerrors :: (Seq Error)
_lhsOtok :: ((Pos,String))
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedFields :: (Seq Identifier)
_lhsOusedLocals :: ([Identifier])
-- "SemHsTokens.ag"(line 50, column 9)
_lhsOerrors =
({-# LINE 50 "SemHsTokens.ag" #-}
let m = text mesg_
in Seq.singleton (CustomError False pos_ m)
{-# LINE 294 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 128, column 16)
_lhsOtok =
({-# LINE 128 "SemHsTokens.ag" #-}
(pos_, "")
{-# LINE 299 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 85, column 40)
_lhsOusedAttrs =
({-# LINE 85 "SemHsTokens.ag" #-}
[]
{-# LINE 304 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 93, column 40)
_lhsOusedFields =
({-# LINE 93 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 309 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 84, column 40)
_lhsOusedLocals =
({-# LINE 84 "SemHsTokens.ag" #-}
[]
{-# LINE 314 "SemHsTokens.hs" #-})
in ( _lhsOerrors,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )
sem_HsToken_HsToken :: String ->
Pos ->
T_HsToken
sem_HsToken_HsToken value_ pos_ =
(T_HsToken (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIfieldnames
_lhsInt ->
(let _lhsOtok :: ((Pos,String))
_lhsOerrors :: (Seq Error)
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedFields :: (Seq Identifier)
_lhsOusedLocals :: ([Identifier])
-- "SemHsTokens.ag"(line 120, column 14)
_lhsOtok =
({-# LINE 120 "SemHsTokens.ag" #-}
(pos_, value_)
{-# LINE 335 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 340 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 85, column 40)
_lhsOusedAttrs =
({-# LINE 85 "SemHsTokens.ag" #-}
[]
{-# LINE 345 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 93, column 40)
_lhsOusedFields =
({-# LINE 93 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 350 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 84, column 40)
_lhsOusedLocals =
({-# LINE 84 "SemHsTokens.ag" #-}
[]
{-# LINE 355 "SemHsTokens.hs" #-})
in ( _lhsOerrors,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )
sem_HsToken_StrToken :: String ->
Pos ->
T_HsToken
sem_HsToken_StrToken value_ pos_ =
(T_HsToken (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIfieldnames
_lhsInt ->
(let _lhsOtok :: ((Pos,String))
_lhsOerrors :: (Seq Error)
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedFields :: (Seq Identifier)
_lhsOusedLocals :: ([Identifier])
-- "SemHsTokens.ag"(line 127, column 16)
_lhsOtok =
({-# LINE 127 "SemHsTokens.ag" #-}
(pos_, showStrShort value_)
{-# LINE 376 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 381 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 85, column 40)
_lhsOusedAttrs =
({-# LINE 85 "SemHsTokens.ag" #-}
[]
{-# LINE 386 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 93, column 40)
_lhsOusedFields =
({-# LINE 93 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 391 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 84, column 40)
_lhsOusedLocals =
({-# LINE 84 "SemHsTokens.ag" #-}
[]
{-# LINE 396 "SemHsTokens.hs" #-})
in ( _lhsOerrors,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )
-- HsTokens ----------------------------------------------------
{-
visit 0:
inherited attributes:
allfields : [(Identifier,Type,Maybe (Maybe Type))]
allnts : [Identifier]
attrs : [(Identifier,Identifier)]
con : Identifier
fieldnames : [Identifier]
nt : Identifier
synthesized attributes:
errors : Seq Error
tks : [(Pos,String)]
usedAttrs : [(Identifier,Identifier)]
usedFields : Seq Identifier
usedLocals : [Identifier]
alternatives:
alternative Cons:
child hd : HsToken
child tl : HsTokens
alternative Nil:
-}
-- cata
sem_HsTokens :: HsTokens ->
T_HsTokens
sem_HsTokens list =
(Prelude.foldr sem_HsTokens_Cons sem_HsTokens_Nil (Prelude.map sem_HsToken list) )
-- semantic domain
newtype T_HsTokens = T_HsTokens (([(Identifier,Type,Maybe (Maybe Type))]) ->
([Identifier]) ->
([(Identifier,Identifier)]) ->
Identifier ->
([Identifier]) ->
Identifier ->
( (Seq Error),([(Pos,String)]),([(Identifier,Identifier)]),(Seq Identifier),([Identifier])))
data Inh_HsTokens = Inh_HsTokens {allfields_Inh_HsTokens :: ([(Identifier,Type,Maybe (Maybe Type))]),allnts_Inh_HsTokens :: ([Identifier]),attrs_Inh_HsTokens :: ([(Identifier,Identifier)]),con_Inh_HsTokens :: Identifier,fieldnames_Inh_HsTokens :: ([Identifier]),nt_Inh_HsTokens :: Identifier}
data Syn_HsTokens = Syn_HsTokens {errors_Syn_HsTokens :: (Seq Error),tks_Syn_HsTokens :: ([(Pos,String)]),usedAttrs_Syn_HsTokens :: ([(Identifier,Identifier)]),usedFields_Syn_HsTokens :: (Seq Identifier),usedLocals_Syn_HsTokens :: ([Identifier])}
wrap_HsTokens :: T_HsTokens ->
Inh_HsTokens ->
Syn_HsTokens
wrap_HsTokens (T_HsTokens sem ) (Inh_HsTokens _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt ) =
(let ( _lhsOerrors,_lhsOtks,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) =
(sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt )
in (Syn_HsTokens _lhsOerrors _lhsOtks _lhsOusedAttrs _lhsOusedFields _lhsOusedLocals ))
sem_HsTokens_Cons :: T_HsToken ->
T_HsTokens ->
T_HsTokens
sem_HsTokens_Cons (T_HsToken hd_ ) (T_HsTokens tl_ ) =
(T_HsTokens (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIfieldnames
_lhsInt ->
(let _lhsOtks :: ([(Pos,String)])
_lhsOerrors :: (Seq Error)
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedFields :: (Seq Identifier)
_lhsOusedLocals :: ([Identifier])
_hdOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_hdOallnts :: ([Identifier])
_hdOattrs :: ([(Identifier,Identifier)])
_hdOcon :: Identifier
_hdOfieldnames :: ([Identifier])
_hdOnt :: Identifier
_tlOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_tlOallnts :: ([Identifier])
_tlOattrs :: ([(Identifier,Identifier)])
_tlOcon :: Identifier
_tlOfieldnames :: ([Identifier])
_tlOnt :: Identifier
_hdIerrors :: (Seq Error)
_hdItok :: ((Pos,String))
_hdIusedAttrs :: ([(Identifier,Identifier)])
_hdIusedFields :: (Seq Identifier)
_hdIusedLocals :: ([Identifier])
_tlIerrors :: (Seq Error)
_tlItks :: ([(Pos,String)])
_tlIusedAttrs :: ([(Identifier,Identifier)])
_tlIusedFields :: (Seq Identifier)
_tlIusedLocals :: ([Identifier])
-- "SemHsTokens.ag"(line 110, column 10)
_lhsOtks =
({-# LINE 110 "SemHsTokens.ag" #-}
_hdItok : _tlItks
{-# LINE 483 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
_hdIerrors Seq.>< _tlIerrors
{-# LINE 488 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 85, column 40)
_lhsOusedAttrs =
({-# LINE 85 "SemHsTokens.ag" #-}
_hdIusedAttrs ++ _tlIusedAttrs
{-# LINE 493 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 93, column 40)
_lhsOusedFields =
({-# LINE 93 "SemHsTokens.ag" #-}
_hdIusedFields Seq.>< _tlIusedFields
{-# LINE 498 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 84, column 40)
_lhsOusedLocals =
({-# LINE 84 "SemHsTokens.ag" #-}
_hdIusedLocals ++ _tlIusedLocals
{-# LINE 503 "SemHsTokens.hs" #-})
-- copy rule (down)
_hdOallfields =
({-# LINE 30 "SemHsTokens.ag" #-}
_lhsIallfields
{-# LINE 508 "SemHsTokens.hs" #-})
-- copy rule (down)
_hdOallnts =
({-# LINE 31 "SemHsTokens.ag" #-}
_lhsIallnts
{-# LINE 513 "SemHsTokens.hs" #-})
-- copy rule (down)
_hdOattrs =
({-# LINE 32 "SemHsTokens.ag" #-}
_lhsIattrs
{-# LINE 518 "SemHsTokens.hs" #-})
-- copy rule (down)
_hdOcon =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsIcon
{-# LINE 523 "SemHsTokens.hs" #-})
-- copy rule (down)
_hdOfieldnames =
({-# LINE 36 "SemHsTokens.ag" #-}
_lhsIfieldnames
{-# LINE 528 "SemHsTokens.hs" #-})
-- copy rule (down)
_hdOnt =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsInt
{-# LINE 533 "SemHsTokens.hs" #-})
-- copy rule (down)
_tlOallfields =
({-# LINE 30 "SemHsTokens.ag" #-}
_lhsIallfields
{-# LINE 538 "SemHsTokens.hs" #-})
-- copy rule (down)
_tlOallnts =
({-# LINE 31 "SemHsTokens.ag" #-}
_lhsIallnts
{-# LINE 543 "SemHsTokens.hs" #-})
-- copy rule (down)
_tlOattrs =
({-# LINE 32 "SemHsTokens.ag" #-}
_lhsIattrs
{-# LINE 548 "SemHsTokens.hs" #-})
-- copy rule (down)
_tlOcon =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsIcon
{-# LINE 553 "SemHsTokens.hs" #-})
-- copy rule (down)
_tlOfieldnames =
({-# LINE 36 "SemHsTokens.ag" #-}
_lhsIfieldnames
{-# LINE 558 "SemHsTokens.hs" #-})
-- copy rule (down)
_tlOnt =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsInt
{-# LINE 563 "SemHsTokens.hs" #-})
( _hdIerrors,_hdItok,_hdIusedAttrs,_hdIusedFields,_hdIusedLocals) =
(hd_ _hdOallfields _hdOallnts _hdOattrs _hdOcon _hdOfieldnames _hdOnt )
( _tlIerrors,_tlItks,_tlIusedAttrs,_tlIusedFields,_tlIusedLocals) =
(tl_ _tlOallfields _tlOallnts _tlOattrs _tlOcon _tlOfieldnames _tlOnt )
in ( _lhsOerrors,_lhsOtks,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )
sem_HsTokens_Nil :: T_HsTokens
sem_HsTokens_Nil =
(T_HsTokens (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsIfieldnames
_lhsInt ->
(let _lhsOtks :: ([(Pos,String)])
_lhsOerrors :: (Seq Error)
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedFields :: (Seq Identifier)
_lhsOusedLocals :: ([Identifier])
-- "SemHsTokens.ag"(line 111, column 10)
_lhsOtks =
({-# LINE 111 "SemHsTokens.ag" #-}
[]
{-# LINE 586 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 591 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 85, column 40)
_lhsOusedAttrs =
({-# LINE 85 "SemHsTokens.ag" #-}
[]
{-# LINE 596 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 93, column 40)
_lhsOusedFields =
({-# LINE 93 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 601 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 84, column 40)
_lhsOusedLocals =
({-# LINE 84 "SemHsTokens.ag" #-}
[]
{-# LINE 606 "SemHsTokens.hs" #-})
in ( _lhsOerrors,_lhsOtks,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )
-- HsTokensRoot ------------------------------------------------
{-
visit 0:
inherited attributes:
allfields : [(Identifier,Type,Maybe (Maybe Type))]
allnts : [Identifier]
attrs : [(Identifier,Identifier)]
con : Identifier
nt : Identifier
synthesized attributes:
errors : Seq Error
textLines : [String]
usedAttrs : [(Identifier,Identifier)]
usedFields : [Identifier]
usedLocals : [Identifier]
alternatives:
alternative HsTokensRoot:
child tokens : HsTokens
-}
-- cata
sem_HsTokensRoot :: HsTokensRoot ->
T_HsTokensRoot
sem_HsTokensRoot (HsTokensRoot _tokens ) =
(sem_HsTokensRoot_HsTokensRoot (sem_HsTokens _tokens ) )
-- semantic domain
newtype T_HsTokensRoot = T_HsTokensRoot (([(Identifier,Type,Maybe (Maybe Type))]) ->
([Identifier]) ->
([(Identifier,Identifier)]) ->
Identifier ->
Identifier ->
( (Seq Error),([String]),([(Identifier,Identifier)]),([Identifier]),([Identifier])))
data Inh_HsTokensRoot = Inh_HsTokensRoot {allfields_Inh_HsTokensRoot :: ([(Identifier,Type,Maybe (Maybe Type))]),allnts_Inh_HsTokensRoot :: ([Identifier]),attrs_Inh_HsTokensRoot :: ([(Identifier,Identifier)]),con_Inh_HsTokensRoot :: Identifier,nt_Inh_HsTokensRoot :: Identifier}
data Syn_HsTokensRoot = Syn_HsTokensRoot {errors_Syn_HsTokensRoot :: (Seq Error),textLines_Syn_HsTokensRoot :: ([String]),usedAttrs_Syn_HsTokensRoot :: ([(Identifier,Identifier)]),usedFields_Syn_HsTokensRoot :: ([Identifier]),usedLocals_Syn_HsTokensRoot :: ([Identifier])}
wrap_HsTokensRoot :: T_HsTokensRoot ->
Inh_HsTokensRoot ->
Syn_HsTokensRoot
wrap_HsTokensRoot (T_HsTokensRoot sem ) (Inh_HsTokensRoot _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsInt ) =
(let ( _lhsOerrors,_lhsOtextLines,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) =
(sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsInt )
in (Syn_HsTokensRoot _lhsOerrors _lhsOtextLines _lhsOusedAttrs _lhsOusedFields _lhsOusedLocals ))
sem_HsTokensRoot_HsTokensRoot :: T_HsTokens ->
T_HsTokensRoot
sem_HsTokensRoot_HsTokensRoot (T_HsTokens tokens_ ) =
(T_HsTokensRoot (\ _lhsIallfields
_lhsIallnts
_lhsIattrs
_lhsIcon
_lhsInt ->
(let _tokensOfieldnames :: ([Identifier])
_lhsOusedFields :: ([Identifier])
_lhsOtextLines :: ([String])
_lhsOerrors :: (Seq Error)
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedLocals :: ([Identifier])
_tokensOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_tokensOallnts :: ([Identifier])
_tokensOattrs :: ([(Identifier,Identifier)])
_tokensOcon :: Identifier
_tokensOnt :: Identifier
_tokensIerrors :: (Seq Error)
_tokensItks :: ([(Pos,String)])
_tokensIusedAttrs :: ([(Identifier,Identifier)])
_tokensIusedFields :: (Seq Identifier)
_tokensIusedLocals :: ([Identifier])
-- "SemHsTokens.ag"(line 38, column 18)
_tokensOfieldnames =
({-# LINE 38 "SemHsTokens.ag" #-}
map (\(n,_,_) -> n) _lhsIallfields
{-# LINE 676 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 100, column 18)
_lhsOusedFields =
({-# LINE 100 "SemHsTokens.ag" #-}
toList _tokensIusedFields
{-# LINE 681 "SemHsTokens.hs" #-})
-- "SemHsTokens.ag"(line 107, column 18)
_lhsOtextLines =
({-# LINE 107 "SemHsTokens.ag" #-}
showTokens _tokensItks
{-# LINE 686 "SemHsTokens.hs" #-})
-- use rule "SemHsTokens.ag"(line 18, column 18)
_lhsOerrors =
({-# LINE 18 "SemHsTokens.ag" #-}
_tokensIerrors
{-# LINE 691 "SemHsTokens.hs" #-})
-- copy rule (up)
_lhsOusedAttrs =
({-# LINE 20 "SemHsTokens.ag" #-}
_tokensIusedAttrs
{-# LINE 696 "SemHsTokens.hs" #-})
-- copy rule (up)
_lhsOusedLocals =
({-# LINE 19 "SemHsTokens.ag" #-}
_tokensIusedLocals
{-# LINE 701 "SemHsTokens.hs" #-})
-- copy rule (down)
_tokensOallfields =
({-# LINE 30 "SemHsTokens.ag" #-}
_lhsIallfields
{-# LINE 706 "SemHsTokens.hs" #-})
-- copy rule (down)
_tokensOallnts =
({-# LINE 31 "SemHsTokens.ag" #-}
_lhsIallnts
{-# LINE 711 "SemHsTokens.hs" #-})
-- copy rule (down)
_tokensOattrs =
({-# LINE 32 "SemHsTokens.ag" #-}
_lhsIattrs
{-# LINE 716 "SemHsTokens.hs" #-})
-- copy rule (down)
_tokensOcon =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsIcon
{-# LINE 721 "SemHsTokens.hs" #-})
-- copy rule (down)
_tokensOnt =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsInt
{-# LINE 726 "SemHsTokens.hs" #-})
( _tokensIerrors,_tokensItks,_tokensIusedAttrs,_tokensIusedFields,_tokensIusedLocals) =
(tokens_ _tokensOallfields _tokensOallnts _tokensOattrs _tokensOcon _tokensOfieldnames _tokensOnt )
in ( _lhsOerrors,_lhsOtextLines,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )