diff options
author | Patrick Simianer <p@simianer.de> | 2010-05-18 08:52:24 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2010-05-18 08:52:24 +0200 |
commit | b90042ebc1f37fa5f911df54ce0d3827da074892 (patch) | |
tree | 271ffd81ccf00888380b8b578d9bf238d8e4387b /javascripts/State.js | |
parent | ec3f1801c258dbba07dfccbd9864f9b2de0bfae6 (diff) |
major
Diffstat (limited to 'javascripts/State.js')
-rw-r--r-- | javascripts/State.js | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/javascripts/State.js b/javascripts/State.js deleted file mode 100644 index 75258e7..0000000 --- a/javascripts/State.js +++ /dev/null @@ -1,20 +0,0 @@ -/* - * State - * - */ -function State(symbol) { - if(!symbol) { - symbol = EPSILON; - } - this.symbol = symbol; - this.followUps = []; - this.marked = false; -} - -State.prototype.mark = function(mark) { this.marked = mark } -State.prototype.getFollowUp = function(index) { return this.followUps[index] } -State.prototype.setFollowUp = function(index, state) { - if (!((index == 0) || (index==1)) ) return; - this.followUps[index] = state; -} - |