changeset 424:709300b32284

Added entries for new Java 8 java.sql.Types: Types.TIME_WITH_TIMEZONE and Types.TIMESTAMP_WITH_TIMEZONE
author Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
date Wed, 03 Feb 2021 16:23:39 +0100 (2021-02-03)
parents de2ef68b672f
children 95d15f1d750d
files src/main/java/org/monetdb/util/SQLExporter.java src/main/java/org/monetdb/util/XMLExporter.java
diffstat 2 files changed, 9 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/main/java/org/monetdb/util/SQLExporter.java
+++ b/src/main/java/org/monetdb/util/SQLExporter.java
@@ -135,7 +135,9 @@ public final class SQLExporter extends E
 						sb.append('(').append(size).append(')');
 					break;
 				case Types.TIME:
+				case Types.TIME_WITH_TIMEZONE:
 				case Types.TIMESTAMP:
+				case Types.TIMESTAMP_WITH_TIMEZONE:
 					if (size > 1)
 						sb.append('(').append(size -1).append(')');
 					if (digits == 1)	// flag is set to include suffix: WITH TIME ZONE
@@ -444,7 +446,9 @@ public final class SQLExporter extends E
 				case Types.BLOB:
 				case Types.DATE:
 				case Types.TIME:
+				case Types.TIME_WITH_TIMEZONE:
 				case Types.TIMESTAMP:
+				case Types.TIMESTAMP_WITH_TIMEZONE:
 					types[i] = QUOTE;
 					break;
 				case Types.NUMERIC:
--- a/src/main/java/org/monetdb/util/XMLExporter.java
+++ b/src/main/java/org/monetdb/util/XMLExporter.java
@@ -219,6 +219,7 @@ public final class XMLExporter extends E
 					out.println("  </xsd:simpleType>");
 				break;
 				case Types.TIME:
+				case Types.TIME_WITH_TIMEZONE:
 					if ("timetz".equals(cols.getString(colTypeNmIndex))) {
 						ident = "TIME_WTZ";
 					} else {
@@ -235,6 +236,7 @@ public final class XMLExporter extends E
 					out.println("  </xsd:simpleType>");
 				break;
 				case Types.TIMESTAMP:
+				case Types.TIMESTAMP_WITH_TIMEZONE:
 					if ("timestamptz".equals(cols.getString(colTypeNmIndex))) {
 						ident = "TIMESTAMP_WTZ";
 					} else {
@@ -304,6 +306,7 @@ public final class XMLExporter extends E
 					ident = "DATE";
 				break;
 				case Types.TIME:
+				case Types.TIME_WITH_TIMEZONE:
 					if ("timetz".equals(cols.getString(colTypeNmIndex))) {
 						ident = "TIME_WTZ";
 					} else {
@@ -311,6 +314,7 @@ public final class XMLExporter extends E
 					}
 				break;
 				case Types.TIMESTAMP:
+				case Types.TIMESTAMP_WITH_TIMEZONE:
 					if ("timestamptz".equals(cols.getString(colTypeNmIndex))) {
 						ident = "TIMESTAMP_WTZ";
 					} else {
@@ -361,6 +365,7 @@ public final class XMLExporter extends E
 			for (int i = 1; i <= rsmd.getColumnCount(); i++) {
 				switch (rsmd.getColumnType(i)) {
 					case Types.TIMESTAMP:
+					case Types.TIMESTAMP_WITH_TIMEZONE:
 						final Timestamp ts = rs.getTimestamp(i);
 						if ("timestamptz".equals(rsmd.getColumnTypeName(i))) {
 							if (xsd_tstz == null) {