123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210 |
- ace.define("ace/ext/whitespace",[], function(require, exports, module) {
- "use strict";
- var lang = require("../lib/lang");
- exports.$detectIndentation = function(lines, fallback) {
- var stats = [];
- var changes = [];
- var tabIndents = 0;
- var prevSpaces = 0;
- var max = Math.min(lines.length, 1000);
- for (var i = 0; i < max; i++) {
- var line = lines[i];
- if (!/^\s*[^*+\-\s]/.test(line))
- continue;
- if (line[0] == "\t") {
- tabIndents++;
- prevSpaces = -Number.MAX_VALUE;
- } else {
- var spaces = line.match(/^ */)[0].length;
- if (spaces && line[spaces] != "\t") {
- var diff = spaces - prevSpaces;
- if (diff > 0 && !(prevSpaces%diff) && !(spaces%diff))
- changes[diff] = (changes[diff] || 0) + 1;
-
- stats[spaces] = (stats[spaces] || 0) + 1;
- }
- prevSpaces = spaces;
- }
- while (i < max && line[line.length - 1] == "\\")
- line = lines[i++];
- }
-
- function getScore(indent) {
- var score = 0;
- for (var i = indent; i < stats.length; i += indent)
- score += stats[i] || 0;
- return score;
- }
- var changesTotal = changes.reduce(function(a,b){return a+b;}, 0);
- var first = {score: 0, length: 0};
- var spaceIndents = 0;
- for (var i = 1; i < 12; i++) {
- var score = getScore(i);
- if (i == 1) {
- spaceIndents = score;
- score = stats[1] ? 0.9 : 0.8;
- if (!stats.length)
- score = 0;
- } else
- score /= spaceIndents;
- if (changes[i])
- score += changes[i] / changesTotal;
- if (score > first.score)
- first = {score: score, length: i};
- }
- if (first.score && first.score > 1.4)
- var tabLength = first.length;
- if (tabIndents > spaceIndents + 1) {
- if (tabLength == 1 || spaceIndents < tabIndents / 4 || first.score < 1.8)
- tabLength = undefined;
- return {ch: "\t", length: tabLength};
- }
- if (spaceIndents > tabIndents + 1)
- return {ch: " ", length: tabLength};
- };
- exports.detectIndentation = function(session) {
- var lines = session.getLines(0, 1000);
- var indent = exports.$detectIndentation(lines) || {};
- if (indent.ch)
- session.setUseSoftTabs(indent.ch == " ");
- if (indent.length)
- session.setTabSize(indent.length);
- return indent;
- };
- exports.trimTrailingSpace = function(session, options) {
- var doc = session.getDocument();
- var lines = doc.getAllLines();
-
- var min = options && options.trimEmpty ? -1 : 0;
- var cursors = [], ci = -1;
- if (options && options.keepCursorPosition) {
- if (session.selection.rangeCount) {
- session.selection.rangeList.ranges.forEach(function(x, i, ranges) {
- var next = ranges[i + 1];
- if (next && next.cursor.row == x.cursor.row)
- return;
- cursors.push(x.cursor);
- });
- } else {
- cursors.push(session.selection.getCursor());
- }
- ci = 0;
- }
- var cursorRow = cursors[ci] && cursors[ci].row;
- for (var i = 0, l=lines.length; i < l; i++) {
- var line = lines[i];
- var index = line.search(/\s+$/);
- if (i == cursorRow) {
- if (index < cursors[ci].column && index > min)
- index = cursors[ci].column;
- ci++;
- cursorRow = cursors[ci] ? cursors[ci].row : -1;
- }
- if (index > min)
- doc.removeInLine(i, index, line.length);
- }
- };
- exports.convertIndentation = function(session, ch, len) {
- var oldCh = session.getTabString()[0];
- var oldLen = session.getTabSize();
- if (!len) len = oldLen;
- if (!ch) ch = oldCh;
- var tab = ch == "\t" ? ch: lang.stringRepeat(ch, len);
- var doc = session.doc;
- var lines = doc.getAllLines();
- var cache = {};
- var spaceCache = {};
- for (var i = 0, l=lines.length; i < l; i++) {
- var line = lines[i];
- var match = line.match(/^\s*/)[0];
- if (match) {
- var w = session.$getStringScreenWidth(match)[0];
- var tabCount = Math.floor(w/oldLen);
- var reminder = w%oldLen;
- var toInsert = cache[tabCount] || (cache[tabCount] = lang.stringRepeat(tab, tabCount));
- toInsert += spaceCache[reminder] || (spaceCache[reminder] = lang.stringRepeat(" ", reminder));
- if (toInsert != match) {
- doc.removeInLine(i, 0, match.length);
- doc.insertInLine({row: i, column: 0}, toInsert);
- }
- }
- }
- session.setTabSize(len);
- session.setUseSoftTabs(ch == " ");
- };
- exports.$parseStringArg = function(text) {
- var indent = {};
- if (/t/.test(text))
- indent.ch = "\t";
- else if (/s/.test(text))
- indent.ch = " ";
- var m = text.match(/\d+/);
- if (m)
- indent.length = parseInt(m[0], 10);
- return indent;
- };
- exports.$parseArg = function(arg) {
- if (!arg)
- return {};
- if (typeof arg == "string")
- return exports.$parseStringArg(arg);
- if (typeof arg.text == "string")
- return exports.$parseStringArg(arg.text);
- return arg;
- };
- exports.commands = [{
- name: "detectIndentation",
- exec: function(editor) {
- exports.detectIndentation(editor.session);
- }
- }, {
- name: "trimTrailingSpace",
- exec: function(editor) {
- exports.trimTrailingSpace(editor.session);
- }
- }, {
- name: "convertIndentation",
- exec: function(editor, arg) {
- var indent = exports.$parseArg(arg);
- exports.convertIndentation(editor.session, indent.ch, indent.length);
- }
- }, {
- name: "setIndentation",
- exec: function(editor, arg) {
- var indent = exports.$parseArg(arg);
- indent.length && editor.session.setTabSize(indent.length);
- indent.ch && editor.session.setUseSoftTabs(indent.ch == " ");
- }
- }];
- });
- (function() {
- ace.require(["ace/ext/whitespace"], function(m) {
- if (typeof module == "object" && typeof exports == "object" && module) {
- module.exports = m;
- }
- });
- })();
-
|