rendered paste bodyPrecondition (require clause) failed.
10 frames in current stack.
===== Bottom of run-time stack =====
<system root>
Current = SPICERACK#0x84d7410
line 30 column 2 file ./spicerack.e
======================================
make SPICERACK
Current = SPICERACK#0x84d7410
service_manager = SERVICE_MANAGER#0x88d3580
[ interface = #0x88d5588
]
line 48 column 8 file ./spicerack.e
======================================
run_main_loop GTK_MAIN
Current = GTK_MAIN#0x84d9418
[ is_initialized = True
error = #0x84db420
]
line 132 column 4 file /home/waldo/except/eiffel-libraries//eiffel-gtk/library/gtk_main.e
======================================
gtk_main GTK_MAIN
line 76 column 12 file /home/waldo/except/eiffel-libraries//eiffel-gtk/library/externals/gtk_main_externals.e
======================================
External CECIL call.
======================================
callback CLICKED_CALLBACK[GTK_BUTTON]
Current = CLICKED_CALLBACK[GTK_BUTTON]#0x8bd7fd0
[ handle = POINTER#0x87d3bb0
is_shared = True
handler_id = 3033
object = #0x894e02c
procedure = #0x88b33a4
]
instance = POINTER#0x870d138
line 51 column 4 file /home/waldo/except/eiffel-libraries//eiffel-gtk/library/clicked_callback.e
======================================
Agent launcher
line 51 column 4 file /home/waldo/except/eiffel-libraries//eiffel-gtk/library/clicked_callback.e
======================================
on_vault_button_clicked INTERFACE
Current = INTERFACE#0x88d5588
[ factory = VAULT_ITEM_FACTORY
invariant_must_hold = False
last_dragged_item = Void
is_last_dragged_item_from_bin = False
is_bin_dragged = False
live_process = Void
show_all_verses = False
selected_verse = 0
selected_chapter = 0
selected_book = Void
dictionary_completion = #0x8bd027c
bible_completion = #0x8bd0268
motion_y = 0.0000000000000000e+00
motion_x = 0.0000000000000000e+00
overlay_index = 0
is_dragging = False
player_window = Void
inner_window = Void
inner_window_offset = Void
event_y = 0.0000000000000000e+00
event_x = 0.0000000000000000e+00
]
a_button = GTK_BUTTON#0x894e02c
[ handle = POINTER#0x870d138
is_shared = True
g_object_class = POINTER#0x870cbb0
]
a_category = "slide_background"
line 320 column 4 file /home/waldo/except/repos/spicerack/trunk/interface/elements.e
======================================
fill_store INTERFACE
Current = INTERFACE#0x88d5588
[ factory = VAULT_ITEM_FACTORY
invariant_must_hold = False
last_dragged_item = Void
is_last_dragged_item_from_bin = False
is_bin_dragged = False
live_process = Void
show_all_verses = False
selected_verse = 0
selected_chapter = 0
selected_book = Void
dictionary_completion = #0x8bd027c
bible_completion = #0x8bd0268
motion_y = 0.0000000000000000e+00
motion_x = 0.0000000000000000e+00
overlay_index = 0
is_dragging = False
player_window = Void
inner_window = Void
inner_window_offset = Void
event_y = 0.0000000000000000e+00
event_x = 0.0000000000000000e+00
]
a_category = "slide_background"
vault_iter = ITERATOR_ON_CATEGORIES#0x9097898
[ vault_items = #0x8ca4828
factory = VAULT_ITEM_FACTORY
category = "slide_background"
index = 3
]
vault_item = MEDIA_IMAGE#0x8cada0c
[ factory = VAULT_ITEM_FACTORY
is_valid = True
is_fetched = True
url = "file:///home/bn/spicerack-svn/base/vault_items/image_2.jpg"
description = "Red Box.%N"
title = "image_2.jpg"
thumbnail_url = Void
is_segment = False
is_segment_row = False
binary_file = Void
has_duration = False
is_media_audio = False
is_media_video = False
width = 100
height = 100
]
desc = "image_1.jpg"
pixbuf = GDK_PIXBUF#0x88ade40
[ handle = POINTER#0x8897560
is_shared = True
g_object_class = POINTER#0x8735958
last_error = Void
is_valid = True
]
iter = GTK_TREE_ITER#0x8c0ad88
[ handle = POINTER#0x88e2590
is_valid = False
tree_model = #0x8be3c60
]
line 267 column 5 file /home/waldo/except/repos/spicerack/trunk/interface/elements.e
======================================
path MEDIA_IMAGE
Current = MEDIA_IMAGE#0x8caddb4
[ factory = VAULT_ITEM_FACTORY
is_valid = False
is_fetched = False
url = "file:///home/bn/spicerack-svn/base/vault_items/image_2.jpg"
description = Void
title = "image_2.jpg"
thumbnail_url = Void
is_segment = False
is_segment_row = False
binary_file = Void
has_duration = False
is_media_audio = False
is_media_video = False
width = 0
height = 0
]
Result = Void
line 268 column 4 file /home/waldo/except/repos/spicerack/trunk/base/vault_item.e
===== Top of run-time stack =====
Exception number 9 not handled.
Precondition (require clause) failed.