eiffelroom - Intermediate - Comments

Note that RTMS is a macro

manus_eiffel — Thu, 19 Jun 2008 22:43:37 -0700

Note that RTMS is a macro and evaluate twice its argument, so for efficiency it should be:

cpp_get_text: STRING is

        -- Get some dummy text

    external

        "C++ inline use <string>"

    alias

        "[

         std::string a = "dummy";

         char *c_str = (char*) a.c_str();

         return RTMS(c_str);

        "]

    end

After having a problem with

patrickr — Wed, 18 Jun 2008 13:27:07 -0700

After having a problem with creating a STRING from a std::string (c++): Here's the solution

cpp_get_text: STRING is

        -- Get some dummy text

    external

        "C++ inline use <string>"

    alias

        "[

         std::string a = "dummy";

         return RTMS(((char*)a.c_str()));

        "]

    end

To see something, you might add a loop

Jocelyn Fiat — Thu, 29 Nov 2007 10:06:00 -0800

To see something, I would just add the following points:

1) add THREAD_CONTROL to the inherited class for SAMPLE 2) at the end of make, you could add (for instance)

from until False loop
    print (".")
    sleep (1_000_000_000)
end

Church numerals

colin-adams — Tue, 05 Jun 2007 07:28:54 -0700

Couldn't you make it more complicated by using Church numerals? Colin Adams

Fixed ...

schoelle — Tue, 05 Jun 2007 00:16:23 -0700

You are right, SET[G] would not type check. Was a typo. I have fixed it in the article.

Signature of i_th_power

doenniu — Mon, 04 Jun 2007 12:10:58 -0700

I think that the signature of i_th_power has to be:

i_th_power (i: INTEGER): SET [ANY]

I like NAT, that helps me on my endless quest to write a program that counts from 1 to 5 in the most complicated way:

(nat_to_integer (create {NAT [NAT [BOOLEAN]]}) |..| nat_to_integer (create {NAT [NAT [NAT [NAT [NAT [NAT [BOOLEAN]]]]]]})).do_all (agent (a_int: INTEGER) do print (a_int.out + "%N") end)