Immutable declaration

FWIW the Eiffel language has the ONCE attribute for variables like that.

2 Likes