Casting E detail
Mark S. Miller
Thu, 28 Jan 1999 11:30:07 -0800
At 05:52 AM 1/28/99 , firstname.lastname@example.org wrote:
>This is not a simple question, because the answer to "what is a char?" is
>not a simple question.
>There are a couple of converters in Java, depending on character set.
Whenever possible, including this case, E attempts to provide a simple
answer. In this case, it's the same as the default simple answer in Java:
just convert according to unicode. Given that "i" is an integer (or in
Java, an int), the equivalent of Java's
in E is
Similarly, given that "c" is a char, the equivalent of Java's
in E is
as documented in http://www.erights.org/elang/integer-ref.html and
In E, all character actors are method actors,