<script language="JavaScript" type="text/javascript">
function strip(instr) {
var remove = " \t\n\r";
var outstr = "";
var c;
for(var i=0; i < instr.length; i++) {
c = instr.charAt(i);
if(remove.indexOf(c) == -1) {
outstr += c;
}
}
return outstr;
}
function trim(string) {
// retourneert de getrimde string (string ontdaan van leading en trailing whitespaces/tabs/newlines)
var remove = " \t\r\n"; // te verwijderen karakters
var ret = ""; // return string
var start = 0; // startpositie in de te controleren string
var end = string.length - 1; // eindpositie in de te controleren string
// schuif de startpositie op
while(start <= end && remove.indexOf(string.charAt(start)) != -1) {
start++;
}
// schuif de eindpositie op
while(end >= start && remove.indexOf(string.charAt(end)) != -1) {
end--;
}
// als string leeg is, geldt (end + 1 == start)
// bouw de overgebleven string
for(i=start; i <= end; i++) {
ret += string.charAt(i);
}
return ret;
}
</script>
<script language="JavaScript" type="text/javascript">
function strip(instr) {
var remove = " \t\n\r";
var outstr = "";
var c;
for(var i=0; i < instr.length; i++) {
c = instr.charAt(i);
if(remove.indexOf(c) == -1) {
outstr += c;
}
}
return outstr;
}
// retourneert de getrimde string (string ontdaan van leading en trailing whitespaces/tabs/newlines)
var remove = " \t\r\n"; // te verwijderen karakters
var ret = ""; // return string
var start = 0; // startpositie in de te controleren string
var end = string
.length
- 1; // eindpositie in de te controleren string
// schuif de startpositie op
while(start
<= end && remove
.indexOf
(string
.charAt
(start
)) != -1) { start++;
}
// schuif de eindpositie op
while(end >= start
&& remove
.indexOf
(string
.charAt
(end)) != -1) { end--;
}
// als string leeg is, geldt (end + 1 == start)
// bouw de overgebleven string
for(i
=start
; i
<= end; i
++) { ret += string.charAt(i);
}
return ret;
}
</script>