--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/stateManager.h	Fri May 14 12:06:25 2010 +0100
@@ -0,0 +1,18 @@
+#ifndef STATE_MANAGER
+#define STATE_MANAGER
+
+#include <phidget21.h>
+
+void display_generic_properties(CPhidgetHandle phid);
+void display_properties(CPhidgetTextLCDHandle phid);
+void getVoltage(CPhidgetInterfaceKitHandle IFK, int voltIndex, int *Voltage);
+void getAmps(CPhidgetInterfaceKitHandle IFK, int ampIndex, int *Amps);
+void getLux(CPhidgetInterfaceKitHandle IFK, int luxIndex, int *Lux);
+void updateSnapshotfile(char *SNAPSHOTFILE, int newState, int Voltage, int Amps, int Lux);
+void updateLogfile(FILE *filelog, int Voltage, int Amps, int Lux);
+void getTimeString (int wakeTime, char *wakeTimeStr);
+void getnewState(int Voltage, char *bootflag, int *newState);
+void closeCPhidget(CPhidgetHandle handle);
+void test_interfacekit(FILE *filelog, char *SNAPSHOTFILE, char * bootflag, time_t boottime, int Sleep, int testVoltage);
+
+#endif