JsString.js 1.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. var RTL$ = require("rtl.js");
  2. var JS = GLOBAL;
  3. var Type = RTL$.extend({
  4. init: function Type(){
  5. }
  6. });
  7. function make(s/*ARRAY OF CHAR*/){
  8. var result = null;
  9. var i = 0;
  10. result = '';
  11. for (i = 0; i <= s.length - 1 | 0; ++i){
  12. result += JS.String.fromCharCode(s.charCodeAt(i));
  13. }
  14. return result;
  15. }
  16. function len(self/*Type*/){
  17. var result = 0;
  18. result = self.length;
  19. return result;
  20. }
  21. function at(self/*Type*/, pos/*INTEGER*/){
  22. var result = 0;
  23. result = self.charCodeAt(pos);
  24. return result;
  25. }
  26. function indexOf(self/*Type*/, c/*CHAR*/){
  27. var result = 0;
  28. result = self.indexOf(JS.String.fromCharCode(c));
  29. return result;
  30. }
  31. function indexOfFrom(self/*Type*/, c/*CHAR*/, pos/*INTEGER*/){
  32. var result = 0;
  33. result = self.indexOf(JS.String.fromCharCode(c), pos);
  34. return result;
  35. }
  36. function substr(self/*Type*/, pos/*INTEGER*/, len/*INTEGER*/){
  37. var result = null;
  38. result = self.substr(pos, len);
  39. return result;
  40. }
  41. function appendChar(self/*Type*/, c/*CHAR*/){
  42. var result = null;
  43. result = self;
  44. result += JS.String.fromCharCode(c);
  45. return result;
  46. }
  47. exports.Type = Type;
  48. exports.make = make;
  49. exports.len = len;
  50. exports.at = at;
  51. exports.indexOf = indexOf;
  52. exports.indexOfFrom = indexOfFrom;
  53. exports.substr = substr;
  54. exports.appendChar = appendChar;