+typedef struct {
+ int num_lits; /* size of next array */
+ int* literals;
+} Clause;
+
+void Clause_pre_cb (gras_cbps_t *vars,void *data);
+
+void Clause_pre_cb(gras_cbps_t *vars, void *data) {
+ gras_cbps_i_push(vars, (long int) ((Clause*)data)->num_lits);
+}
+
+gras_error_t test_clause(gras_socket_t *sock, int direction) {
+ gras_error_t errcode;
+ gras_datadesc_type_t *ddt,*array_t;
+ Clause *i,*j;
+ int cpt;
+
+ INFO0("---- Test on struct containing dynamic array and its size (cbps test) ----");
+
+ /* create and fill the struct */
+ if (! (i=malloc(sizeof(Clause))) )
+ RAISE_MALLOC;
+
+ i->num_lits = 5432;
+ if (! (i->literals = malloc(sizeof(int) * i->num_lits)) )
+ RAISE_MALLOC;
+ for (cpt=0; cpt<i->num_lits; cpt++)
+ i->literals[cpt] = cpt * cpt - ((cpt * cpt) / 2);
+ DEBUG3("created data=%p (within %p @%p)",&(i->num_lits),i,&i);
+ DEBUG1("created count=%d",i->num_lits);
+
+ /* create the damn type descriptor */
+ TRYFAIL(gras_datadesc_struct("Clause",&ddt));
+
+ gras_datadesc_cb_send(ddt,Clause_pre_cb); /* push the size of the arrray */
+
+ TRYFAIL(gras_datadesc_struct_append(ddt,"num_lits",
+ gras_datadesc_by_name("int")));
+
+ TRYFAIL(gras_datadesc_ref_pop_arr(gras_datadesc_by_name("int"), &array_t));
+ TRYFAIL(gras_datadesc_struct_append(ddt,"literals",array_t));
+ gras_datadesc_struct_close(ddt);
+ TRYFAIL(gras_datadesc_ref("Clause*",ddt,&ddt));
+
+ TRY(write_read(ddt, &i,&j, sock,direction));
+ if (direction == READ || direction == RW) {
+ gras_assert(i->num_lits == j->num_lits);
+ for (cpt=0; cpt<i->num_lits; cpt++)
+ gras_assert(i->literals[cpt] == j->literals[cpt]);
+
+ free(j->literals);
+ free(j);
+ }
+ free(i->literals);
+ free(i);
+ return no_error;
+}
+