TAD's AOE
TAD Recursos
Objeto abstracto:
Invariante:
Nombre ∈ texto
cantidad ∈ int
Posx ∈ int
Posy ∈ int
0 = 0
Posy >= 0
cantidad = 0 → Acabado = 1
Operaciones:
CrearRecurso:Nombre x int → recurso
ModificarRecurso: Recurso x int→ recurso
Destruirecurso: recurso →
Getposx: recurso → int
Getcantidad: recurso → int
Getposy: recurso → int
Vacia: recurso → booleanoCrearRecurso(char* Nombre , int cantidad)
“Crea un recurso con nombre y cantidad, le asigna una posicion”
{pre: TRUE}
{pos:
}
ModificarRecurso(recurso Recurso, int cantidad)
“Modifica lacantidad del recurso que uno le pasa”
{pre: Recurso ∃ ∧ cantidad != 0}
{pos:
}
Destruirecurso(recurso Recurso)
“Destruye el recurso cuando se acaba”
{pre:
}
{pos:}Getposx(recurso Recurso)
“Dado un recurso, retorna la posición en x”
{pre:
}
{pos: Posx}
Getposy(recurso Recurso)
“Dado un recurso, retorna la posición en y”
{pre:
}
{pos: posy}Getcantidad(recurso Recurso)
“Dado un recurso, retorna la cantidad que hay de este”
{pre:
}
{pos: cantidad}
Vacia(recurso Recurso)
“Dado un recurso, retorna si queda o no cantidad derecurso”
{pre:
}
{pos: True ↔ cantidad = 1
False ↔ cantidad = 0}
TAD Jugador
Objeto abstracto:
Invariante:
Nombre ∈ texto
Recursos ∈ Lista
Entes =
Civilizacion ∈texto
Edad ∈ texto
Operaciones:
CrearJugador: Nombre x char* → Jugador
modificarecursos: Jugador x int x int→ Jugador
agregarentes: Jugador x ente → Jugador
modificaredad: Jugador x texto →Jugador
destruirjugador: Jugador →
CrearJugador(char* Nombre, char* Civilizacion)
"Crea un jugador con un nombre dado, una civilizacion dada y le asigna los elementos para
iniciar"
{pre: Nombpre: re∈ texto ∧ Civilizacion ∈ texto}
{pos:
}
modificarecursos(Jugador, int valor, int pos)
"Modifica los recursos del jugador, para aumentarlos o disminuirlos"
{pre: {
}
{pos:...
Regístrate para leer el documento completo.