Open mw66 opened 6 years ago
I've seen String.length been translated to len(string)
how about String.charAt into string[] and String.substring(b, e) into string[b:e] ?
I've seen String.length been translated to len(string)
how about String.charAt into string[] and String.substring(b, e) into string[b:e] ?