int i, *e, foreach_retuned_sum = 0;
forb_sequence_alloc(s, 10);
WVPASS(s);
+ WVPASS(forb_sequence_allocated(s) == 10);
+ bool initialized_to_zero = true;
+ for (i=0; i<10; i++)
+ initialized_to_zero &= forb_sequence_elem(s, i) == 0;
+ WVPASS(initialized_to_zero);
+ WVPASS(forb_sequence_elem(s, 9) = 1);
+ WVPASS(forb_sequence_ensure_allocated(s, 1000) != NULL);
+ WVPASS(forb_sequence_allocated(s) == 1000);
+ WVPASS(forb_sequence_elem(s, 9) == 1);
+ WVPASS(forb_sequence_elem(s, 999) = 1);
CORBA_sequence_set_release(s, 1);
WVPASS(forb_sequence_length(s) == 0);
forb_sequence_free(s, destructor);