-- do not edit; automatically generated by UU_AG
module Gra where
import Auxiliar
controlar a b | a == [] && b /= [] = b
| a /= [] && b /= [] = b
-- A -----------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pFor : String
pas : String
uso : List
va : List
-}
{-
local variables for A.A:
-}
{-
local variables for A.AVacio:
-}
data A = A_A (OpLog) (Expresion)
| A_AVacio
-- semantic domain
-- cata
sem_A :: (A) ->
(T_A)
sem_A ((A_A (_opLog) (_expresion))) =
(sem_A_A ((sem_OpLog (_opLog))) ((sem_Expresion (_expresion))))
sem_A ((A_AVacio )) =
(sem_A_AVacio )
sem_A_A :: (T_OpLog) ->
(T_Expresion) ->
(T_A)
sem_A_A (_opLog) (_expresion) =
let ( _opLog_cod,_opLog_jav,_opLog_nom,_opLog_pas,_opLog_uso,_opLog_va) =
(_opLog )
( _expresion_cod,_expresion_jav,_expresion_nom,_expresion_pFor,_expresion_pas,_expresion_uso,_expresion_va) =
(_expresion )
in (_opLog_cod ++ _expresion_cod,_opLog_jav ++ _expresion_jav,[],_expresion_pFor,_opLog_pas ++ _expresion_pas,_opLog_uso ++ _expresion_uso,[])
sem_A_AVacio :: (T_A)
sem_A_AVacio =
let
in ([],[],[],[],[],[],[])
-- Asig --------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
for : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Asig.Asig:
-}
-- semantic domain
-- cata
sem_Asig :: (Asig) ->
(T_Asig)
sem_Asig ((Asig_Asig (_string) (_q))) =
(sem_Asig_Asig (_string) ((sem_Q (_q))))
(T_Q) ->
(T_Asig)
sem_Asig_Asig (_string) (_q) =
let ( _q_cod,_q_jav,_q_nom,_q_pas,_q_uso,_q_va) =
(_q )
in (_string ++ " " ++ _q_cod,_string,_string ++ " " ++ _q_jav,_q_nom,_string ++ " " ++ _q_pas,_string : _q_uso,_q_va)
-- B -----------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pFor : String
pas : String
uso : List
va : List
-}
{-
local variables for B.B:
-}
{-
local variables for B.BVacio:
-}
data B = B_B (SimOps) (Relacion)
| B_BVacio
-- semantic domain
-- cata
sem_B :: (B) ->
(T_B)
sem_B ((B_B (_simOps) (_relacion))) =
(sem_B_B ((sem_SimOps (_simOps))) ((sem_Relacion (_relacion))))
sem_B ((B_BVacio )) =
(sem_B_BVacio )
sem_B_B :: (T_SimOps) ->
(T_Relacion) ->
(T_B)
sem_B_B (_simOps) (_relacion) =
let ( _simOps_cod,_simOps_jav,_simOps_nom,_simOps_pas,_simOps_uso,_simOps_va) =
(_simOps )
( _relacion_cod,_relacion_jav,_relacion_nom,_relacion_pFor,_relacion_pas,_relacion_uso,_relacion_va) =
(_relacion )
in (_simOps_cod ++ _relacion_cod,_simOps_jav ++ _relacion_jav,[],_relacion_pFor,_simOps_pas ++ _relacion_pas,_simOps_uso ++ _relacion_uso,[])
sem_B_BVacio :: (T_B)
sem_B_BVacio =
let
in ([],[],[],[],[],[],[])
-- C -----------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pFor : String
pas : String
uso : List
va : List
-}
{-
local variables for C.C:
-}
{-
local variables for C.CVacio:
-}
data C = C_C (SimOpm) (Terminos)
| C_CVacio
-- semantic domain
-- cata
sem_C :: (C) ->
(T_C)
sem_C ((C_C (_simOpm) (_terminos))) =
(sem_C_C ((sem_SimOpm (_simOpm))) ((sem_Terminos (_terminos))))
sem_C ((C_CVacio )) =
(sem_C_CVacio )
sem_C_C :: (T_SimOpm) ->
(T_Terminos) ->
(T_C)
sem_C_C (_simOpm) (_terminos) =
let ( _simOpm_cod,_simOpm_jav,_simOpm_nom,_simOpm_pas,_simOpm_uso,_simOpm_va) =
(_simOpm )
( _terminos_cod,_terminos_jav,_terminos_nom,_terminos_pFor,_terminos_pas,_terminos_uso,_terminos_va) =
(_terminos )
in (_simOpm_cod ++ _terminos_cod,_simOpm_jav ++ _terminos_jav,[],_terminos_pFor,_simOpm_pas ++ _terminos_pas,_simOpm_uso ++ _terminos_uso,[])
sem_C_CVacio :: (T_C)
sem_C_CVacio =
let
in ([],[],[],[],[],[],[])
-- Coma --------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Coma.C1:
-}
{-
local variables for Coma.C2:
-}
data Coma = Coma_C1
| Coma_C2
-- semantic domain
-- cata
sem_Coma :: (Coma) ->
(T_Coma)
sem_Coma ((Coma_C1 )) =
(sem_Coma_C1 )
sem_Coma ((Coma_C2 )) =
(sem_Coma_C2 )
sem_Coma_C1 :: (T_Coma)
sem_Coma_C1 =
let
in (";",";",[],";",[],[])
sem_Coma_C2 :: (T_Coma)
sem_Coma_C2 =
let
in ([],[],[],[],[],[])
-- Const1 ------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Const1.Const1:
-}
data Const1
= Const1
_Const1
(Tipo
) (Solo los usuarios pueden ver los links.
Registrate o
Ingresar) (Const2
)
-- semantic domain
-- cata
sem_Const1 :: (Const1) ->
(T_Const1)
sem_Const1 ((Const1_Const1 (_tipo) (_string) (_const2))) =
(sem_Const1_Const1 ((sem_Tipo (_tipo))) (_string) ((sem_Const2 (_const2))))
sem_Const1_Const1 :: (T_Tipo) ->
(T_Const2) ->
(T_Const1)
sem_Const1_Const1 (_tipo) (_string) (_const2) =
let ( _tipo_cod,_tipo_jav,_tipo_nom,_tipo_pas,_tipo_uso,_tipo_va) =
(_tipo )
( _const2_cod,_const2_jav,_const2_nom,_const2_pas,_const2_uso,_const2_va) =
(_const2 )
in (_tipo_cod ++ " " ++ _string ++ " " ++ "= " ++ _const2_cod,_tipo_jav ++ " " ++ _string ++ " " ++ "= " ++ _const2_jav,[],"const " ++ " " ++ _string ++ " " ++ "= " ++ _const2_pas,[],_string:[])
-- Const2 ------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Const2.Const21:
-}
{-
local variables for Const2.Const22:
-}
data Const2 = Const2_Const21 (Va)
-- semantic domain
-- cata
sem_Const2 :: (Const2) ->
(T_Const2)
sem_Const2 ((Const2_Const21 (_va))) =
(sem_Const2_Const21 ((sem_Va (_va))))
sem_Const2 ((Const2_Const22 (_int) (_reall))) =
(sem_Const2_Const22 (_int) ((sem_Reall (_reall))))
sem_Const2_Const21 :: (T_Va) ->
(T_Const2)
sem_Const2_Const21 (_va) =
let ( _va_cod,_va_jav,_va_nom,_va_pFor,_va_pas,_va_uso,_va_va) =
(_va )
in (_va_cod,_va_jav,_va_nom,_va_pas,_va_uso,_va_va)
(T_Reall) ->
(T_Const2)
sem_Const2_Const22 (_int) (_reall) =
let ( _reall_cod,_reall_jav,_reall_nom,_reall_pas,_reall_uso,_reall_va) =
(_reall )
-- Cuerpo ------------------------------------------------------
{-
inherited attributes:
nomb : String
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Cuerpo.Cuerpo:
-}
data Cuerpo = Cuerpo_Cuerpo (DeclConst) (Inst)
-- semantic domain
-- cata
sem_Cuerpo :: (Cuerpo) ->
(T_Cuerpo)
sem_Cuerpo ((Cuerpo_Cuerpo (_declConst) (_inst))) =
(sem_Cuerpo_Cuerpo ((sem_DeclConst (_declConst))) ((sem_Inst (_inst))))
sem_Cuerpo_Cuerpo :: (T_DeclConst) ->
(T_Inst) ->
(T_Cuerpo)
sem_Cuerpo_Cuerpo (_declConst) (_inst) (_lhs_nomb) =
let ( _declConst_cod,_declConst_jav,_declConst_nom,_declConst_pas,_declConst_uso,_declConst_va) =
(_declConst )
( _inst_cod,_inst_jav,_inst_nom,_inst_pas,_inst_uso,_inst_va) =
(_inst (_lhs_nomb))
in ("{" ++ "\n" ++ _declConst_cod ++ "\n" ++ _inst_cod ++"\n" ++ "}" ++ "\n","{" ++ "\n" ++ _declConst_jav ++ "\n" ++ _inst_jav ++"\n" ++ "}" ++ "\n",_declConst_nom ++ _inst_nom,_declConst_pas ++ "\n" ++ "begin" ++ "\n" ++ _inst_pas ++"\n" ++ "end;",_inst_uso,_declConst_va ++ _inst_va)
-- CuerpoP -----------------------------------------------------
{-
inherited attributes:
nomb : String
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for CuerpoP.CuerpoP:
-}
data CuerpoP = CuerpoP_CuerpoP (DeclConst) (Inst)
-- semantic domain
-- cata
sem_CuerpoP :: (CuerpoP) ->
(T_CuerpoP)
sem_CuerpoP ((CuerpoP_CuerpoP (_declConst) (_inst))) =
(sem_CuerpoP_CuerpoP ((sem_DeclConst (_declConst))) ((sem_Inst (_inst))))
sem_CuerpoP_CuerpoP :: (T_DeclConst) ->
(T_Inst) ->
(T_CuerpoP)
sem_CuerpoP_CuerpoP (_declConst) (_inst) (_lhs_nomb) =
let ( _declConst_cod,_declConst_jav,_declConst_nom,_declConst_pas,_declConst_uso,_declConst_va) =
(_declConst )
( _inst_cod,_inst_jav,_inst_nom,_inst_pas,_inst_uso,_inst_va) =
(_inst (_lhs_nomb))
in ("{" ++ "\n" ++ _declConst_cod ++ "\n" ++ _inst_cod ++"\n" ++ "return (0);" ++ "\n" ++ "}" ++"\n","{" ++ "\n" ++ _declConst_jav ++ "\n" ++ " Scanner teclado=new Scanner(System.in); " ++ "\n" ++ _inst_jav ++"\n" ++ "}" ++"\n",_declConst_nom ++ _inst_nom,_declConst_pas ++ "\n" ++ "begin" ++ "\n" ++ _inst_pas ++"\n" ++ "end.",_inst_uso,_declConst_va ++ _inst_va)
-- Dec ---------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Dec.Dec1:
-}
{-
local variables for Dec.DecVacio:
-}
| Dec_DecVacio
-- semantic domain
-- cata
sem_Dec :: (Dec) ->
(T_Dec)
sem_Dec ((Dec_Dec1 (_string) (_dec))) =
(sem_Dec_Dec1 (_string) ((sem_Dec (_dec))))
sem_Dec ((Dec_DecVacio )) =
(sem_Dec_DecVacio )
(T_Dec) ->
(T_Dec)
sem_Dec_Dec1 (_string) (_dec) =
let ( _dec_cod,_dec_jav,_dec_nom,_dec_pas,_dec_uso,_dec_va) =
(_dec )
in (", " ++ _string ++ " " ++ _dec_cod,", " ++ _string ++ " " ++ _dec_jav,[],", " ++ _string ++ " " ++ _dec_pas,[],_string : _dec_va)
sem_Dec_DecVacio :: (T_Dec)
sem_Dec_DecVacio =
let
in ([],[],[],[],[],[])
-- Decl --------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Decl.Decl:
-}
data Decl
= Decl
_Decl
(Tipo
) (Solo los usuarios pueden ver los links.
Registrate o
Ingresar)
-- semantic domain
-- cata
sem_Decl :: (Decl) ->
(T_Decl)
sem_Decl ((Decl_Decl (_tipo) (_string))) =
(sem_Decl_Decl ((sem_Tipo (_tipo))) (_string))
sem_Decl_Decl :: (T_Tipo) ->
(T_Decl)
sem_Decl_Decl (_tipo) (_string) =
let ( _tipo_cod,_tipo_jav,_tipo_nom,_tipo_pas,_tipo_uso,_tipo_va) =
(_tipo )
in (_tipo_cod ++ _string,_tipo_jav ++ " " ++ _string,_tipo_nom:[],_string ++ ": " ++ _tipo_pas,[],_string : [])
-- Decl1 -------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Decl1.Decl1:
-}
data Decl1
= Decl1
_Decl1
(Tipo
) (Solo los usuarios pueden ver los links.
Registrate o
Ingresar) (Dec
)
-- semantic domain
-- cata
sem_Decl1 :: (Decl1) ->
(T_Decl1)
sem_Decl1 ((Decl1_Decl1 (_tipo) (_string) (_dec))) =
(sem_Decl1_Decl1 ((sem_Tipo (_tipo))) (_string) ((sem_Dec (_dec))))
sem_Decl1_Decl1 :: (T_Tipo) ->
(T_Dec) ->
(T_Decl1)
sem_Decl1_Decl1 (_tipo) (_string) (_dec) =
let ( _tipo_cod,_tipo_jav,_tipo_nom,_tipo_pas,_tipo_uso,_tipo_va) =
(_tipo )
( _dec_cod,_dec_jav,_dec_nom,_dec_pas,_dec_uso,_dec_va) =
(_dec )
in (_tipo_cod ++ " " ++ _string ++ " " ++ _dec_cod,_tipo_jav ++ " " ++ _string ++ " " ++ _dec_jav,_dec_nom,"var " ++ _string ++ _dec_pas ++ ": " ++ _tipo_pas,[],_string : _dec_va)
-- DeclConst ---------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for DeclConst.DeclConst:
-}
{-
local variables for DeclConst.DeclConst1:
-}
{-
local variables for DeclConst.DeclConst2:
-}
data DeclConst = DeclConst_DeclConst (Decl1) (DeclConst)
| DeclConst_DeclConst1 (Const1) (DeclConst)
| DeclConst_DeclConst2
-- semantic domain
-- cata
sem_DeclConst :: (DeclConst) ->
(T_DeclConst)
sem_DeclConst ((DeclConst_DeclConst (_decl1) (_declConst))) =
(sem_DeclConst_DeclConst ((sem_Decl1 (_decl1))) ((sem_DeclConst (_declConst))))
sem_DeclConst ((DeclConst_DeclConst1 (_const1) (_declConst))) =
(sem_DeclConst_DeclConst1 ((sem_Const1 (_const1))) ((sem_DeclConst (_declConst))))
sem_DeclConst ((DeclConst_DeclConst2 )) =
(sem_DeclConst_DeclConst2 )
sem_DeclConst_DeclConst :: (T_Decl1) ->
(T_DeclConst) ->
(T_DeclConst)
sem_DeclConst_DeclConst (_decl1) (_declConst) =
let ( _decl1_cod,_decl1_jav,_decl1_nom,_decl1_pas,_decl1_uso,_decl1_va) =
(_decl1 )
( _declConst_cod,_declConst_jav,_declConst_nom,_declConst_pas,_declConst_uso,_declConst_va) =
(_declConst )
in (_decl1_cod ++ " ;" ++ "\n" ++ _declConst_cod,_decl1_jav ++ " ;" ++ "\n" ++ _declConst_jav,[],_decl1_pas ++ " ;" ++ "\n" ++ _declConst_pas,[],_decl1_va ++ _declConst_va)
sem_DeclConst_DeclConst1 :: (T_Const1) ->
(T_DeclConst) ->
(T_DeclConst)
sem_DeclConst_DeclConst1 (_const1) (_declConst) =
let ( _const1_cod,_const1_jav,_const1_nom,_const1_pas,_const1_uso,_const1_va) =
(_const1 )
( _declConst_cod,_declConst_jav,_declConst_nom,_declConst_pas,_declConst_uso,_declConst_va) =
(_declConst )
in (_const1_cod ++ " ;" ++ "\n" ++ _declConst_cod,_const1_jav ++ " ;" ++ "\n" ++ _declConst_jav,[],_const1_pas ++ " ;" ++ "\n" ++ _declConst_pas,[],_const1_va ++ _declConst_va)
sem_DeclConst_DeclConst2 :: (T_DeclConst)
sem_DeclConst_DeclConst2 =
let
in ([],[],[],[],[],[])
-- Decls -------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Decls.Decls:
-}
{-
local variables for Decls.DeclsVacio:
-}
data Decls = Decls_Decls (Pr)
| Decls_DeclsVacio
-- semantic domain
-- cata
sem_Decls :: (Decls) ->
(T_Decls)
sem_Decls ((Decls_Decls (_pr))) =
(sem_Decls_Decls ((sem_Pr (_pr))))
sem_Decls ((Decls_DeclsVacio )) =
(sem_Decls_DeclsVacio )
sem_Decls_Decls :: (T_Pr) ->
(T_Decls)
sem_Decls_Decls (_pr) =
let ( _pr_cod,_pr_jav,_pr_nom,_pr_pas,_pr_uso,_pr_va) =
(_pr )
in ("," ++ " " ++ _pr_cod,"," ++ " " ++ _pr_jav,_pr_nom,";" ++ " " ++ _pr_pas,_pr_uso,_pr_va)
sem_Decls_DeclsVacio :: (T_Decls)
sem_Decls_DeclsVacio =
let
in ([],[],[],[],[],[])
-- EnCaso ------------------------------------------------------
{-
inherited attributes:
nomb : String
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for EnCaso.EnCaso:
-}
{-
local variables for EnCaso.EnCaso1:
-}
data EnCaso = EnCaso_EnCaso (Expresion) (Inst) (EnCaso)
| EnCaso_EnCaso1
-- semantic domain
-- cata
sem_EnCaso :: (EnCaso) ->
(T_EnCaso)
sem_EnCaso ((EnCaso_EnCaso (_expresion) (_inst) (_enCaso))) =
(sem_EnCaso_EnCaso ((sem_Expresion (_expresion))) ((sem_Inst (_inst))) ((sem_EnCaso (_enCaso))))
sem_EnCaso ((EnCaso_EnCaso1 )) =
(sem_EnCaso_EnCaso1 )
sem_EnCaso_EnCaso :: (T_Expresion) ->
(T_Inst) ->
(T_EnCaso) ->
(T_EnCaso)
sem_EnCaso_EnCaso (_expresion) (_inst) (_enCaso) (_lhs_nomb) =
let ( _expresion_cod,_expresion_jav,_expresion_nom,_expresion_pFor,_expresion_pas,_expresion_uso,_expresion_va) =
(_expresion )
( _inst_cod,_inst_jav,_inst_nom,_inst_pas,_inst_uso,_inst_va) =
(_inst (_lhs_nomb))
( _enCaso_cod,_enCaso_jav,_enCaso_nom,_enCaso_pas,_enCaso_uso,_enCaso_va) =
(_enCaso (_lhs_nomb))
in ("case " ++ _expresion_cod ++ " : " ++ _inst_cod ++ " ;" ++ "\n" ++ " break ; " ++ "\n" ++ _enCaso_cod,"case " ++ _expresion_jav ++ " : " ++ _inst_jav ++ " ;" ++ "\n" ++ " break ; " ++ "\n" ++ _enCaso_jav,_expresion_nom,_expresion_pas ++ " : " ++ "begin " ++ "\n" ++ _inst_pas ++ "end;" ++ "\n" ++ _enCaso_pas,_expresion_uso ++ _inst_uso ++ _enCaso_uso,_expresion_va)
sem_EnCaso_EnCaso1 :: (T_EnCaso)
sem_EnCaso_EnCaso1 (_lhs_nomb) =
let
in ([],[],[],[],[],[])
-- Expresion ---------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pFor : String
pas : String
uso : List
va : List
-}
{-
local variables for Expresion.Expresion:
-}
data Expresion = Expresion_Expresion (Relacion) (A)
-- semantic domain
-- cata
sem_Expresion :: (Expresion) ->
(T_Expresion)
sem_Expresion ((Expresion_Expresion (_relacion) (_a))) =
(sem_Expresion_Expresion ((sem_Relacion (_relacion))) ((sem_A (_a))))
sem_Expresion_Expresion :: (T_Relacion) ->
(T_A) ->
(T_Expresion)
sem_Expresion_Expresion (_relacion) (_a) =
let ( _relacion_cod,_relacion_jav,_relacion_nom,_relacion_pFor,_relacion_pas,_relacion_uso,_relacion_va) =
(_relacion )
( _a_cod,_a_jav,_a_nom,_a_pFor,_a_pas,_a_uso,_a_va) =
(_a )
in (_relacion_cod ++ _a_cod,_relacion_jav ++ _a_jav,[],controlar _relacion_pFor _a_pFor,_relacion_pas ++ _a_pas,_relacion_uso ++ _a_uso,[])
-- FP ----------------------------------------------------------
{-
inherited attributes:
nomb : String
chained attributes:
synthesised attributes:
cap : String
claser : Classs
cod : String
dod : Doble
jav : String
nom : List
npf : List
pas : String
uso : List
va : List
-}
{-
local variables for FP.FP:
-}
{-
local variables for FP.FP1:
-}
{-
local variables for FP.FPVacio:
-}
data FP = FP_FP (Funcion) (FP)
| FP_FP1 (Procedimiento) (FP)
| FP_FPVacio
-- semantic domain
-- cata
sem_FP :: (FP) ->
(T_FP)
sem_FP ((FP_FP (_funcion) (_fP))) =
(sem_FP_FP ((sem_Funcion (_funcion))) ((sem_FP (_fP))))
sem_FP ((FP_FP1 (_procedimiento) (_fP))) =
(sem_FP_FP1 ((sem_Procedimiento (_procedimiento))) ((sem_FP (_fP))))
sem_FP ((FP_FPVacio )) =
(sem_FP_FPVacio )
sem_FP_FP :: (T_Funcion) ->
(T_FP) ->
(T_FP)
sem_FP_FP (_funcion) (_fP) (_lhs_nomb) =
let ( _funcion_cap,_funcion_claser,_funcion_cod,_funcion_dod,_funcion_jav,_funcion_nom,_funcion_npf,_funcion_pas,_funcion_uso,_funcion_va) =
(_funcion (_lhs_nomb))
( _fP_cap,_fP_claser,_fP_cod,_fP_dod,_fP_jav,_fP_nom,_fP_npf,_fP_pas,_fP_uso,_fP_va) =
(_fP (_lhs_nomb))
in (_funcion_cap,_funcion_claser ++ _fP_claser,_funcion_cod ++ "\n" ++ _fP_cod ++ "\n",_funcion_dod ++ _fP_dod,_funcion_jav ++ "\n" ++ _fP_jav ++ "\n",_funcion_nom ++ _fP_nom,_funcion_npf ++ _fP_npf,_funcion_pas ++ "\n" ++ _fP_pas ++ "\n",_funcion_uso ++ _fP_uso,_funcion_va ++ _fP_va)
sem_FP_FP1 :: (T_Procedimiento) ->
(T_FP) ->
(T_FP)
sem_FP_FP1 (_procedimiento) (_fP) (_lhs_nomb) =
let ( _procedimiento_cap,_procedimiento_claser,_procedimiento_cod,_procedimiento_dod,_procedimiento_jav,_procedimiento_nom,_procedimiento_npf,_procedimiento_pas,_procedimiento_uso,_procedimiento_va) =
(_procedimiento (_lhs_nomb))
( _fP_cap,_fP_claser,_fP_cod,_fP_dod,_fP_jav,_fP_nom,_fP_npf,_fP_pas,_fP_uso,_fP_va) =
(_fP (_lhs_nomb))
in (_procedimiento_cap,_fP_claser,_procedimiento_cod ++ "\n" ++ _fP_cod ++ "\n",_procedimiento_dod ++ _fP_dod,_procedimiento_jav ++ "\n" ++ _fP_jav ++ "\n",_procedimiento_nom ++ _fP_nom,_procedimiento_npf ++ _fP_npf,_procedimiento_pas ++ "\n" ++ _fP_pas ++ "\n",_procedimiento_uso ++ _fP_uso,_procedimiento_va ++ _fP_va)
sem_FP_FPVacio :: (T_FP)
sem_FP_FPVacio (_lhs_nomb) =
let
in ("",[],[],[],[],[],[],[],[],[])
-- Fr ----------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pFor : String
pas : String
uso : List
va : List
-}
{-
local variables for Fr.Fr:
-}
{-
local variables for Fr.Fr1:
-}
{-
local variables for Fr.Fr2:
-}
data Fr = Fr_Fr (Expresion)
| Fr_Fr1 (Va)
-- semantic domain
-- cata
sem_Fr :: (Fr) ->
(T_Fr)
sem_Fr ((Fr_Fr (_expresion))) =
(sem_Fr_Fr ((sem_Expresion (_expresion))))
sem_Fr ((Fr_Fr1 (_va))) =
(sem_Fr_Fr1 ((sem_Va (_va))))
sem_Fr ((Fr_Fr2 (_int) (_reall))) =
(sem_Fr_Fr2 (_int) ((sem_Reall (_reall))))
sem_Fr_Fr :: (T_Expresion) ->
(T_Fr)
sem_Fr_Fr (_expresion) =
let ( _expresion_cod,_expresion_jav,_expresion_nom,_expresion_pFor,_expresion_pas,_expresion_uso,_expresion_va) =
(_expresion )
in ("(" ++ _expresion_cod ++ ")","(" ++ _expresion_jav ++ ")",[],"(" ++ _expresion_pFor ++ ")","(" ++ _expresion_pas ++ ")",_expresion_uso,[])
sem_Fr_Fr1 :: (T_Va) ->
(T_Fr)
sem_Fr_Fr1 (_va) =
let ( _va_cod,_va_jav,_va_nom,_va_pFor,_va_pas,_va_uso,_va_va) =
(_va )
in (_va_cod,_va_jav,[],_va_pFor,_va_pas,_va_uso,[])
(T_Reall) ->
(T_Fr)
sem_Fr_Fr2 (_int) (_reall) =
let ( _reall_cod,_reall_jav,_reall_nom,_reall_pas,_reall_uso,_reall_va) =
(_reall )
-- Funcion -----------------------------------------------------
{-
inherited attributes:
nomb : String
chained attributes:
synthesised attributes:
cap : String
claser : Classs
cod : String
dod : Doble
jav : String
nom : List
npf : List
pas : String
uso : List
va : List
-}
{-
local variables for Funcion.Fu:
-}
data Funcion
= Funcion
_Fu
(Solo los usuarios pueden ver los links.
Registrate o
Ingresar) (Pr
) (Tipo
) (Cuerpo
)
-- semantic domain
-- cata
sem_Funcion :: (Funcion) ->
(T_Funcion)
sem_Funcion ((Funcion_Fu (_string) (_pr) (_tipo) (_cuerpo))) =
(sem_Funcion_Fu (_string) ((sem_Pr (_pr))) ((sem_Tipo (_tipo))) ((sem_Cuerpo (_cuerpo))))
(T_Pr) ->
(T_Tipo) ->
(T_Cuerpo) ->
(T_Funcion)
sem_Funcion_Fu (_string) (_pr) (_tipo) (_cuerpo) (_lhs_nomb) =
let ( _pr_cod,_pr_jav,_pr_nom,_pr_pas,_pr_uso,_pr_va) =
(_pr )
( _tipo_cod,_tipo_jav,_tipo_nom,_tipo_pas,_tipo_uso,_tipo_va) =
(_tipo )
( _cuerpo_cod,_cuerpo_jav,_cuerpo_nom,_cuerpo_pas,_cuerpo_uso,_cuerpo_va) =
(_cuerpo (_string))
in (_string,(_tipo_nom,_string):[],_tipo_cod ++ " " ++ _string ++"( "++ _pr_cod ++" )" ++ "\n" ++ _cuerpo_cod,repNfp _string (_pr_va ++ _cuerpo_va),"public " ++ _tipo_jav ++ " " ++ _string ++ "( " ++ _pr_jav ++ " )" ++ "\n" ++ _cuerpo_jav,_pr_nom ++ _cuerpo_nom,_string:[],"function "++ " " ++ _string ++ "( " ++ _pr_pas ++ " )" ++ ":" ++ _tipo_pas ++ ";" ++ "\n" ++ _cuerpo_pas,_cuerpo_uso,_string : [] ++ _pr_va ++ _cuerpo_va)
-- Ids ---------------------------------------------------------
{-
inherited attributes:
chained attributes:
synthesised attributes:
cod : String
jav : String
nom : List
pas : String
uso : List
va : List
-}
{-
local variables for Ids.Ids:
-}
{-
local variables for Ids.Ids0:
-}
{-
local variables for Ids.Ids1:
-}
{-
local variables for Ids.Ids2:
-}
{-
local variables for Ids.Ids3:
-}
{-
local variables for Ids.Ids4:
-}
{-
local variables for Ids.Ids5:
-}
| Ids_Ids0 (Ids)
| Ids_Ids2 (Ids)
| Ids_Ids3 (Ids)
| Ids_Ids4 (Ids)
| Ids_Ids5
-- semantic domain
-- cata
sem_Ids :: (Ids) ->
(T_Ids)
sem_Ids ((Ids_Ids (_string) (_ids))) =
(sem_Ids_Ids (_string) ((sem_Ids (_ids))))
sem_Ids ((Ids_Ids0 (_ids))) =
(sem_Ids_Ids0 ((sem_Ids (_ids))))
sem_Ids ((Ids_Ids1 (_int) (_ids))) =
(sem_Ids_Ids1 (_int) ((sem_Ids (_ids))))
sem_Ids ((Ids_Ids2 (_ids))) =
(sem_Ids_Ids2 ((sem_Ids (_ids))))
sem_Ids ((Ids_Ids3 (_ids))) =
(sem_Ids_Ids3 ((sem_Ids (_ids))))
sem_Ids ((Ids_Ids4 (_ids))) =
(sem_Ids_Ids4 ((sem_Ids (_ids))))
sem_Ids ((Ids_Ids5 )) =
(sem_Ids_Ids5 )
(T_Ids) ->
(T_Ids)
sem_Ids_Ids (_string) (_ids) =
let ( _ids_cod,_ids_jav,_ids_nom,_ids_pas,_ids_uso,_ids_va) =
(_ids )
in (_string ++ " " ++ _ids_cod,_string ++ " " ++ _ids_jav,[],_string ++ " " ++ _ids_pas,_string:[] ++ _ids_uso,[])
sem_Ids_Ids0 :: (T_Ids) ->
(T_Ids)
sem_Ids_Ids0 (_ids) =
let ( _ids_cod,_ids_jav,_ids_nom,_ids_pas,_ids_uso,_ids_va) =
(_ids )
in ("\"" ++ _ids_cod ++ "\"\"%d" ++ "\"","\" " ++ _ids_jav ++ "\"",[],"' " ++ _ids_pas ++ " '",[],_ids_va)
(T_Ids) ->
Similar topics (5)
Enero 17, 2018, 09:09:59 pm