Home
last modified time | relevance | path

Searched refs:hexCharCode (Results 1 – 8 of 8) sorted by relevance

/third_party/protobuf/js/binary/
Dutils.js699 jspb.utils.fromHexCharCode_ = function(hexCharCode) { argument
700 if (hexCharCode >= jspb.utils.A_CHAR_CODE_) {
701 return hexCharCode - jspb.utils.A_CHAR_CODE_ + 10;
703 return hexCharCode - jspb.utils.ZERO_CHAR_CODE_;
/third_party/typescript/src/compiler/
Dutilities.ts4040 const hexCharCode = charCode.toString(16).toUpperCase(); constant
4041 const paddedHexCode = ("0000" + hexCharCode).slice(-4);
4093 const hexCharCode = charCode.toString(16).toUpperCase(); constant
4094 return "&#x" + hexCharCode + ";";
/third_party/typescript/lib/
Dtsc.js13193 var hexCharCode = charCode.toString(16).toUpperCase();
13194 var paddedHexCode = ("0000" + hexCharCode).slice(-4);
13229 var hexCharCode = charCode.toString(16).toUpperCase();
13230 return "&#x" + hexCharCode + ";";
DtypingsInstaller.js16975 var hexCharCode = charCode.toString(16).toUpperCase();
16976 var paddedHexCode = ("0000" + hexCharCode).slice(-4);
17024 var hexCharCode = charCode.toString(16).toUpperCase();
17025 return "&#x" + hexCharCode + ";";
DtypescriptServices.js17180 var hexCharCode = charCode.toString(16).toUpperCase();
17181 var paddedHexCode = ("0000" + hexCharCode).slice(-4);
17229 var hexCharCode = charCode.toString(16).toUpperCase();
17230 return "&#x" + hexCharCode + ";";
Dtsserverlibrary.js17180 var hexCharCode = charCode.toString(16).toUpperCase();
17181 var paddedHexCode = ("0000" + hexCharCode).slice(-4);
17229 var hexCharCode = charCode.toString(16).toUpperCase();
17230 return "&#x" + hexCharCode + ";";
Dtsserver.js16986 var hexCharCode = charCode.toString(16).toUpperCase();
16987 var paddedHexCode = ("0000" + hexCharCode).slice(-4);
17035 var hexCharCode = charCode.toString(16).toUpperCase();
17036 return "&#x" + hexCharCode + ";";
Dtypescript.js17180 var hexCharCode = charCode.toString(16).toUpperCase();
17181 var paddedHexCode = ("0000" + hexCharCode).slice(-4);
17229 var hexCharCode = charCode.toString(16).toUpperCase();
17230 return "&#x" + hexCharCode + ";";