- Made the output of the semistate include the bindings.

This commit is contained in:
ccremers 2004-08-15 17:50:41 +00:00
parent 071b9bd735
commit 91a679a129
3 changed files with 26 additions and 0 deletions

View File

@ -408,6 +408,15 @@ printSemiState ()
{ {
int run; int run;
int open; int open;
List bl;
int binding_indent_print (void *data)
{
indentPrint ();
eprintf ("!! ");
binding_print (data);
return 1;
}
indentPrint (); indentPrint ();
eprintf ("!! --=[ Semistate ]=--\n"); eprintf ("!! --=[ Semistate ]=--\n");
@ -451,6 +460,12 @@ printSemiState ()
rd = rd->next; rd = rd->next;
} }
} }
if (sys->bindings != NULL)
{
indentPrint ();
eprintf ("!!\n");
list_iterate (sys->bindings, binding_indent_print);
}
indentPrint (); indentPrint ();
eprintf ("!!\n"); eprintf ("!!\n");
indentPrint (); indentPrint ();

View File

@ -192,6 +192,16 @@ closure_graph (Binding b)
return warshall (graph, nodes); return warshall (graph, nodes);
} }
//! Print a binding (given a binding list pointer)
int binding_print (void *bindany)
{
Binding b;
b = (Binding) bindany;
eprintf ("Binding (%i,%i) --->> (%i,%i)\n", b->run_from, b->ev_from,
b->run_to, b->ev_to);
return 1;
}
//! Add a binding //! Add a binding
/** /**

View File

@ -8,5 +8,6 @@ int node_count ();
int node_number (int run, int ev); int node_number (int run, int ev);
int binding_add (int run_from, int ev_from, int run_to, int ev_to); int binding_add (int run_from, int ev_from, int run_to, int ev_to);
void binding_remove_last (); void binding_remove_last ();
int binding_print (void *bindany);
#endif #endif