static void
output_init(FILE *tbl_file)
{
int state[N];
GBgetInitialState(model, state);
fprintf(tbl_file, "begin state\n");
for (int i = 0; i < N; i++) {
fprint_ltsmin_ident(tbl_file, lts_type_get_state_name(ltstype, i));
fprintf(tbl_file, ":");
fprint_ltsmin_ident(tbl_file, lts_type_get_state_type(ltstype, i));
fprintf(tbl_file, (i == (N - 1))?"\n":" ");
}
fprintf(tbl_file,"end state\n");
fprintf(tbl_file,"begin edge\n");
for(int i = 0; i < eLbls; i++) {
fprint_ltsmin_ident(tbl_file, lts_type_get_edge_label_name(ltstype, i));
fprintf(tbl_file, ":");
fprint_ltsmin_ident(tbl_file, lts_type_get_edge_label_type(ltstype, i));
fprintf(tbl_file, (i == (eLbls - 1))?"\n":" ");
}
fprintf(tbl_file, "end edge\n");
fprintf(tbl_file, "begin init\n");
for(int i = 0; i < N; i++)
fprintf(tbl_file, "%d%s", state[i], (i == (N - 1))?"\n":" ");
fprintf(tbl_file,"end init\n");
}
void lts_type_serialize(lts_type_t t,stream_t ds){
DSwriteS(ds,"lts signature 1.1");
uint32_t N=lts_type_get_state_length(t);
Warning(debug,"state length is %d",N);
DSwriteU32(ds,N);
for(uint32_t i=0;i<N;i++){
char*x=lts_type_get_state_name(t,i);
if (x) DSwriteS(ds,x); else DSwriteS(ds,"");
DSwriteU32(ds,lts_type_get_state_typeno(t,i));
}
N=lts_type_get_state_label_count(t);
Warning(debug,"%d state labels",N);
DSwriteU32(ds,N);
for(uint32_t i=0;i<N;i++){
char*x=lts_type_get_state_label_name(t,i);
if (x) DSwriteS(ds,x); else DSwriteS(ds,"");
DSwriteU32(ds,lts_type_get_state_label_typeno(t,i));
}
N=lts_type_get_edge_label_count(t);
Warning(debug,"%d edge labels",N);
DSwriteU32(ds,N);
for(uint32_t i=0;i<N;i++){
char*x=lts_type_get_edge_label_name(t,i);
if (x) DSwriteS(ds,x); else DSwriteS(ds,"");
DSwriteU32(ds,lts_type_get_edge_label_typeno(t,i));
Warning(debug,"edge label %d is %s : %s",i,x,lts_type_get_edge_label_type(t,i));
}
N=lts_type_get_type_count(t);
Warning(debug,"%d types",N);
DSwriteU32(ds,N);
for(uint32_t i=0;i<N;i++){
DSwriteS(ds,lts_type_get_type(t,i));
DSwriteS(ds,(char*)data_format_string(t,i));
}
}
static inline void
print_ti (check_ctx_t *ctx, transition_info_t *ti)
{
if (ti == NULL || ti->labels == NULL) return;
model_t model = ctx->parent;
lts_type_t ltstype = GBgetLTStype (model);
int Max = 4096;
char *tmp = RTmalloc (Max);
int l;
for (int i = 0; i < ctx->L; i++) {
char *name = lts_type_get_edge_label_name (ltstype, i);
char *type = lts_type_get_edge_label_type (ltstype, i);
int typeno = lts_type_get_edge_label_typeno (ltstype, i);
char *res = tmp;
l = snprintf (res, Max, " --> %s : %s = ", name, type);
l += print_chunk (model, res+l, Max-l, typeno, ti->labels[i]);
Printf (lerror, "%s\n", res);
}
RTfree (tmp);
}
