// Source: http://raphaeljs.com/graffle.html (extended with labels and arrow heads)
Raphael.fn.connection = function (obj1, obj2, line, bg, strokeColor, symbol, labelFontSize, name1, name2) {	
    if (obj1.line && obj1.from && obj1.to) {
        line = obj1;
        obj1 = line.from;
        obj2 = line.to;
    };
    var bb1 = obj1.getBBox(),
        bb2 = obj2.getBBox(),
        p = [{x: bb1.x + bb1.width / 2, y: bb1.y - 1},
        {x: bb1.x + bb1.width / 2, y: bb1.y + bb1.height + 1},
        {x: bb1.x - 1, y: bb1.y + bb1.height / 2},
        {x: bb1.x + bb1.width + 1, y: bb1.y + bb1.height / 2},
        {x: bb2.x + bb2.width / 2, y: bb2.y - 1},
        {x: bb2.x + bb2.width / 2, y: bb2.y + bb2.height + 1},
        {x: bb2.x - 1, y: bb2.y + bb2.height / 2},
        {x: bb2.x + bb2.width + 1, y: bb2.y + bb2.height / 2}],
        d = {}, dis = [];
    for (var i = 0; i < 4; i++) {
        for (var j = 4; j < 8; j++) {
            var dx = Math.abs(p[i].x - p[j].x),
                dy = Math.abs(p[i].y - p[j].y);
            if ((i == j - 4) || (((i != 3 && j != 6) || p[i].x < p[j].x) && ((i != 2 && j != 7) || p[i].x > p[j].x) && ((i != 0 && j != 5) || p[i].y > p[j].y) && ((i != 1 && j != 4) || p[i].y < p[j].y))) {
                dis.push(dx + dy);
                d[dis[dis.length - 1]] = [i, j];
            };
        };
    };
    if (dis.length == 0) {
        var res = [0, 4];
    } else {
        res = d[Math.min.apply(Math, dis)];
    };
    var x1 = p[res[0]].x,
        y1 = p[res[0]].y,
        x4 = p[res[1]].x,
        y4 = p[res[1]].y;
    dx = Math.max(Math.abs(x1 - x4) / 2, 10);
    dy = Math.max(Math.abs(y1 - y4) / 2, 10);
    var x2 = [x1, x1, x1 - dx, x1 + dx][res[0]].toFixed(3),
        y2 = [y1 - dy, y1 + dy, y1, y1][res[0]].toFixed(3),
        x3 = [0, 0, 0, 0, x4, x4, x4 - dx, x4 + dx][res[1]].toFixed(3),
        y3 = [0, 0, 0, 0, y1 + dy, y1 - dy, y4, y4][res[1]].toFixed(3);
    var path = ["M", x1.toFixed(3), y1.toFixed(3),
				"C", x2, y2, x3, y3, x4.toFixed(3), y4.toFixed(3)].join(",");
	var theLine = this.path(path).attr({stroke: color, fill: "none"});
	var labelPoint = theLine.getPointAtLength(theLine.getTotalLength()/2);
	var ahPoint = theLine.getPointAtLength(theLine.getTotalLength());
	if (line && line.line) {
        line.bg && line.bg.attr({path: path});
        line.line.attr({path: path});
		line.lbl.remove();
		line.lbl = this.text(labelPoint.x+10, labelPoint.y+10, line.symbol
			).attr({fill:'#000', 'font-size': line.labelFontSize});
		line.ah.remove();
		line.ah = this.circle(ahPoint.x, ahPoint.y, line.labelFontSize/4
					).attr({stroke: 'none', fill: line.strokeColor});
	} else {
        var color = typeof line == "string" ? line : strokeColor;
        var strokeWidth = bg.split("|")[1] || 3;
        var stroke = bg.split("|")[0];
        var ret = {
            bg: bg && bg.split && this.path(path
				).attr({stroke: stroke,
						fill: "none", "stroke-width": strokeWidth}),
            line: theLine,
            from: obj1,
			to: obj2,
			symbol: symbol,
			labelFontSize: labelFontSize,
			strokeColor: strokeColor,
			ah: this.circle(ahPoint.x, ahPoint.y, labelFontSize/4
					).attr({stroke: 'none', fill: strokeColor}),
			lbl: this.text(labelPoint.x+10, labelPoint.y+10, symbol
					).attr({fill:'#000', 'font-size': labelFontSize}),
			name1: name1,
			name2: name2
        };
		return ret;
    };
};
// Source: http://stackoverflow.com/questions/2627436/svg-animation-along-path-with-raphael
Raphael.fn.circlePath = function(x , y, r) {      
	return "M"+x+","+(y-r)+"A"+r+","+r+",0,1,1,"+(x-0.1)+","+(y-r)+" z";
};
// The nodes
Raphael.fn.aNode = function(x, y, r, isFinal, hasSelfConn,
			strokeWidth, strokeColor,labelText, labelFontSize, name) {
	var res = this.set();
	// two circle element for dragging and binding connections
	var connector = this.circle(x, y, r).attr({stroke:0}).attr({fill: 'none'});
	res.push(connector);
	var dragger = this.circle(x, y, r).attr({stroke:0}).attr({fill: 'none'});
	res.push(dragger);
	// outer circle
	var co = this.path(this.circlePath(x, y, r)).attr({stroke:'none'});
	res.push(co);
	if (isFinal) {
		// inner circle
		var ci = this.path(this.circlePath(x, y, r/1.2)).attr({
					stroke:'#fff', 'stroke-width':strokeWidth});
	};
	// self connection
	if (hasSelfConn) {
		var p1 = co.getPointAtLength(co.getTotalLength()-r/3); 
		var p2 = co.getPointAtLength(r/3);
		var selfConn = this.path('M'+p1.x+','+p1.y+
			' C'+(p1.x-r)+','+(p1.y-2.5*r)+' '+
			(p2.x+r)+','+(p1.y-2.5*r)+' '+p2.x+','+p2.y);
		res.push(selfConn.attr({'stroke-width': strokeWidth,
								stroke: strokeColor}));
		// another path for animation (connected to the center of co)
		var selfConnAnimPath = this.path('M'+x+','+y+selfConn.attrs.path[1]+'z'
			).attr({stroke:0})
		res.push(selfConnAnimPath);
		// arrow head
		var ahSize 	= r/8;
		var ahRef 	= selfConn.getPointAtLength(selfConn.getTotalLength()-1)
		var ahAngle = Math.atan2(ahRef.x-p2.x,p2.x-(-ahRef.y));
	    ahAngle 	= (ahAngle / (2 * Math.PI)) * 360;
	    var ah = this.path("M" + ahRef.x + " " + ahRef.y +
			" L" + (ahRef.x - ahSize) + " " + (ahRef.y - ahSize) +
			" L" + (ahRef.x - ahSize) + " " + (ahRef.y + ahSize) +
			" L" + ahRef.x + " " + ahRef.y
			).attr({stroke:strokeColor, fill:strokeColor}
				).rotate((112+ahAngle), ahRef.x, ahRef.y);
		res.push(ah);
		// label on self connection
		var label = this.text(
			selfConn.getPointAtLength(
				selfConn.getTotalLength()/2).x,
			selfConn.getPointAtLength(
				selfConn.getTotalLength()/2).y-labelFontSize/1.25,
			labelText
			).attr({font: this.getFont("Helvetica"), 'font-size': labelFontSize});
		res.push(label);
	};
	if (isFinal) {
		res.push(ci);
	};
	return {
		node: res,
		name: name
	};
};
// Source: http://www.davidcramer.net/code/63/dir-in-javascript.html
function dir(object) {
    methods = [];
    for (z in object) if (typeof(z) != 'number') methods.push(z);
    return methods.join(', ');
};


