Properties of flattenString

TBR=sigmund@google.com

Review URL: https://codereview.chromium.org/2432993004 .
This commit is contained in:
Stephen Adams 2016-10-19 13:53:46 -07:00
parent 148af481ff
commit 1e793c96b2

View file

@ -1036,7 +1036,8 @@ class Primitives {
}
static String flattenString(String str) {
return JS('String', "#.charCodeAt(0) == 0 ? # : #", str, str, str);
return JS('returns:String;depends:none;effects:none;throws:never;gvn:true',
"#.charCodeAt(0) == 0 ? # : #", str, str, str);
}
static String getTimeZoneName(DateTime receiver) {