[#3770] Deprecate <dateAsTimestamp/>

This commit is contained in:
Lukas Eder 2014-11-14 17:35:41 +01:00
parent 69c65b6a40
commit a5afce8508

View File

@ -356,9 +356,10 @@ public class GenerationTool {
database.setSchemaVersionProvider(svp);
if (d.getEnumTypes().size() > 0) {
log.warn("WARNING: The configuration property /configuration/generator/database/enumTypes is experimental and deprecated and will be removed in the future.");
}
if (d.getEnumTypes().size() > 0)
log.warn("DEPRECATED", "The configuration property /configuration/generator/database/enumTypes is experimental and deprecated and will be removed in the future.");
if (d.isDateAsTimestamp() != null)
log.warn("DEPRECATED", "The configuration property /configuration/generator/database/dateAsTimestamp is deprecated as it is superseded by custom bindings and converters. It will thus be removed in the future.");
if (d.isDateAsTimestamp() != null)
database.setDateAsTimestamp(d.isDateAsTimestamp());