diff options
Diffstat (limited to 'javascripts')
| -rw-r--r-- | javascripts/Nfa2Dfa.js | 2 | ||||
| -rw-r--r--[-rwxr-xr-x] | javascripts/lib/jquery-ui.js | 0 | ||||
| -rw-r--r-- | javascripts/ui.js | 2 |
3 files changed, 2 insertions, 2 deletions
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 index c959703..c959703 100755..100644 --- a/javascripts/lib/jquery-ui.js +++ b/javascripts/lib/jquery-ui.js 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; |