Difference between revisions of "Void-Safe Library Results"
(New page: List of bugs found by compiling our library in void-safe mode. ==WEL==) |
(→WEL) |
||
| Line 2: | Line 2: | ||
==WEL== | ==WEL== | ||
| + | * Call on Void target found in {WEL_TREE_VIEW}.insert_item because there is no guarantee that `user_tree_view_item' will be set in `an_item': | ||
| + | |||
| + | <e> | ||
| + | insert_item (an_item: WEL_TREE_VIEW_INSERT_STRUCT) | ||
| + | -- Insert `an_item' in the tree. | ||
| + | require | ||
| + | exists: exists | ||
| + | an_item_not_void: an_item /= Void | ||
| + | an_item_exists: an_item.exists | ||
| + | local | ||
| + | l_user_item: WEL_TREE_VIEW_ITEM | ||
| + | do | ||
| + | last_item := {WEL_API}.send_message_result (item, Tvm_insertitem, to_wparam (0), an_item.item) | ||
| + | an_item.tree_view_item.set_h_item (last_item) | ||
| + | an_item.user_tree_view_item.set_h_item (last_item) | ||
| + | ensure | ||
| + | new_count: count = old count + 1 | ||
| + | end | ||
| + | </e> | ||
Revision as of 23:20, 20 January 2009
List of bugs found by compiling our library in void-safe mode.
WEL
- Call on Void target found in {WEL_TREE_VIEW}.insert_item because there is no guarantee that `user_tree_view_item' will be set in `an_item':
insert_item (an_item: WEL_TREE_VIEW_INSERT_STRUCT) -- Insert `an_item' in the tree. require exists: exists an_item_not_void: an_item /= Void an_item_exists: an_item.exists local l_user_item: WEL_TREE_VIEW_ITEM do last_item := {WEL_API}.send_message_result (item, Tvm_insertitem, to_wparam (0), an_item.item) an_item.tree_view_item.set_h_item (last_item) an_item.user_tree_view_item.set_h_item (last_item) ensure new_count: count = old count + 1 end
