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

Tematika

• 18-complex: "bináris" műveletek, catcall

  < 	infix "*" ( other: COMPLEX ) : like Current 
  ---
  > 	infix "*" ( other: like Current ) : like Current
  

• Comparable: absztrakt osztály, művelettel való paraméterezés, dinamikus kötés; bináris műveletek
• egyenlőség, másolás, klónozás: ANY
• time: Öröklődés, felüldefiniálás, Precursor, downcast

  class DATUM
  inherit COMPARABLE
  feature
          make_masnap( d: DATUM )
  	ensure d < Current
  
  	masnap: DATUM
  	ensure Current < Result
  
   	is_less alias "<" (other: like Current): BOOLEAN
   	do
   		if ev = other.ev then
   			if honap = other.honap then
   				Result := nap < other.nap
   			else
   				Result := honap < other.honap
   			end -- if
   		else
   			Result := ev < other.ev
   		end -- if
   	end -- "<"
  

• Linked: Java és Eiffel - Egyszeresen, illetve kétszeresen láncolt struktúra Java és Eiffel implementációja. Eiffelben kapcsolt típusok a bináris műveleteknél. Főprogram, mely ennek következtében futási idejű típushibát eredményez.