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

Tematika

• 5-lnko: mellékhatás, dokumentáció
• 6-lnko: a paraméterek csak olvashatók, az azonosítók case-insensitive-ek, elő- és utófeltétel, bennük megjegyzés
• 7-lnko: típusinvariáns, a mellékhatásos függvény eltüntetése, lusta logikai op.
• 8-datum: elseif, inspect, egész operátorok, konstruktor/eljárás/függvény, Current, címkézett klózok, feature-ök osztályozása, Writable, konstans

       Multi_branch	=	"inspect" Expression [When_part_list] [Else_part] "end"
       When_part_list	=	"when" {When_part "when" ...}+
       When_part		=	Choices "then" Compound
       Choices		=	{Choice "," ...}
       Choice		=	Constant | Interval
       Interval		=	Integer_interval | Character_interval
       Integer_interval	=	Integer_constant ".." Integer_constant
       Else_part		=	"else" Compound
       

• 9-lnko: debug utasítás