yakindu/test-plugins/org.yakindu.sct.generator.cpp.test/gtests/TimedTransitionsTest/Timer.h

#include "TimerInterface.h"

class Timer : public TimerInterface {
	
	private:
		TimedStatemachineInterface* statemachineSet;
		TimedStatemachineInterface* statemachineUnset;
		sc_eventid eventSet;
		sc_eventid eventUnset;
		sc_integer time;
		sc_boolean periodic;

	public:

		Timer();

		~Timer();

		void setTimer(TimedStatemachineInterface* statemachine, sc_eventid event, sc_integer time, sc_boolean isPeriodic);
		
		void unsetTimer(TimedStatemachineInterface* statemachine, sc_eventid event);
	
		void cancel();

		TimedStatemachineInterface* getStatemachineSet();

		TimedStatemachineInterface* getStatemachineUnset();

		sc_eventid getEventSet();

		sc_eventid getEventUnset();

		sc_integer getTime();

		sc_boolean isPeriodic();

};