/** * Build a numerical string with leading 0s. number is an existing number that * the new string will be built on. totalDigits is the number of the required * digits of the string. */ public static String buildZeroPrefix(int number, int totalDigits) { String numbString = buildZeroPrefixWithoutSign(number, totalDigits); if (number < 0) { numbString = "-" + numbString; } else { numbString = "+" + numbString; } return numbString; }
/** * Build a numerical string with leading 0s. number is an existing number that * the new string will be built on. totalDigits is the number of the required * digits of the string. */ public static String buildZeroPrefix(int number, int totalDigits) { String numbString = buildZeroPrefixWithoutSign(number, totalDigits); if (number < 0) { numbString = "-" + numbString; } else { numbString = "+" + numbString; } return numbString; }
/** * Build a numerical string with leading 0s. number is an existing number that * the new string will be built on. totalDigits is the number of the required * digits of the string. */ public static String buildZeroPrefix(int number, int totalDigits) { String numbString = buildZeroPrefixWithoutSign(number, totalDigits); if (number < 0) { numbString = "-" + numbString; } else { numbString = "+" + numbString; } return numbString; }
/** * Extract TimeZone from TIMESTAMPTZ. */ public static TimeZone extractTimeZone(byte[] bytes) { String regionName = null; if ((bytes[11] & -128) != 0) { int regionCode = (bytes[11] & 127) << 6; regionCode += ((bytes[12] & 252) >> 2); regionName = new String(ZONEIDMAP.getRegion(regionCode)); } else { int hourOffset = bytes[11] - 20; int minuteOffset = bytes[12] - 60; String offset = Helper.buildZeroPrefix(hourOffset, 2) + ":" + Helper.buildZeroPrefixWithoutSign(minuteOffset, 2); regionName = "GMT" + offset; } return TimeZone.getTimeZone(regionName); } }
/** * Extract TimeZone from TIMESTAMPTZ. */ public static TimeZone extractTimeZone(byte[] bytes) { String regionName = null; if ((bytes[11] & -128) != 0) { int regionCode = (bytes[11] & 127) << 6; regionCode += ((bytes[12] & 252) >> 2); regionName = new String(ZONEIDMAP.getRegion(regionCode)); } else { int hourOffset = bytes[11] - 20; int minuteOffset = bytes[12] - 60; String offset = Helper.buildZeroPrefix(hourOffset, 2) + ":" + Helper.buildZeroPrefixWithoutSign(minuteOffset, 2); regionName = "GMT" + offset; } return TimeZone.getTimeZone(regionName); } }