/logica-smb

Projeto da disciplina de Lógica para Computação

Primary LanguageAlloy

Projeto da Disciplina de Lógica para Computação

Universidade Federal de Campina Grande

Grupo:

  • Danilo M. Freitas
  • Rafael G. de Pontes
  • Talita Galdino
  • Vitor B. Diniz

Tema 8: Super Mario Bros.

Grupo: 5 e 12

Descrição: Super Mario Bros é um jogo eletrônico considerado um clássico, lançado pela Nintendo em 1985. Mario é um encanador italiano, baixinho, rechonchudo e bigodudo que reside no Reino dos Cogumelos e tem a missão de resgatar a Princesa Peach. Para isso ele precisa vencer os obstáculos e rivais em cada fase. Inicialmente ele é apenas o mario bros (mario pequeno), mas durante o jogo ele pode se tornar o Super Mario (mario grande), Fire Mario (com poderes de fogo), Mario Capa (com poderes de voo), Mario Invencível (Quando coleta a estrela se tornando imune ao colidir com o inimigo) ou Mario Morto.

  • Após coletar um cogumelo o mario bros passa a ser o Super Mario. Se ele (mario bros) coletar uma flor vira o Fire Mario, se coletar a pena se torna o Mario Capa, se coletar uma estrela passa a ser o Mario Invencível e se levar um dano se torna um Mario Morto.
  • Quando ele passa a ser o Super Mario e coleta uma flor, uma pena ou uma estrela vai se tornar o mesmo que o mario bros ao coletar esses itens. Se levar um dano volta a ser o mario bros(pequeno), caso colete um cogumelo continua sendo o Super Mario.
  • Quando ele passa a ser Fire Mario, ao coletar uma pena ou uma estrela se tornar o mesmo que o mario bros ao coletar esses itens. Se ele coletar um cogumelo ou uma flor continua sendo o Fire Mario e se levar um dano volta a ser Super Mario.
  • Quando ele se torna um Mario Capa e coleta um cogumelo ou uma pena continua sendo o Mario Capa. Caso ele sofra algum dano volta a ser Super Mario. Se ele coletar uma flor ou uma estrela se tornar o mesmo que o mario bros ao coletar esses itens.
  • Quando ele se torna o Mario Invencível,e coleta um cogumelo ou estrela ou colide com o inimigo continua sendo o Mario Invencível. Se ele pegar uma flor ou uma pena se tornar o mesmo que o mario bros ao coletar esses itens.

Cliente: Camila