function strip(s) { while (s.length > 0 && isspace(s.charAt(0)))
s = s.substring(1); while (s.length > 0 && isspace(s.charAt(s.length-1)))
s = s.substring(0, s.length-1); return s;
}
function striplines(s) { return s.split('\n').map(strip).join('\n');
}
function spaces(s) {
let t = '';
let i = 0; while (i < s.length) { if (isspace(s.charAt(i))) {
t += SPACEDEBUG ? ' +' : '\\s+';
i++; while (i < s.length && isspace(s.charAt(i)))
i++;
} else {
t += s.charAt(i++);
}
} return t;
}
function isspace(c) { return c == ' ' || c == '\t';
}
Messung V0.5
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.