java2python
java2python copied to clipboard
translate String.charAt into []
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] ?