DPaste - Paste #2619 - pastebin, online compiler and collaboration tool dedicated to D Programming Language

Code

import std.stdio;

alias string state_t;
	alias string event_t;
	alias string action_t;

struct Actions{
		void lock() { writeln("locking is done");};
		void unlock() { writeln("unlocking is done");};
		void alarm() { writeln("alarming!!!");};
		void thankyou() { writeln("thank you!!!!!");};
	}
	
	Actions actions;	
	
	enum { Locked = "Locked", Unlocked = "Unlocked"};
	enum { COIN = "COIN", PASS = "PASS"/*, UNHANDLED = "UNHANDLED"*/};
		
	struct Transition(state_t state_from, event_t event, state_t state_to, action_t action){
		enum {
			BASE_STATE = state_from,
			TARGET_STATE = state_to,
			EVENT = event,
			ACTION = action
		};
	}	
		
	struct SimpleFSM(T, A...)
	{
		void execTransition()(event_t event){
			static assert(false, "Unhandled event!");
		}
	
		void execTransition(T, A...)(event_t event){
			if ((T.BASE_STATE == _state) && (T.EVENT == event)) {
				_state = T.TARGET_STATE;
				mixin(T.ACTION ~ ";");
			} else 
				execTransition!(A)(event);
		}
		
		void postEvent(event_t event){
			execTransition!(T, A)(event);
		}
		
		state_t _state;
		this(event_t start_event){
			_state = start_event;
		}
	};
		
		
		void main() {
			auto fsm = new SimpleFSM!(
				Transition!(Locked, PASS, Locked, "actions.alarm()")
			)(Locked);
			
			fsm.postEvent(PASS);
			writeln(fsm._state);
		}

Compilation output:

/home/c942/c100.d(31): Error: static assert "Unhandled event!"
/home/c942/c100.d(39): instantiated from here: execTransition!()
/home/c942/c100.d(43): instantiated from here: execTransition!(Transition!("Locked","PASS","Locked","actions.alarm()"),)
/home/c942/c100.d(54): instantiated from here: SimpleFSM!(Transition!("Locked","PASS","Locked","actions.alarm()"))

Paste info

Author: Guest

Views: 64

Private: no

Expires: Never

Uploaded: 27.09.12 17:22

Votes: 0

Compilation

Compiler: DMD 2.060

Pointer size: m64

Code

Compilation output:

Paste info

Compilation

Actions

Confirm

Confirm