(hint, node, sourceFile, output)
| 110805 | return endPrint(); |
| 110806 | } |
| 110807 | function writeNode(hint, node, sourceFile, output) { |
| 110808 | var previousWriter = writer; |
| 110809 | setWriter(output, /*_sourceMapGenerator*/ undefined); |
| 110810 | print(hint, node, sourceFile); |
| 110811 | reset(); |
| 110812 | writer = previousWriter; |
| 110813 | } |
| 110814 | function writeList(format, nodes, sourceFile, output) { |
| 110815 | var previousWriter = writer; |
| 110816 | setWriter(output, /*_sourceMapGenerator*/ undefined); |