File modules/editor/codemirror/src/line/pos.min.js

Last commit: Tue May 22 22:39:53 2018 +0200	Jan Dankert	Fix für PHP 7.2: 'Object' darf nun nicht mehr als Klassennamen verwendet werden. AUCH NICHT IN EINEM NAMESPACE! WTF, wozu habe ich das in einen verfickten Namespace gepackt? Wozu soll der sonst da sein??? Amateure. Daher nun notgedrungen unbenannt in 'BaseObject'.


     1 import { getLine } from "./utils_line.js"
     2 
     3 // A Pos instance represents a position within the text.
     4 export function Pos(line, ch, sticky = null) {
     5   if (!(this instanceof Pos)) return new Pos(line, ch, sticky)
     6   this.line = line
     7   this.ch = ch
     8   this.sticky = sticky
     9 }
    10 
    11 // Compare two positions, return 0 if they are the same, a negative
    12 // number when a is less, and a positive number otherwise.
    13 export function cmp(a, b) { return a.line - b.line || a.ch - b.ch }
    14 
    15 export function equalCursorPos(a, b) { return a.sticky == b.sticky && cmp(a, b) == 0 }
    16 
    17 export function copyPos(x) {return Pos(x.line, x.ch)}
    18 export function maxPos(a, b) { return cmp(a, b) < 0 ? b : a }
    19 export function minPos(a, b) { return cmp(a, b) < 0 ? a : b }
    20 
    21 // Most of the external API clips given positions to make sure they
    22 // actually exist within the document.
    23 export function clipLine(doc, n) {return Math.max(doc.first, Math.min(n, doc.first + doc.size - 1))}
    24 export function clipPos(doc, pos) {
    25   if (pos.line < doc.first) return Pos(doc.first, 0)
    26   let last = doc.first + doc.size - 1
    27   if (pos.line > last) return Pos(last, getLine(doc, last).text.length)
    28   return clipToLen(pos, getLine(doc, pos.line).text.length)
    29 }
    30 function clipToLen(pos, linelen) {
    31   let ch = pos.ch
    32   if (ch == null || ch > linelen) return Pos(pos.line, linelen)
    33   else if (ch < 0) return Pos(pos.line, 0)
    34   else return pos
    35 }
    36 export function clipPosArray(doc, array) {
    37   let out = []
    38   for (let i = 0; i < array.length; i++) out[i] = clipPos(doc, array[i])
    39   return out
    40 }



Download modules/editor/codemirror/src/line/pos.min.js


History
Tue, 22 May 2018 22:39:53 +0200	Jan Dankert	Fix für PHP 7.2: 'Object' darf nun nicht mehr als Klassennamen verwendet werden. AUCH NICHT IN EINEM NAMESPACE! WTF, wozu habe ich das in einen verfickten Namespace gepackt? Wozu soll der sonst da sein??? Amateure. Daher nun notgedrungen unbenannt in 'BaseObject'.