Imperativa 2

• Estende a Linguagem Imperativa 1 com procedimentos parametrizados e recursivos
• O corpo de um procedimento é um comando e a chamada de um procedimento idem
• O contexto também é estendido com:
  • um mapeamento de identificadores (nomes de procedimentos) em definições de procedimentos
• Procedimentos não possuem status de valor
• Um programa é um comando

Fontes

Programa ::= Comando

Comando ::= Atribuicao
       | ComandoDeclaracao
       | While
       | IfThenElse
       | IO
       | Comando “;” Comando
       | Skip
       | ChamadaProcedimento

Skip ::=

Atribuicao ::= Id “:=” Expressao

Expressao ::= Valor
       | ExpUnaria | ExpBinaria | Id

Valor ::= ValorConcreto

ValorConcreto ::= ValorInteiro
       | ValorBooleano
       | ValorString

ExpUnaria ::= “-“ Expressao
       | “not” Expressao
       | “length” Expressao

ExpBinaria ::= Expressao “+” Expressao
       | Expressao “-“ Expressao
       | Expressao “and” Expressao
       | Expressao “or” Expressao
       | Expressao “==” Expressao
       | Expressao “++” Expressao

ComandoDeclaracao ::= “{“ Declaracao “;” Comando “}”

Declaracao ::= DeclaracaoVariavel
       | DeclaracaoProcedimento
       | DeclaracaoComposta

DeclaracaoVariavel ::= “var” Id “=” Expressao

DeclaracaoComposta ::= Declaracao “,” Declaracao

DeclaracaoProcedimento ::= “proc” Id “(“ [ ListaDeclaracaoParametro ] “)” “{“ Comando “}”

ListaDeclaracaoParametro ::= Tipo Id
       | Tipo Id “,” ListaDeclaracaoParametro

Tipo ::= “string” | “int” | “boolean”

While ::= “while” Expressao “do” Comando

IfThenElse ::= “if” Expressao “then” Comando “else” Comando

IO ::= “write” “(“ Expressao “)”
       | “read” “(“ Id “)”

ChamadaProcedimento ::= “call” Id “(“ [ ListaExpressao ] “)”

ListaExpressao ::= Expressao | Expressao, ListaExpressao

Classes Auxiliares

AmbienteExecucaoImperativa2
ContextoExecucaoImperativa2
ListaValor
DefProcedimento
ProcedimentoJaDeclaradoException
ProcedimentoNaoDeclaradoException

Parser

Imperative2 \