(operator)
| 36 | } |
| 37 | |
| 38 | function tokenOperator(operator) { |
| 39 | return function(stream, state) { |
| 40 | var style = "operator"; |
| 41 | if (operator == "+") |
| 42 | style += " positive"; |
| 43 | else if (operator == "-") |
| 44 | style += " negative"; |
| 45 | else if (operator == "|") |
| 46 | stream.eat(/\|/); |
| 47 | else if (operator == "&") |
| 48 | stream.eat(/\&/); |
| 49 | else if (operator == "^") |
| 50 | style += " boost"; |
| 51 | |
| 52 | state.tokenize = tokenBase; |
| 53 | return style; |
| 54 | }; |
| 55 | } |
| 56 | |
| 57 | function tokenWord(ch) { |
| 58 | return function(stream, state) { |