 | Class Summary |
|
ErroTipoException
|
Excecao lancada quando uma expressao nao esta corretamente tipada.
|
ErroUnificacaoException
|
Excecao lancada quando nao se e possivel realizar a unificacao de dos tipos.
|
Substituicao
|
Classe que modela uma substituicao.
|
SubstituicaoSimples
|
Classe que modela uma substituição simples.
|
Tipo
|
Classe que representa os possiveis tipos de uma expressao.
|
TipoBasico
|
Classe que modela os tipos básicos da linguagem.
|
TipoBooleano
|
Classe que implementa o tipo basico Booleano
|
TipoChar
|
Classe que implementa o tipo basico Char
|
TipoInteiro
|
Classe que implementa o tipo basico Inteiro
|
TipoSimples
|
Classe que implementa os tipos simples da linguagem, isto é, todos os tipos
da forma T .
|
TipoString
|
Classe que implementa o tipo basico String
|
TipoVoid
|
Classe que implementa o tipo basico Void
|