Online Eiffel Documentation
EiffelStudio

Eiffel Reserved Keywords

There are 56 language keywords in Eiffel which cannot be used as developer defined identifiers in Eiffel class code.

Eiffel Reserved Keywords

agentaliasallandasassigncheck
classconvertcreateCurrentdebugdeferreddo
elseelseifendensureexpandedexportexternal
Falsefeaturefromfrozenifimpliesindexing
infixinheritinspectinvariantislikelocal
loopnotobsoleteoldonceorprefix
Precursorpureredefinereferencerenamerequirerescue
ResultretryseparatethenTrueTUPLEundefine