Escolar Documentos
Profissional Documentos
Cultura Documentos
Laboratrio de Programao
Orientada a Objetos para
Engenharia Eltrica
PC
Ar Condicionado
Residencial
Painel de
Controle
Min, Max
Ventilador
Aquecedor
Refrigerador
Importante:
O Contrato no
TAD nome_TAD especifica a
representao
Dados
dos dados e nem
[Descreve a estrutura de dados] os algoritmos que
Operaes implementam as
Operao 1 operaes
Entrada: [Dados vindos do cliente]
Pr-condies: [Estado (condio) necessrio(a) do sistema antes de executar a operao]
Processo: [Aes executadas com os dados]
Sada: [Dados retornados para o cliente]
Ps-condies: [Estado do sistema depois de executar a operao]
Operao 2 ...
Operao n ...
Fim TAD nome_TAD
( Adaptado de Ford e Topp, 1996)
PCS / EP / USP 2017 PCS 3111 Aula 3 15
Exemplo: Contrato do TAD Sensor
TAD Sensor
Dados
Um nmero real no negativo que especifica o cdigo do sensor.
Um valor booleano que indica o estado do sensor.
Operaes
Ativao
Entrada: Cdigo do sensor.
Pr-condies: Nenhuma.
Processo: Ativar sensor.
Sada: Nenhuma.
Ps-condies: Sensor Ativado.
Leitura
Entrada: Cdigo do sensor.
Pr-condies: Nenhuma.
Processo: Ler estado do sensor.
Sada: Retorna estado do sensor.
Ps-condies: Nenhuma.
Classe
Privado
Dados membros: valor 1, valor 2... Encapsulamento
Operaes internas
Pblico
Operao 1
Operao 2 Interface de Acesso
Classe Sensor
Privado 1 class Sensor {
Estado 2 private:
3 bool ativado;
4 public:
Pblico 5 void ativarSensor() {
6 ativado = true;
Ativao 7 }
Leitura 8 bool isAtivado() {
9 return ativado;
10 }
11 };
(1, 2)
PCS / EP / USP 2017 PCS 3111 Aula 3 (-1, -2) 31
Referncia para o Objeto Atual