No Description
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

ext-whitespace.js 5.1KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181
  1. ace.define("ace/ext/whitespace",["require","exports","module","ace/lib/lang"], function(require, exports, module) {
  2. "use strict";
  3. var lang = require("../lib/lang");
  4. exports.$detectIndentation = function(lines, fallback) {
  5. var stats = [];
  6. var changes = [];
  7. var tabIndents = 0;
  8. var prevSpaces = 0;
  9. var max = Math.min(lines.length, 1000);
  10. for (var i = 0; i < max; i++) {
  11. var line = lines[i];
  12. if (!/^\s*[^*+\-\s]/.test(line))
  13. continue;
  14. if (line[0] == "\t")
  15. tabIndents++;
  16. var spaces = line.match(/^ */)[0].length;
  17. if (spaces && line[spaces] != "\t") {
  18. var diff = spaces - prevSpaces;
  19. if (diff > 0 && !(prevSpaces%diff) && !(spaces%diff))
  20. changes[diff] = (changes[diff] || 0) + 1;
  21. stats[spaces] = (stats[spaces] || 0) + 1;
  22. }
  23. prevSpaces = spaces;
  24. while (i < max && line[line.length - 1] == "\\")
  25. line = lines[i++];
  26. }
  27. function getScore(indent) {
  28. var score = 0;
  29. for (var i = indent; i < stats.length; i += indent)
  30. score += stats[i] || 0;
  31. return score;
  32. }
  33. var changesTotal = changes.reduce(function(a,b){return a+b}, 0);
  34. var first = {score: 0, length: 0};
  35. var spaceIndents = 0;
  36. for (var i = 1; i < 12; i++) {
  37. var score = getScore(i);
  38. if (i == 1) {
  39. spaceIndents = score;
  40. score = stats[1] ? 0.9 : 0.8;
  41. if (!stats.length)
  42. score = 0
  43. } else
  44. score /= spaceIndents;
  45. if (changes[i])
  46. score += changes[i] / changesTotal;
  47. if (score > first.score)
  48. first = {score: score, length: i};
  49. }
  50. if (first.score && first.score > 1.4)
  51. var tabLength = first.length;
  52. if (tabIndents > spaceIndents + 1)
  53. return {ch: "\t", length: tabLength};
  54. if (spaceIndents > tabIndents + 1)
  55. return {ch: " ", length: tabLength};
  56. };
  57. exports.detectIndentation = function(session) {
  58. var lines = session.getLines(0, 1000);
  59. var indent = exports.$detectIndentation(lines) || {};
  60. if (indent.ch)
  61. session.setUseSoftTabs(indent.ch == " ");
  62. if (indent.length)
  63. session.setTabSize(indent.length);
  64. return indent;
  65. };
  66. exports.trimTrailingSpace = function(session, trimEmpty) {
  67. var doc = session.getDocument();
  68. var lines = doc.getAllLines();
  69. var min = trimEmpty ? -1 : 0;
  70. for (var i = 0, l=lines.length; i < l; i++) {
  71. var line = lines[i];
  72. var index = line.search(/\s+$/);
  73. if (index > min)
  74. doc.removeInLine(i, index, line.length);
  75. }
  76. };
  77. exports.convertIndentation = function(session, ch, len) {
  78. var oldCh = session.getTabString()[0];
  79. var oldLen = session.getTabSize();
  80. if (!len) len = oldLen;
  81. if (!ch) ch = oldCh;
  82. var tab = ch == "\t" ? ch: lang.stringRepeat(ch, len);
  83. var doc = session.doc;
  84. var lines = doc.getAllLines();
  85. var cache = {};
  86. var spaceCache = {};
  87. for (var i = 0, l=lines.length; i < l; i++) {
  88. var line = lines[i];
  89. var match = line.match(/^\s*/)[0];
  90. if (match) {
  91. var w = session.$getStringScreenWidth(match)[0];
  92. var tabCount = Math.floor(w/oldLen);
  93. var reminder = w%oldLen;
  94. var toInsert = cache[tabCount] || (cache[tabCount] = lang.stringRepeat(tab, tabCount));
  95. toInsert += spaceCache[reminder] || (spaceCache[reminder] = lang.stringRepeat(" ", reminder));
  96. if (toInsert != match) {
  97. doc.removeInLine(i, 0, match.length);
  98. doc.insertInLine({row: i, column: 0}, toInsert);
  99. }
  100. }
  101. }
  102. session.setTabSize(len);
  103. session.setUseSoftTabs(ch == " ");
  104. };
  105. exports.$parseStringArg = function(text) {
  106. var indent = {};
  107. if (/t/.test(text))
  108. indent.ch = "\t";
  109. else if (/s/.test(text))
  110. indent.ch = " ";
  111. var m = text.match(/\d+/);
  112. if (m)
  113. indent.length = parseInt(m[0], 10);
  114. return indent;
  115. };
  116. exports.$parseArg = function(arg) {
  117. if (!arg)
  118. return {};
  119. if (typeof arg == "string")
  120. return exports.$parseStringArg(arg);
  121. if (typeof arg.text == "string")
  122. return exports.$parseStringArg(arg.text);
  123. return arg;
  124. };
  125. exports.commands = [{
  126. name: "detectIndentation",
  127. exec: function(editor) {
  128. exports.detectIndentation(editor.session);
  129. }
  130. }, {
  131. name: "trimTrailingSpace",
  132. exec: function(editor) {
  133. exports.trimTrailingSpace(editor.session);
  134. }
  135. }, {
  136. name: "convertIndentation",
  137. exec: function(editor, arg) {
  138. var indent = exports.$parseArg(arg);
  139. exports.convertIndentation(editor.session, indent.ch, indent.length);
  140. }
  141. }, {
  142. name: "setIndentation",
  143. exec: function(editor, arg) {
  144. var indent = exports.$parseArg(arg);
  145. indent.length && editor.session.setTabSize(indent.length);
  146. indent.ch && editor.session.setUseSoftTabs(indent.ch == " ");
  147. }
  148. }];
  149. });
  150. (function() {
  151. ace.require(["ace/ext/whitespace"], function() {});
  152. })();