Unreviewed, rolling out r152598.
[WebKit-https.git] / Source / WebInspectorUI / Tools / PrettyPrinting / Formatter.js
1 function Formatter(codeMirror, builder)
2 {
3     console.assert(codeMirror);
4     console.assert(builder);
5
6     this._codeMirror = codeMirror;
7     this._builder = builder;
8
9     this._lastToken = null;
10     this._lastContent = "";
11 };
12
13 Formatter.prototype = {
14     constructor: Formatter,
15
16     // Public
17
18     format: function(from, to)
19     {
20         console.assert(this._builder.originalContent === null);
21         if (this._builder.originalContent !== null)
22             return;
23
24         var outerMode = this._codeMirror.getMode();
25         var content = this._codeMirror.getRange(from, to);
26         var state = CodeMirror.copyState(outerMode, this._codeMirror.getTokenAt(from).state);
27         this._builder.setOriginalContent(content);
28
29         var lineOffset = 0;
30         var lines = content.split("\n");
31         for (var i = 0; i < lines.length; ++i) {
32             var line = lines[i];
33             var startOfNewLine = true;
34             var firstTokenOnLine = true;
35             var stream = new CodeMirror.StringStream(line);
36             while (!stream.eol()) {
37                 var innerMode = CodeMirror.innerMode(outerMode, state);
38                 var token = outerMode.token(stream, state);
39                 var isWhiteSpace = token === null && /^\s*$/.test(stream.current());
40                 this._handleToken(innerMode.mode, token, state, stream, lineOffset + stream.start, isWhiteSpace, startOfNewLine, firstTokenOnLine);
41                 stream.start = stream.pos;
42                 startOfNewLine = false;
43                 if (firstTokenOnLine && !isWhiteSpace)
44                     firstTokenOnLine = false;
45             }
46
47             if (firstTokenOnLine)
48                 this._handleEmptyLine();
49
50             lineOffset += line.length + 1; // +1 for the "\n" removed in split.
51             this._handleLineEnding(lineOffset - 1); // -1 for the index of the "\n".
52         }
53
54         this._builder.finish();
55     },
56
57     // Private
58
59     _handleToken: function(mode, token, state, stream, originalPosition, isWhiteSpace, startOfNewLine, firstTokenOnLine)
60     {
61         // String content of the token.
62         var content = stream.current();
63
64         // Start of a new line. Insert a newline to be safe if code was not-ASI safe. These are collapsed.
65         if (startOfNewLine)
66             this._builder.appendNewline();
67
68         // Whitespace. Collapse to a single space.
69         if (isWhiteSpace) {
70             this._builder.appendSpace();
71             return;
72         }
73
74         // Avoid some hooks for content in comments.
75         var isComment = token && /\bcomment\b/.test(token);
76
77         if (mode.modifyStateForTokenPre)
78             mode.modifyStateForTokenPre(this._lastToken, this._lastContent, token, state, content, isComment);
79
80         // Should we remove the last newline?
81         if (this._builder.lastTokenWasNewline && mode.removeLastNewline(this._lastToken, this._lastContent, token, state, content, isComment, firstTokenOnLine))
82             this._builder.removeLastNewline();
83
84         // Add whitespace after the last token?
85         if (!this._builder.lastTokenWasWhitespace && mode.shouldHaveSpaceAfterLastToken(this._lastToken, this._lastContent, token, state, content, isComment))
86             this._builder.appendSpace();
87
88         // Add whitespace before this token?
89         if (!this._builder.lastTokenWasWhitespace && mode.shouldHaveSpaceBeforeToken(this._lastToken, this._lastContent, token, state, content, isComment))
90             this._builder.appendSpace();
91
92         // Should we dedent before this token?
93         var dedents = mode.dedentsBeforeToken(this._lastToken, this._lastContent, token, state, content, isComment);
94         while (dedents-- > 0)
95             this._builder.dedent();
96
97         // Should we add a newline before this token?
98         if (mode.newlineBeforeToken(this._lastToken, this._lastContent, token, state, content, isComment))
99             this._builder.appendNewline();
100
101         // Should we indent before this token?
102         if (mode.indentBeforeToken(this._lastToken, this._lastContent, token, state, content, isComment))
103             this._builder.indent();
104
105         // Append token.
106         this._builder.appendToken(content, originalPosition);
107
108         // Let the pretty printer update any state it keeps track of.
109         if (mode.modifyStateForTokenPost)
110             mode.modifyStateForTokenPost(this._lastToken, this._lastContent, token, state, content, isComment);
111
112         // Should we indent or dedent after this token?
113         if (!isComment && mode.indentAfterToken(this._lastToken, this._lastContent, token, state, content, isComment))
114             this._builder.indent();
115
116         // Should we add newlines after this token?
117         var newlines = mode.newlinesAfterToken(this._lastToken, this._lastContent, token, state, content, isComment);
118         if (newlines)
119             this._builder.appendMultipleNewlines(newlines);
120
121         // Record this token as the last token.
122         this._lastToken = token;
123         this._lastContent = content;
124     },
125
126     _handleEmptyLine: function()
127     {
128         // Preserve original whitespace only lines by adding a newline.
129         // However, don't do this if the builder just added multiple newlines.
130         if (!(this._builder.lastTokenWasNewline && this._builder.lastNewlineAppendWasMultiple))
131             this._builder.appendNewline(true);
132     },
133
134     _handleLineEnding: function(originalNewLinePosition)
135     {
136         // Record the original line ending.
137         this._builder.addOriginalLineEnding(originalNewLinePosition);
138     }
139 };