12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061 |
- var RTL$ = require("rtl.js");
- var JS = GLOBAL;
- var Type = RTL$.extend({
- init: function Type(){
- }
- });
- function make(s/*ARRAY OF CHAR*/){
- var result = null;
- var i = 0;
- result = '';
- for (i = 0; i <= s.length - 1 | 0; ++i){
- result += JS.String.fromCharCode(s.charCodeAt(i));
- }
- return result;
- }
- function len(self/*Type*/){
- var result = 0;
- result = self.length;
- return result;
- }
- function at(self/*Type*/, pos/*INTEGER*/){
- var result = 0;
- result = self.charCodeAt(pos);
- return result;
- }
- function indexOf(self/*Type*/, c/*CHAR*/){
- var result = 0;
- result = self.indexOf(JS.String.fromCharCode(c));
- return result;
- }
- function indexOfFrom(self/*Type*/, c/*CHAR*/, pos/*INTEGER*/){
- var result = 0;
- result = self.indexOf(JS.String.fromCharCode(c), pos);
- return result;
- }
- function substr(self/*Type*/, pos/*INTEGER*/, len/*INTEGER*/){
- var result = null;
- result = self.substr(pos, len);
- return result;
- }
- function appendChar(self/*Type*/, c/*CHAR*/){
- var result = null;
- result = self;
- result += JS.String.fromCharCode(c);
- return result;
- }
- exports.Type = Type;
- exports.make = make;
- exports.len = len;
- exports.at = at;
- exports.indexOf = indexOf;
- exports.indexOfFrom = indexOfFrom;
- exports.substr = substr;
- exports.appendChar = appendChar;
|