“…Para modelar os estados errôneos, o mecanismo descrito por [Cacho 2006, Damasceno, 2006 permite definir exceções que podem ser levantadas automaticamente através da utilização de um "contexto excepcional" ou explicitamente através do método signal (Figura 3, linhas 1-2). Um contexto excepcional corresponde a um conjunto indesejável de condições contextuais que, quando violadas, representam uma situação excepcional.…”