| // Copyright 2009 the Sputnik authors. All rights reserved. |
| // This code is governed by the BSD license found in the LICENSE file. |
| info: let P be ToString(pattern) and let F be ToString(flags) |
| Pattern is {toString:function(){return "[0-9]";}} and flags is |
| (function(){return "m";})() |
| var __re = new RegExp({toString:function(){return "[0-9]";}}, (function(){return "m";})()); |
| if (__re.ignoreCase !== false) { |
| $ERROR('#1: __re = new RegExp({toString:function(){return "[0-9]"; __re.ignoreCase === false. Actual: ' + (__re.ignoreCase)); |
| if (__re.multiline !== true) { |
| $ERROR('#2: __re = new RegExp({toString:function(){return "[0-9]"; __re.multiline === true. Actual: ' + (__re.multiline)); |
| if (__re.global !== false) { |
| $ERROR('#3: __re = new RegExp({toString:function(){return "[0-9]"; __re.global === false. Actual: ' + (__re.global)); |
| if (__re.lastIndex !== 0) { |
| $ERROR('#4: __re = new RegExp({toString:function(){return "[0-9]"; __re.lastIndex === 0. Actual: ' + (__re.lastIndex)); |
| if (typeof __re.source === "undefined") { |
| $ERROR('#5: __re = new RegExp({toString:function(){return "[0-9]"; typeof __re.source !== "undefined"'); |