comparison lib/js/urweb.js @ 1556:e1f5d9c4cc20

An abstract type of IDs
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 12:51:05 -0400
parents d5c961c709f9
children df6a7a22760a
comparison
equal deleted inserted replaced
1555:d5c961c709f9 1556:e1f5d9c4cc20
1372 if (u == null) 1372 if (u == null)
1373 er("Disallowed URL: " + s); 1373 er("Disallowed URL: " + s);
1374 return u; 1374 return u;
1375 } 1375 }
1376 1376
1377
1378 // ID generation
1379
1380 var nextId = 0;
1381
1382 function fresh() {
1383 return (--nextId).toString();
1384 }
1385
1377 // App-specific code 1386 // App-specific code
1378 1387