inherit
   LOCALIZED_PRINTER
   ...
      localized_print ({STRING_32} "[
         Hello!
         ¡Hola!
         Bonjour!
         こんにちは!
         Здравствуйте!
         Γειά σου!
      ]")
        

Unicode output in console

feature -- Access

  ...

invariant

  all_items_valid: across items as x all x.item.is_valid end
  at_least_one_marked: across items as x some x.item.is_marked end

end
        

Assertion: class invariants


values := << 1, 2, 4, 8 >>

    --    Sum of (index * values [index]).
across
    values as i 
from 
    sum := 0 
loop
    sum := sum + i.cursor_index * i.item
end
        

Sum using across loop

Welcome to the community portal for Eiffel,
the programming language
for tackling tomorrow’s problems today.

EiffelStudio 18.07 GPL - win64
Download Now

Recent posts

  • News

  • Forum

  • Facebook

Community

This site is powered by Eiffel.

Built with the Eiffel ROC-CMS based on EiffelWeb.