| 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

agent | alias | all | and | as | assign | check
class | convert | create | Current | debug | deferred | do
else | elseif | end | ensure | expanded | export | external
False | feature | from | frozen | if | implies | indexing
infix | inherit | inspect | invariant | is | like | local
loop | not | obsolete | old | once | or | prefix
Precursor | pure | redefine | reference | rename | require | rescue
Result | retry | separate | then | True | TUPLE | undefine