Code: Select all
B = file::readBinary("Color.rtf"),
richEditControl_ctl:setText(uncheckedConvert(string, convert(pointer, B))).
Jimmy Xia
Code: Select all
B = file::readBinary("Color.rtf"),
richEditControl_ctl:setText(uncheckedConvert(string, convert(pointer, B))).
Code: Select all
predicates
saveFile : (string Filaname) -> byteCount BytesWritten.
clauses
saveFile(Filename) = BytesWritten :-
OS = outputStream_file::create(Filename, stream::binary),
try
Result =
richEditControl_ctl:sendMessage(richEdit_native::em_streamout, gui_api::mkW(richEdit_native::sf_rtf),
uncheckedConvert(gui_native::lparam, richEdit_native::editstream(OS, 0, editStreamCallback)))
finally
OS:close()
end try,
BytesWritten = gui_api::getInteger(Result).
class predicates
editStreamCallback : richEdit_native::editStreamCallback{outputStream}.
clauses
editStreamCallback(OS, Buf, Count, Count) = 0 :-
OS:writeBytes(Buf, Count).