Qual a forma básica de declarar um método tipado?
Deve-se mencionar o tipo na parte declarativa (estrutura da classe) e também na implementação do método, conforme exemplo seguinte.
Sugere-se visitar os Tipos Nativos.
Exemplo - Método Tipado
#include "tlpp-object.th" Class tMyClass Public Method New() as Object Public Method myMethod () as Numeric EndClass Method New() as Object class tMyClass Return Self Method myMethod () as Numeric class tMyClass Return 10
A checagem de métodos está no mesmo estágio que a checagem de funções?
Sim, hoje o compilador apresenta as mesmas tratativas de checagem de tipos para funções ou métodos.
Isso quer dizer que ele vai olhar:
- se o retorno do método é compatível com o tipo declarado;
- se as chamadas àquele método, quando conhecido estaticamente o seu "Self", são compatíveis com a expressão em que a chamada faz parte.
Recomenda-se visitar Tipando Funções.
Visão Geral
Import HTML Content
Conteúdo das Ferramentas