diff options
| -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 | ||||
| -rw-r--r-- | regexvis.html | 10 |
4 files changed, 11 insertions, 3 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; diff --git a/regexvis.html b/regexvis.html index 22c0a95..e2f6ed7 100644 --- a/regexvis.html +++ b/regexvis.html @@ -39,7 +39,7 @@ <!-- meta --> <div id="top"> - <a id="reloadButton" class="message gray grayc" href='#' />Reload</a> + <a id="reloadButton" class="message gray grayc" href='#'>Reload</a> <a id="descButton" class="message gray grayc" href="#">Description</a> <span id="desc">This is a little tool to visualize <a href="http://en.wikipedia.org/wiki/Regular_expression">regular expressions</a> @@ -61,6 +61,14 @@ </ul> The user interface should be self explanatory and fail safe but you can obtain help for each step by hovering over The corresponding <span style="font-family:Courier">?</span> symbol. If something goes wrong just click <em>Reload</em>. + <p class="small"><strong>Browser compatibility:</strong> + <ul> + <li><em>Firefox</em> (3): full functionality</li> + <li><em>Opera</em> (10): full functionality</li> + <li><em>WebKit (Safari/Chrome)</em>: backspace in graphical simulation does not work</li> + <li><em>Internet Explorer:</em> unknown, probably none</li> + </ul> + </p> <p class="small r">Click <em>Description</em> again to hide this text.</p> </span> </div> |