PERFORCE change 222695 for review

[Jonathan Anderson]

http://p4web.freebsd.org/@@222695?ac=10

Change 222695 by jonathan at jonathan-on-kent on 2013/03/07 13:57:35

	Update to latest libtesla parts from GitHub.

Affected files ...

.. //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#2 edit
.. //depot/projects/ctsrd/tesla/src/lib/libtesla/update.c#2 edit
.. //depot/projects/ctsrd/tesla/src/lib/libtesla/util.c#2 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#2 (text+ko) ====

@@ -99,7 +99,7 @@
 
 /** Declare an automaton that describes behaviour of this struct. */
 #define	__tesla_struct_automaton(fn_name) \
-	void *__tesla_struct_annotation_##fn_name;
+	void *__tesla_automaton_struct_uses_##fn_name;
 
 /**
  * Define an automaton to describe a struct's behaviour.

==== //depot/projects/ctsrd/tesla/src/lib/libtesla/update.c#2 (text+ko) ====

@@ -121,7 +121,7 @@
 			// instructed to fork), just update the state.
 			if (!t->fork
 			    && SUBSET(key->tk_mask, k->tk_mask)) {
-				VERBOSE_PRINT("update %ld: %tx->%tx\n",
+				VERBOSE_PRINT("update %td: %tx->%tx\n",
 				              inst - start, t->from, t->to);
 
 				inst->ti_state = t->to;
@@ -133,7 +133,7 @@
 			// a new (more specific) automaton instance.
 			struct tesla_instance *copy;
 			CHECK(tesla_clone, class, inst, &copy);
-			VERBOSE_PRINT("clone  %ld:%tx -> %ld:%tx\n",
+			VERBOSE_PRINT("clone  %td:%tx -> %td:%tx\n",
 			              inst - start, inst->ti_state,
 			              copy - start, t->to);
 
@@ -157,7 +157,7 @@
 		CHECK(tesla_instance_new, class, key, t->to, &inst);
 		assert(tesla_instance_active(inst));
 
-		VERBOSE_PRINT("new    %ld: %tx\n",
+		VERBOSE_PRINT("new    %td: %tx\n",
 		              inst - start, inst->ti_state);
 	}
 

==== //depot/projects/ctsrd/tesla/src/lib/libtesla/util.c#2 (text+ko) ====

@@ -32,8 +32,6 @@
 
 #include "tesla_internal.h"
 
-#include <libtesla.h>
-
 
 void
 tesla_die(char *message)