From b90042ebc1f37fa5f911df54ce0d3827da074892 Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Tue, 18 May 2010 08:52:24 +0200
Subject: major

---
 javascripts/Graph.js | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)
 create mode 100644 javascripts/Graph.js

(limited to 'javascripts/Graph.js')

diff --git a/javascripts/Graph.js b/javascripts/Graph.js
new file mode 100644
index 0000000..c2f350d
--- /dev/null
+++ b/javascripts/Graph.js
@@ -0,0 +1,60 @@
+//alert(ttable)
+
+Object.size = function(obj) {
+    var size = 0, key;
+    for (key in obj) {
+        if (obj.hasOwnProperty(key)) size++;
+    }
+    return size;
+};
+
+
+
+function drawGraph() {
+	document.write('<pre>')
+	for (var state in ttable) {
+		document.write(state+' --><br />')
+		for (var i=0; i < ALPHABET.length; i++) {
+			if(ttable[state][ALPHABET[i]]) {
+				document.write('\t'+ALPHABET[i]+': ')
+				document.write(ttable[state][ALPHABET[i]]+'<br />');	
+			}
+		}
+	}
+	document.write('</pre>');
+	
+	
+	
+	var dragger = function () {
+        this.ox = this.type == "rect" ? this.attr("x") : this.attr("cx");
+        this.oy = this.type == "rect" ? this.attr("y") : this.attr("cy");
+        this.animate({"fill-opacity": .2}, 500);
+    },
+        move = function (dx, dy) {
+            var att = this.type == "rect" ? {x: this.ox + dx, y: this.oy + dy} : {cx: this.ox + dx, cy: this.oy + dy};
+            this.attr(att);
+            for (var i = connections.length; i--;) {
+                r.connection(connections[i]);
+            }
+            r.safari();
+        },
+        up = function () {
+            this.animate({"fill-opacity": 0}, 500);
+        },
+        r = Raphael("holder", 640, 480),
+        connections = [],
+        shapes = [  r.ellipse(190, 100, 30, 20),
+                    r.rect(290, 80, 60, 40, 10),
+                    r.rect(290, 180, 60, 40, 2),
+                    r.ellipse(450, 100, 20, 20)
+                ];
+    for (var i = 0, ii = shapes.length; i < ii; i++) {
+        var color = Raphael.getColor();
+        shapes[i].attr({fill: color, stroke: color, "fill-opacity": 0, "stroke-width": 2, cursor: "move"});
+        shapes[i].drag(move, dragger, up);
+    }
+    connections.push(r.connection(shapes[0], shapes[1], "#000"));
+    connections.push(r.connection(shapes[1], shapes[2], "#000", "#ccc"));
+    connections.push(r.connection(shapes[1], shapes[3], "#000", "#ccc"));
+}
+
-- 
cgit v1.2.3