>>>>> "Colin" == Colin Paul Adams <
[hidden email]> writes:
>>>>> "Emmanuel" == Emmanuel Stapf [ES] <
[hidden email]> writes:
Emmanuel> It is going to require some work to achieve that and I
Emmanuel> do not have much time right now for doing that. Maybe we
Emmanuel> can start discussin whether the idea I suggested make
Emmanuel> sense (using a boolean flag) or whether there is an even
Emmanuel> better alternative.
Colin> Is the flag intended for copy-on-write operations?
I haven't seen an answer, so here is my suggestions:
1) Add a query:
is_copy_on_write: BOOLEAN
-- Does `Current' have copy-on-write semantics?
2) Add creation procedures make_from_string_copy_on_write (or
make_from_string_cow?) and make_from_c_copy_on_write (or
make_from_c_cow?) equivalent to make_from_string and make_from_c
respectively, but with the additional postcondition of
is_copy_on_write = True (I don't know anything about .NET so I don't
know whether there should be an equivalent for make_from_cil).
3) Aliased_substring will then need both a precondition and a
postcondition of is_copy_on_write.
--
Colin Adams
Preston Lancashire
-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Register now and save $200. Hurry, offer ends at 11:59 p.m.,
Monday, April 7! Use priority code J8TLD2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone_______________________________________________
freeelks-devel mailing list
[hidden email]
https://lists.sourceforge.net/lists/listinfo/freeelks-devel
