Az Eiffel programozási nyelv - 10. előadás

Tematika

• Kivételek
  • Failure, exception: művelet, terjedés
  • Szerződés sérül, de az osztályinvariáns nem sérülhet!
  • Kivételkezelés: rescue és retry (egyszer, n-szer, n után failure)
  • EXCEPTIONS
• default_create, generic constraint, creation expression
• helyesség
• reverse assignment attempt
• tuple types
• agents?
• Precursor
• unique
• manifest
• bit