ESPECIFICAÇÕES DE AÇÕES SEMÂNTICAS ALTERADAS E VALIDAÇÕES DE TIPOS EM TEMPO DE EXECUÇÃO.
Por: Jose.Nascimento • 29/10/2017 • 425 Palavras (2 Páginas) • 551 Visualizações
...
Senao
Erro de imcompatibilidade.
Diminui o topo
Aumenta o ponteiro
SUB:
Se o topo e subtopo forem Double então
Subtopo recebe a subtração de subtopo e topo.
Senão Se o topo e subtopo forem Integer então
Subtopo recebe a subtração de subtopo e topo.
Senao
Erro de imcompatibilidade.
Diminui o topo
Aumenta o ponteiro
BGE:
Se o topo e subtopo forem Double então
Subtopo recebe condição se subtopo é maior ou igual que topo.
Senão Se o topo e subtopo forem Integer então
Subtopo recebe condição se subtopo é maior ou igual que topo.
Senao
Erro de imcompatibilidade.
Diminui o topo
Aumenta o ponteiro
BGR:
Se o topo e subtopo forem Double então
Subtopo recebe condição se subtopo é maior que topo.
Senão Se o topo e subtopo forem Integer então
Subtopo recebe condição se subtopo é maior que topo.
Senao
Erro de imcompatibilidade.
Diminui o topo
Aumenta o ponteiro
LDI:
Adiciona Topo
Se topo não for Natural então
Erro de incompatibilidade
Adiciona ponteiro
LDR:
Adiciona Topo
Se topo não for Real então
Erro de incompatibilidade
Adiciona ponteiro
MUL:
Se o topo e subtopo forem Double então
Subtopo recebe Subtopo vezes topo.
Senão Se o topo e subtopo forem Integer então
Subtopo recebe Subtopo vezes topo.
Senao
Erro de imcompatibilidade.
Diminui o topo
Aumenta o ponteiro
REA:
Adiciona topo
Adiciona ponteiro
Se tipo for 1 entao
Topo recebe obrigatoriamente um valor natural
Senão
Erro de incompatibilidade
Se tipo for 2 entao
Topo recebe obrigatoriamente um valor real
Senão
Erro de incompatibilidade
Se tipo for 3 entao
Topo recebe obrigatoriamente um valor literal
Senão
Erro de incompatibilidade
SME:
Se o topo e subtopo forem Double então
Subtopo recebe condição se subtopo é menor ou igual que topo.
Senão Se o topo e subtopo forem Integer então
Subtopo recebe condição
...