// Drawing the graph.
function graph() {
	var nodeRadius 	 = 30;
	var nodeRadiusHi = nodeRadius + 10;
	var nodeOpacity   = 1;
	var nodeOpacityHi = .5;
	var labelFontSize = 16;
	var strokeWidth = 3;
	var strokeColor = '#ccc';
	
	r = Raphael("holder", 1000, 510);
	
	// dragging, see: http://raphaeljs.com/touches.html
	var start = function () {
		this.animate({r: nodeRadiusHi, opacity: nodeOpacityHi}, 500, ">");
	},
		move = function (dx, dy) {
			this.moveTo(dx, dy);
			for (var i = nodeById[this.id].node.length - 1; i >= 0; i--){
				nodeById[this.id].node[i].translate(dx, dy);
			};
			for (var i = connections.length; i--;) {
				r.connection(connections[i]);
        	};
        	r.safari();
		},
		up = function () {
			this.animate({r:nodeRadius, opacity:nodeOpacity}, 500, ">");
		};
	// nodes
	var nodes 			= [];
	var nodeById		= [];
	var graphNodeByName = [];
	var i = 0, n, color, isFinal, selfConn = false, selfConnSymbol;
	var nx 	     = 30;
	var nxOffset = 100;
	var ny 		 = 130;
	var nyOffset = 130;
	for (var state in ttable) {
		color = Raphael.getColor();
		if (ttable[state].isFinal) {
			isFinal = true;
		} else {
			isFinal = false;
		};	
		for (symbol in ttable[state]) {
			if (symbol == 'isFinal') { continue; };
			if (ttable[state][symbol] == state) {	
				selfConn = true;
				selfConnSymbol = symbol;
				break;
			} else {
				selfConn = false;
			};
		};		
		if (i % 2 == 0) {
			ny = nyOffset;
		} else {
			ny = ny + nyOffset;
		};
		n = r.aNode(nx, ny, nodeRadius, isFinal, selfConn,
					strokeWidth, strokeColor, symbol, labelFontSize, state);
		n.node[1].attr({fill:color, opacity:nodeOpacity, cursor:'move'});
		n.node[1].drag(move, start, up);
		nodes.push(n);
		nodeById[n.node[1].id] = nodes[i];
		graphNodeByName[state] = n;
		nx = nx + nxOffset;
		i++;
	};
	// connections
	var connections = [];
	var k = l = 0;
	for (var state in ttable) {
		for (var i = 0; i < ALPHABET.length; i++) {
			l = 0;
			if(ttable[state][ALPHABET[i]]) {
				for (var statex in ttable) {
					if (ttable[state][ALPHABET[i]] == statex) {
						if (state == statex) {
							continue;
						} else {
							connections.push(r.connection(nodes[k].node[0], nodes[l].node[0],
								strokeColor, strokeColor, strokeColor, ALPHABET[i], labelFontSize,
								nodes[k].name, nodes[l].name));								
						};
					};
					l++;
				};
			};
		};
		k++;
	};
	return {
		paper: r,
		nodes: nodes,
		nodeById: nodeById,
		connections: connections,
		graphNodeByName: graphNodeByName
	};
};