uuagc-bootstrap-0.9.38.6.2: src-derived/SemHsTokens.hs
-- UUAGC 0.9.38.6 (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
output : SELF
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 : _
local output : _
alternative AGLocal:
child var : {Identifier}
child pos : {Pos}
child rdesc : {Maybe String}
visit 0:
local tkAsLocal : _
local tkAsField : _
local _tup1 : _
local errors : _
local output : _
local tok : _
local usedLocals : _
alternative CharToken:
child value : {String}
child pos : {Pos}
visit 0:
local output : _
alternative Err:
child mesg : {String}
child pos : {Pos}
visit 0:
local output : _
alternative HsToken:
child value : {String}
child pos : {Pos}
visit 0:
local output : _
alternative StrToken:
child value : {String}
child pos : {Pos}
visit 0:
local output : _
-}
-- 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),HsToken ,((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),output_Syn_HsToken :: HsToken ,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,_lhsOoutput,_lhsOtok,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) = sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt
in (Syn_HsToken _lhsOerrors _lhsOoutput _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])
_lhsOoutput :: HsToken
-- "SemHsTokens.ag"(line 76, column 15)
_lhsOerrors =
({-# LINE 76 "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 144 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 90, column 13)
_lhsOusedAttrs =
({-# LINE 90 "SemHsTokens.ag" #-}
[(field_,attr_)]
{-# LINE 150 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 117, column 8)
_addTrace =
({-# LINE 117 "SemHsTokens.ag" #-}
case rdesc_ of
Just d -> \x -> "(trace " ++ show (d ++ " -> " ++ show field_ ++ "." ++ show attr_) ++ " (" ++ x ++ "))"
Nothing -> id
{-# LINE 158 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 120, column 8)
_lhsOtok =
({-# LINE 120 "SemHsTokens.ag" #-}
(pos_, _addTrace $ attrname True field_ attr_)
{-# LINE 164 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 95, column 40)
_lhsOusedFields =
({-# LINE 95 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 170 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 86, column 40)
_lhsOusedLocals =
({-# LINE 86 "SemHsTokens.ag" #-}
[]
{-# LINE 176 "SemHsTokens.hs" #-}
)
-- self rule
_output =
({-# LINE 137 "SemHsTokens.ag" #-}
AGField field_ attr_ pos_ rdesc_
{-# LINE 182 "SemHsTokens.hs" #-}
)
-- self rule
_lhsOoutput =
({-# LINE 137 "SemHsTokens.ag" #-}
_output
{-# LINE 188 "SemHsTokens.hs" #-}
)
in ( _lhsOerrors,_lhsOoutput,_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])
_lhsOoutput :: HsToken
_lhsOtok :: ((Pos,String))
-- "SemHsTokens.ag"(line 64, column 15)
_tkAsLocal =
({-# LINE 64 "SemHsTokens.ag" #-}
AGLocal var_ pos_ rdesc_
{-# LINE 212 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 65, column 15)
_tkAsField =
({-# LINE 65 "SemHsTokens.ag" #-}
AGField _LOC var_ pos_ rdesc_
{-# LINE 218 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 66, column 19)
__tup1 =
({-# LINE 66 "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_), _tkAsLocal ,(pos_,fieldname var_), [] )
else (Seq.empty, _tkAsLocal , (pos_,fieldname var_), [] )
else if (_LOC,var_) `elem` _lhsIattrs
then (Seq.empty , _tkAsField , (pos_,locname var_), [var_])
else (Seq.singleton(UndefLocal _lhsInt _lhsIcon var_), _tkAsField , (pos_,locname var_), [] )
{-# LINE 230 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 66, column 19)
(_errors,_,_,_) =
({-# LINE 66 "SemHsTokens.ag" #-}
__tup1
{-# LINE 236 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 66, column 19)
(_,_output,_,_) =
({-# LINE 66 "SemHsTokens.ag" #-}
__tup1
{-# LINE 242 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 66, column 19)
(_,_,_tok,_) =
({-# LINE 66 "SemHsTokens.ag" #-}
__tup1
{-# LINE 248 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 66, column 19)
(_,_,_,_usedLocals) =
({-# LINE 66 "SemHsTokens.ag" #-}
__tup1
{-# LINE 254 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 98, column 13)
_lhsOusedFields =
({-# LINE 98 "SemHsTokens.ag" #-}
if var_ `elem` _lhsIfieldnames
then Seq.singleton var_
else Seq.empty
{-# LINE 262 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
_errors
{-# LINE 268 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 87, column 40)
_lhsOusedAttrs =
({-# LINE 87 "SemHsTokens.ag" #-}
[]
{-# LINE 274 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 86, column 40)
_lhsOusedLocals =
({-# LINE 86 "SemHsTokens.ag" #-}
_usedLocals
{-# LINE 280 "SemHsTokens.hs" #-}
)
-- self rule
_lhsOoutput =
({-# LINE 137 "SemHsTokens.ag" #-}
_output
{-# LINE 286 "SemHsTokens.hs" #-}
)
-- copy rule (from local)
_lhsOtok =
({-# LINE 115 "SemHsTokens.ag" #-}
_tok
{-# LINE 292 "SemHsTokens.hs" #-}
)
in ( _lhsOerrors,_lhsOoutput,_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])
_lhsOoutput :: HsToken
-- "SemHsTokens.ag"(line 124, column 16)
_lhsOtok =
({-# LINE 124 "SemHsTokens.ag" #-}
(pos_, if null value_
then ""
else showCharShort (head value_)
)
{-# LINE 318 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 324 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 87, column 40)
_lhsOusedAttrs =
({-# LINE 87 "SemHsTokens.ag" #-}
[]
{-# LINE 330 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 95, column 40)
_lhsOusedFields =
({-# LINE 95 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 336 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 86, column 40)
_lhsOusedLocals =
({-# LINE 86 "SemHsTokens.ag" #-}
[]
{-# LINE 342 "SemHsTokens.hs" #-}
)
-- self rule
_output =
({-# LINE 137 "SemHsTokens.ag" #-}
CharToken value_ pos_
{-# LINE 348 "SemHsTokens.hs" #-}
)
-- self rule
_lhsOoutput =
({-# LINE 137 "SemHsTokens.ag" #-}
_output
{-# LINE 354 "SemHsTokens.hs" #-}
)
in ( _lhsOerrors,_lhsOoutput,_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])
_lhsOoutput :: HsToken
-- "SemHsTokens.ag"(line 50, column 9)
_lhsOerrors =
({-# LINE 50 "SemHsTokens.ag" #-}
let m = text mesg_
in Seq.singleton (CustomError False pos_ m)
{-# LINE 378 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 130, column 16)
_lhsOtok =
({-# LINE 130 "SemHsTokens.ag" #-}
(pos_, "")
{-# LINE 384 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 87, column 40)
_lhsOusedAttrs =
({-# LINE 87 "SemHsTokens.ag" #-}
[]
{-# LINE 390 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 95, column 40)
_lhsOusedFields =
({-# LINE 95 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 396 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 86, column 40)
_lhsOusedLocals =
({-# LINE 86 "SemHsTokens.ag" #-}
[]
{-# LINE 402 "SemHsTokens.hs" #-}
)
-- self rule
_output =
({-# LINE 137 "SemHsTokens.ag" #-}
Err mesg_ pos_
{-# LINE 408 "SemHsTokens.hs" #-}
)
-- self rule
_lhsOoutput =
({-# LINE 137 "SemHsTokens.ag" #-}
_output
{-# LINE 414 "SemHsTokens.hs" #-}
)
in ( _lhsOerrors,_lhsOoutput,_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])
_lhsOoutput :: HsToken
-- "SemHsTokens.ag"(line 122, column 14)
_lhsOtok =
({-# LINE 122 "SemHsTokens.ag" #-}
(pos_, value_)
{-# LINE 437 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 443 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 87, column 40)
_lhsOusedAttrs =
({-# LINE 87 "SemHsTokens.ag" #-}
[]
{-# LINE 449 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 95, column 40)
_lhsOusedFields =
({-# LINE 95 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 455 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 86, column 40)
_lhsOusedLocals =
({-# LINE 86 "SemHsTokens.ag" #-}
[]
{-# LINE 461 "SemHsTokens.hs" #-}
)
-- self rule
_output =
({-# LINE 137 "SemHsTokens.ag" #-}
HsToken value_ pos_
{-# LINE 467 "SemHsTokens.hs" #-}
)
-- self rule
_lhsOoutput =
({-# LINE 137 "SemHsTokens.ag" #-}
_output
{-# LINE 473 "SemHsTokens.hs" #-}
)
in ( _lhsOerrors,_lhsOoutput,_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])
_lhsOoutput :: HsToken
-- "SemHsTokens.ag"(line 129, column 16)
_lhsOtok =
({-# LINE 129 "SemHsTokens.ag" #-}
(pos_, showStrShort value_)
{-# LINE 496 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 502 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 87, column 40)
_lhsOusedAttrs =
({-# LINE 87 "SemHsTokens.ag" #-}
[]
{-# LINE 508 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 95, column 40)
_lhsOusedFields =
({-# LINE 95 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 514 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 86, column 40)
_lhsOusedLocals =
({-# LINE 86 "SemHsTokens.ag" #-}
[]
{-# LINE 520 "SemHsTokens.hs" #-}
)
-- self rule
_output =
({-# LINE 137 "SemHsTokens.ag" #-}
StrToken value_ pos_
{-# LINE 526 "SemHsTokens.hs" #-}
)
-- self rule
_lhsOoutput =
({-# LINE 137 "SemHsTokens.ag" #-}
_output
{-# LINE 532 "SemHsTokens.hs" #-}
)
in ( _lhsOerrors,_lhsOoutput,_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
output : SELF
tks : [(Pos,String)]
usedAttrs : [(Identifier,Identifier)]
usedFields : Seq Identifier
usedLocals : [Identifier]
alternatives:
alternative Cons:
child hd : HsToken
child tl : HsTokens
visit 0:
local output : _
alternative Nil:
visit 0:
local output : _
-}
-- 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),HsTokens ,([(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),output_Syn_HsTokens :: HsTokens ,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,_lhsOoutput,_lhsOtks,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) = sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsIfieldnames _lhsInt
in (Syn_HsTokens _lhsOerrors _lhsOoutput _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])
_lhsOoutput :: HsTokens
_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)
_hdIoutput :: HsToken
_hdItok :: ((Pos,String))
_hdIusedAttrs :: ([(Identifier,Identifier)])
_hdIusedFields :: (Seq Identifier)
_hdIusedLocals :: ([Identifier])
_tlIerrors :: (Seq Error)
_tlIoutput :: HsTokens
_tlItks :: ([(Pos,String)])
_tlIusedAttrs :: ([(Identifier,Identifier)])
_tlIusedFields :: (Seq Identifier)
_tlIusedLocals :: ([Identifier])
-- "SemHsTokens.ag"(line 112, column 10)
_lhsOtks =
({-# LINE 112 "SemHsTokens.ag" #-}
_hdItok : _tlItks
{-# LINE 627 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
_hdIerrors Seq.>< _tlIerrors
{-# LINE 633 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 87, column 40)
_lhsOusedAttrs =
({-# LINE 87 "SemHsTokens.ag" #-}
_hdIusedAttrs ++ _tlIusedAttrs
{-# LINE 639 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 95, column 40)
_lhsOusedFields =
({-# LINE 95 "SemHsTokens.ag" #-}
_hdIusedFields Seq.>< _tlIusedFields
{-# LINE 645 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 86, column 40)
_lhsOusedLocals =
({-# LINE 86 "SemHsTokens.ag" #-}
_hdIusedLocals ++ _tlIusedLocals
{-# LINE 651 "SemHsTokens.hs" #-}
)
-- self rule
_output =
({-# LINE 137 "SemHsTokens.ag" #-}
(:) _hdIoutput _tlIoutput
{-# LINE 657 "SemHsTokens.hs" #-}
)
-- self rule
_lhsOoutput =
({-# LINE 137 "SemHsTokens.ag" #-}
_output
{-# LINE 663 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_hdOallfields =
({-# LINE 30 "SemHsTokens.ag" #-}
_lhsIallfields
{-# LINE 669 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_hdOallnts =
({-# LINE 31 "SemHsTokens.ag" #-}
_lhsIallnts
{-# LINE 675 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_hdOattrs =
({-# LINE 32 "SemHsTokens.ag" #-}
_lhsIattrs
{-# LINE 681 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_hdOcon =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsIcon
{-# LINE 687 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_hdOfieldnames =
({-# LINE 36 "SemHsTokens.ag" #-}
_lhsIfieldnames
{-# LINE 693 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_hdOnt =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsInt
{-# LINE 699 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tlOallfields =
({-# LINE 30 "SemHsTokens.ag" #-}
_lhsIallfields
{-# LINE 705 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tlOallnts =
({-# LINE 31 "SemHsTokens.ag" #-}
_lhsIallnts
{-# LINE 711 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tlOattrs =
({-# LINE 32 "SemHsTokens.ag" #-}
_lhsIattrs
{-# LINE 717 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tlOcon =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsIcon
{-# LINE 723 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tlOfieldnames =
({-# LINE 36 "SemHsTokens.ag" #-}
_lhsIfieldnames
{-# LINE 729 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tlOnt =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsInt
{-# LINE 735 "SemHsTokens.hs" #-}
)
( _hdIerrors,_hdIoutput,_hdItok,_hdIusedAttrs,_hdIusedFields,_hdIusedLocals) =
hd_ _hdOallfields _hdOallnts _hdOattrs _hdOcon _hdOfieldnames _hdOnt
( _tlIerrors,_tlIoutput,_tlItks,_tlIusedAttrs,_tlIusedFields,_tlIusedLocals) =
tl_ _tlOallfields _tlOallnts _tlOattrs _tlOcon _tlOfieldnames _tlOnt
in ( _lhsOerrors,_lhsOoutput,_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])
_lhsOoutput :: HsTokens
-- "SemHsTokens.ag"(line 113, column 10)
_lhsOtks =
({-# LINE 113 "SemHsTokens.ag" #-}
[]
{-# LINE 760 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 43, column 37)
_lhsOerrors =
({-# LINE 43 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 766 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 87, column 40)
_lhsOusedAttrs =
({-# LINE 87 "SemHsTokens.ag" #-}
[]
{-# LINE 772 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 95, column 40)
_lhsOusedFields =
({-# LINE 95 "SemHsTokens.ag" #-}
Seq.empty
{-# LINE 778 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 86, column 40)
_lhsOusedLocals =
({-# LINE 86 "SemHsTokens.ag" #-}
[]
{-# LINE 784 "SemHsTokens.hs" #-}
)
-- self rule
_output =
({-# LINE 137 "SemHsTokens.ag" #-}
[]
{-# LINE 790 "SemHsTokens.hs" #-}
)
-- self rule
_lhsOoutput =
({-# LINE 137 "SemHsTokens.ag" #-}
_output
{-# LINE 796 "SemHsTokens.hs" #-}
)
in ( _lhsOerrors,_lhsOoutput,_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
output : [HsToken]
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),([HsToken]),([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),output_Syn_HsTokensRoot :: ([HsToken]),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,_lhsOoutput,_lhsOtextLines,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals) = sem _lhsIallfields _lhsIallnts _lhsIattrs _lhsIcon _lhsInt
in (Syn_HsTokensRoot _lhsOerrors _lhsOoutput _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)
_lhsOoutput :: ([HsToken])
_lhsOusedAttrs :: ([(Identifier,Identifier)])
_lhsOusedLocals :: ([Identifier])
_tokensOallfields :: ([(Identifier,Type,Maybe (Maybe Type))])
_tokensOallnts :: ([Identifier])
_tokensOattrs :: ([(Identifier,Identifier)])
_tokensOcon :: Identifier
_tokensOnt :: Identifier
_tokensIerrors :: (Seq Error)
_tokensIoutput :: HsTokens
_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 869 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 102, column 18)
_lhsOusedFields =
({-# LINE 102 "SemHsTokens.ag" #-}
toList _tokensIusedFields
{-# LINE 875 "SemHsTokens.hs" #-}
)
-- "SemHsTokens.ag"(line 109, column 18)
_lhsOtextLines =
({-# LINE 109 "SemHsTokens.ag" #-}
showTokens _tokensItks
{-# LINE 881 "SemHsTokens.hs" #-}
)
-- use rule "SemHsTokens.ag"(line 18, column 18)
_lhsOerrors =
({-# LINE 18 "SemHsTokens.ag" #-}
_tokensIerrors
{-# LINE 887 "SemHsTokens.hs" #-}
)
-- copy rule (up)
_lhsOoutput =
({-# LINE 136 "SemHsTokens.ag" #-}
_tokensIoutput
{-# LINE 893 "SemHsTokens.hs" #-}
)
-- copy rule (up)
_lhsOusedAttrs =
({-# LINE 20 "SemHsTokens.ag" #-}
_tokensIusedAttrs
{-# LINE 899 "SemHsTokens.hs" #-}
)
-- copy rule (up)
_lhsOusedLocals =
({-# LINE 19 "SemHsTokens.ag" #-}
_tokensIusedLocals
{-# LINE 905 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tokensOallfields =
({-# LINE 30 "SemHsTokens.ag" #-}
_lhsIallfields
{-# LINE 911 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tokensOallnts =
({-# LINE 31 "SemHsTokens.ag" #-}
_lhsIallnts
{-# LINE 917 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tokensOattrs =
({-# LINE 32 "SemHsTokens.ag" #-}
_lhsIattrs
{-# LINE 923 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tokensOcon =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsIcon
{-# LINE 929 "SemHsTokens.hs" #-}
)
-- copy rule (down)
_tokensOnt =
({-# LINE 29 "SemHsTokens.ag" #-}
_lhsInt
{-# LINE 935 "SemHsTokens.hs" #-}
)
( _tokensIerrors,_tokensIoutput,_tokensItks,_tokensIusedAttrs,_tokensIusedFields,_tokensIusedLocals) =
tokens_ _tokensOallfields _tokensOallnts _tokensOattrs _tokensOcon _tokensOfieldnames _tokensOnt
in ( _lhsOerrors,_lhsOoutput,_lhsOtextLines,_lhsOusedAttrs,_lhsOusedFields,_lhsOusedLocals))) )