| // Copyright 2009 the Sputnik authors. All rights reserved. | |
| // This code is governed by the BSD license found in the LICENSE file. | |
| /** | |
| * StringLiteral :: "DoubleStringCharacters_opt" | |
| * | |
| * @path ch07/7.8/7.8.4/S7.8.4_A1.1_T1.js | |
| * @description DoubleStringCharacter :: SourceCharacter but not double-quote " or LineTerminator | |
| * @negative | |
| */ | |
| //CHECK#1 | |
| """ | |