Compiladores: PASCALjr - WWW2 - Udesc

More documents

Recommendations

Info

5.3 Projeto das Regras SemânticasOs símbolos semânticos no protótipo P ASCAL jr armazenarão as seguintes informações:Lexema, Tipo, Endereço, Natureza (VAR ou CONST ), Valor (No caso de constantes).O TDA (Hashing) é acessado através dos seguintes métodos:CriaTS aloca a tabela de símbolos vaziaInsereTS insere um novo símbolo na tabela de símbolosBuscaTS retorna as informações de um determinado símbolo na tabelaDestroiTS desaloca toda a tabela de símbolosOs possíveis erros semânticos são:1. Identificador Não Declarado2. Identificador de Variável Esperado3. Tipos Incompatíveis4. Identificador Duplicado5. Retorno de Função Esperado6. Uso Incorreto de Chamada de Sob-RotinaAs seguintes regras semânticas serão aplicadas às regras da gramática da linguagemP ASCAL jr . Obs.: Não esquecer de considerar os grafos de dependência entre os atributossemânticos.50
Programa → AreaDecl AreaSubRot Principal{ CriaTS(); EnderecoLivre=0; }AreaDecl → AreaDeclVar AreaDecl | AreaDeclConst AreaDecl | ε{ Nenhuma Ação Semântica }AreaDeclVar → prVar DoisPt DeclVars{ Nenhuma Ação Semântica }DeclVars → Tipo ListaID PtVirg DeclVars’{ ListaID.Acao = DeclV ar; ListaID.T ipo = Tipo.T ipo }DeclVars’ → Tipo ListaID PtVirg DeclVars’{ ListaID.Acao = DeclV ar; ListaID.T ipo = Tipo.T ipo }DeclVars’ → ε { Nenhuma Ação Semântica }Tipo → prInt { Tipo.T ipo = Inteiro }Tipo → prFloat { Tipo.T ipo = Real }Tipo → prChar { Tipo.T ipo = Caracter }Tipo → prString { Tipo.T ipo = Cadeia }Tipo → prBool { Tipo.T ipo = Logico }ListaID → Identificador ListaID’{ ListaID’.Acao = ListaID.Acao; ListaID’.T ipo = ListaID.T ipo;if(ListaID.Acao==DeclVar){if(!InsereT S(VAR, Identificador.Lexema, ListaID.T ipo, EnderecoLivre + +)ERRO SEM 4; }else Entrada=BuscaTS(Identificador.Lexema);if(!Entrada) ERRO SEM 1 else if(Entrada.Natureza != VAR) ERRO SEM 2 }ListaID’ 1 → Virg Identificador ListaID’ 2{ ListaID’ 2 .Acao = ListaID’ 1 .Acao; ListaID’ 2 .T ipo = ListaID’ 1 .T ipo;if(ListaID’ 1 .Acao==DeclVar){if(!InsereT S(VAR, Identificador.Lexema, ListaID.T ipo, EnderecoLivre + +)ERRO SEM 4; }else Entrada=BuscaTS(Identificador.Lexema);if(!Entrada) ERRO SEM 1 else if(Entrada.Natureza != VAR) ERRO SEM 2 }ListaID’ → ε { Nenhuma Ação Semântica }AreaDeclConst → prConst DoisPt DeclConsts{ Nenhuma Ação Semântica }DeclConsts → Tipo ListaIDConst PtVirg DeclConsts’{ ListaIDConst.T ipo = Tipo.T ipo }DeclConsts’ → Tipo ListaIDConst PtVirg DeclConsts’{ ListaIDConst.T ipo = Tipo.T ipo }DeclConsts’ → ε { Nenhuma Ação Semântica }ListaIDConst → Identificador Atrib Valor ListaIDConst’{ ListaIDConst’.T ipo = ListaIDConst.T ipo;InsereT S(CONST, Identificador.Lexema, ListaIDConst.T ipo,EnderecoLivre + +, Valor.V alor) }51
Page 1 and 2:
Compiladores: P ASCAL jrRogério Ed
Page 3 and 4: 5 Análise Semântica 415.1 Traduç
Page 5 and 6: Capítulo 1IntroduçãoEntende-se p
Page 7 and 8: 1.2.1 Fases da CompilaçãoO proces
Page 9 and 10: A análise semântica tem por objet
Page 11 and 12: Capítulo 2Um Compilador Simples de
Page 13 and 14: Associatividade de OperadoresConven
Page 15 and 16: 11. Bloco de comandos delimitados p
Page 17 and 18: Capítulo 3Análise Léxica3.1 O Pa
Page 19 and 20: 2. Escrever um programa numa lingua
Page 21 and 22: P: S → 0S | AA → A1 | BB → 0
Page 23 and 24: Operador Relacional Diferentemedia
Page 25 and 26: Capítulo 4Análise Sintática4.1 O
Page 27 and 28: 4.2 Análise Sintática Ascendente
Page 29 and 30: Sc A dfalha!SSabc A dSc A dsucesso!
Page 31 and 32: AAAβAαAαAααβαA'A'α A'α A'
Page 33 and 34: Cláusula FollowPela regra 1 temos
Page 35 and 36: 1. Percorrer a cadeia, a partir da
Page 37 and 38: AreaSubRot → AreaProc AreaSubRot
Page 39 and 40: Analisando os comandos de Repetiç
Page 41 and 42: OpSubt ExprAr | SubRot |Identificad
Page 43: • Executa a análise da produçã
Page 46 and 47: ProduçãoL → EE → E + TE → T
Page 48 and 49: 5.1.2 Verificações de ContextoUm
Page 50 and 51: Exercício: Construir as tabelas de
Page 52 and 53: Existem dois métodos básicos para
Page 56 and 57: ListaIDConst’ 1 → Virg Identifi
Page 58 and 59: ListaExpr >→< Expr >< ListaExpr
Page 60 and 61: FatorAr’ >→ OpPote < ElementoAr
Page 63 and 64: Capítulo 6Geração de Código Int
Page 65 and 66: 6.1.3 Código de Três-EndereçosCa
Page 67 and 68: 100: if A < B goto 103 107: T2=1101
Page 69 and 70: Backpatching para Expressões Lógi
Page 71 and 72: Capítulo 7Otimização de CódigoT
Page 73 and 74: Código IntermediárioT1 = a+bT2 =
Page 75 and 76: Capítulo 8Geração de Código Obj
Page 77 and 78: INIP inicializa a execução do pro
Page 79 and 80: Comando de AtribuiçãoARMZ n Trans
Page 81 and 82: ListaID → Identificador ListaID
Page 83 and 84: ListaParam’ → ε { }AreaFunc
Page 85 and 86: Condic’ → prElse Comando{ Quad2
Page 87 and 88: TermoLog’ → OpRelacMaiorIgual F
Page 89: Do programa a ser criado:• Abre u
show all

Compiladores: PASCALjr - WWW2 - Udesc

Create successful ePaper yourself

Delete template?

Save as template?