Linguagem Eiffel

Grupo responsável:

  • Juan Carlos Domingues Nachtigall

Sobre a composição dos nomes:

Qual o tamanho máximo que podem ter os nomes?

Não há limite de tamanho.

Existe distinção entre maiúsculas e minúsculas na composição dos nomes?

Ela não é case sensitive (não diferencia maiúsculas de minúsculas).

Quantas palavra-chave e palavra reservada existem na linguagem?

59.
As palavras reservadas presentes na linguagem Eiffel são:

agent class elseif from local or select Void
alias convert end frozen loop Precursor separate when
all create ensure if not redefine then xor
and Current expanded implies note rename True
as debug export inherit obsolete require TUPLE
assign deferred external inspect old rescue undefine
attribute do False invariant once Result until
check else feature like only retry variant

Sobre as variáveis:

Existe suporte a apelidos?

Sim. Através do comando ALIAS

Qual é a faixa de valores das variáveis em função do tipo?

Definição única de dados: a Classe

Que tipos de declarações são aceitas (implícitas, explícitas, etc.)?

Polimorfismo Universal Paramétrico: Uma função ou uma classe que siga o polimorfismo universal paramétrico tem um parâmetro de tipo (implícito ou explícito), que determina o tipo de argumento para cada aplicação dessa função /classe.

Existe suporte a vinculação dinâmica de tipos?

Sim. Em Eiffel todas as vinculações de mensagens a métodos na Eiffel são dinâmicas. As rotinas de sub-classes podem sobrepor-se a rotinas herdadas. Para ser uma rotina que se sobrepõe os tipos dos parâmetros formais devem ter compatibilidade de atribuição com os da rotina sobreposta. Além disso, o tipo de retorno da rotina que sobrepõe deve ter compatibilidade de atribuição com o da rotina sobreposta. todos os recursos de sobreposição devem ser definidos na clausula redefine.

Existe suporte a tipificação forte?

Não. Em Eiffel é usado Vinculação dinâmica todas as vinculações de mensagens a métodos na Eiffel são dinâmicas. As rotinas de sub-classes podem sobrepor-se a rotinas herdadas. Para ser uma rotina que se sobrepõe os tipos dos parâmetros formais devem ter compatibilidade de atribuição com os da rotina sobreposta. Além disso, o tipo de retorno da rotina que sobrepõe deve ter compatibilidade de atribuição com o da rotina sobreposta. todos os recursos de sobreposição devem ser definidos na clausula redefine. O acesso a recursos sobrepostos pode ser mantido colocando-se seus nomes em uma clausula rename.

Como é o escopo? Estático, dinâmico ou ambos?

Tipagem Estática (em tempo de compilação).

 
eiffel-2-trabalho.txt · Last modified: 2012/03/30 18:11 by clp · [Old revisions]