pascal özentisi yazımını görmek isteyenlere şöyle bir örnek koyuverelim tam olsun:
put (x: element; key: strıng) is
............-- ınsert x so that it will be retrievable through key.
........require
............count <= capacity
............not key.empty
........do
............my_hash_table.extend (x, key)
........ensure
............has (x)
............item (key) = x
............count = old count + 1
........end
eiffelstudio ve smarteiffel, gpl lisansıyla dağıtılan ve kendilerine göre avantajları olan, eiffel için iki farklı geliştirme ortamı. özellikle güzel bir ide'yle birlikte geldiği için eiffelstudio, "bir bakayım lan neymiş bu" diyen meraklıların ufkunu açabilir.
