From 7389294e858981c8de13de22f78623349f713e45 Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Tue, 17 Aug 2010 16:25:40 +0200 Subject: minor nmodifications, webkit compatibility --- javascripts/Nfa2Dfa.js | 2 +- javascripts/lib/jquery-ui.js | 0 javascripts/ui.js | 2 +- 3 files changed, 2 insertions(+), 2 deletions(-) mode change 100755 => 100644 javascripts/lib/jquery-ui.js (limited to 'javascripts') diff --git a/javascripts/Nfa2Dfa.js b/javascripts/Nfa2Dfa.js index a29683e..a8132fc 100644 --- a/javascripts/Nfa2Dfa.js +++ b/javascripts/Nfa2Dfa.js @@ -32,7 +32,7 @@ Nfa2Dfa.prototype.getStartState = function() { return this.startState; }; Nfa2Dfa.prototype.getFinalState = function() { return this.finalState; }; // Do conversion. -Nfa2Dfa.prototype.do = function() { +Nfa2Dfa.prototype.convert = function() { var dfaStates = new Stack(); var q = new Stack(); q.push(this.getStartState()); diff --git a/javascripts/lib/jquery-ui.js b/javascripts/lib/jquery-ui.js old mode 100755 new mode 100644 diff --git a/javascripts/ui.js b/javascripts/ui.js index 31a3cfa..d84bf1a 100644 --- a/javascripts/ui.js +++ b/javascripts/ui.js @@ -122,7 +122,7 @@ function uiParse() { $('#regex').addClass('success'); enable('#word'); var dfa = new Nfa2Dfa(nfa); - var ttable = dfa.do(); + var ttable = dfa.convert(); disable('#regex'); disable('#parseButton'); if(!graphit) return; -- cgit v1.2.3