I have a HTML list of about 500 items and a "filter" box above it. I started by using jQuery to filter the list when I typed a letter (timing code added later): $('#filter').keyup( function() { var jqStart = (new Date).getTime(); var search = $(this).val().toLowerCase(); var $list = $('ul.ablist > li'); $list.each( function() { if ( $(this).text().toLowerCase().indexOf(search) === -1 ) $(this).hide(); else $(this).show(); } ); console.log('Time: ' + ((new Date).getTime() - jqStart)); } ); However, there was a couple of seconds delay after typing each letter (particularly the first letter). So I thought it may be slightly quicker if I used plain Javascript (I read recently that jQuery's each function is particularly slow). Here's my JS equivalent: document.getElementById('filter').addEventListener( 'keyup', function () { var jsStart = (new Date).getTime()...
To format the string, use String.format:
ReplyDeleteint n = 123;
String.format("%011d", 123);
// ===> 00000000123
To get the number back from string, use Integer.parseInt:
Integer.parseInt("00000000123");
// ====> 123
Depending on how many leading zeroes:
ReplyDeleteint id = 12;
String number = "000000000" + id;
To get the int back:
Integer.parseInt(number)
As mentioned in the other answer from String to int use Integer.parseInt()
ReplyDeleteHowever, for creating the String I would suggest:
for(int x=0;x<10;x++){
thestring="0"+thestring;
}
replace 10 with how many zeros you need.
Also you could just use java.text.DecimalFormat, your choice.
Or combine both:
int lengthID=10;
String zeros="";
for(int x=0;x<lengthID;x++){
zeros="0"+zeros;
}
java.text.DecimalFormat id=new java.text.DecimalFormat(zeros);