163   static public int $opt$noinline$getStringLength(String s) {  in $opt$noinline$getStringLength()  argument
164     return s.length();  in $opt$noinline$getStringLength()
178   static public boolean $opt$noinline$isStringEmpty(String s) {  in $opt$noinline$isStringEmpty()  argument
179     return s.isEmpty();  in $opt$noinline$isStringEmpty()
194   static public char $opt$noinline$stringCharAt(String s, int pos) {  in $opt$noinline$stringCharAt()  argument
195     return s.charAt(pos);  in $opt$noinline$stringCharAt()
210   static public char $opt$noinline$stringCharAtCatch(String s, int pos) {  in $opt$noinline$stringCharAtCatch()  argument
212       return s.charAt(pos);  in $opt$noinline$stringCharAtCatch()
232   static public char $opt$noinline$stringCharAtCatchPhiReturn(String s, int pos) {  in $opt$noinline$stringCharAtCatchPhiReturn()  argument
235       result = s.charAt(pos);  in $opt$noinline$stringCharAtCatchPhiReturn()
258   static public int $opt$noinline$stringSumChars(String s) {  in $opt$noinline$stringSumChars()  argument
260     int len = s.length();  in $opt$noinline$stringSumChars()
262       sum += s.charAt(i);  in $opt$noinline$stringSumChars()
281   static public int $opt$noinline$stringSumLeadingChars(String s, int n) {  in $opt$noinline$stringSumLeadingChars()  argument
284       sum += s.charAt(i);  in $opt$noinline$stringSumLeadingChars()
312   static public int $opt$noinline$stringSum4LeadingChars(String s) {  in $opt$noinline$stringSum4LeadingChars()  argument
313     int sum = s.charAt(0) + s.charAt(1) + s.charAt(2) + s.charAt(3);  in $opt$noinline$stringSum4LeadingChars()