|| runtimeType.equals(DataTypeManager.DefaultDataTypes.BIG_INTEGER)) { if (c.getScale() < 0) { property.setPrecision((int)Math.min(Integer.MAX_VALUE, (long)c.getPrecision() - c.getScale())); } else { property.setPrecision(c.getPrecision()); property.setPrecision(c.getPrecision() == 0?new Integer(4):c.getPrecision());
property.setPrecision(Integer.parseInt(precision));
property.setPrecision(Integer.parseInt(precision));
edmProperty.setPrecision(jpaColumn.precision()); else if (edmProperty.getType().equals(EdmPrimitiveTypeKind.DateTimeOffset.getFullQualifiedName().toString()) && jpaColumn.precision() == 0)
case DOUBLE: property.setType(EdmPrimitiveTypeKind.Double.getFullQualifiedName()); property.setPrecision(column.getPrecision()); property.setScale(column.getScale()); property.setNullable(column.isNullable()); case DECIMAL: property.setType(EdmPrimitiveTypeKind.Decimal.getFullQualifiedName()); property.setPrecision(column.getPrecision()); property.setScale(column.getScale()); property.setNullable(column.isNullable()); case SINGLE: property.setType(EdmPrimitiveTypeKind.Single.getFullQualifiedName()); property.setPrecision(column.getPrecision()); property.setNullable(column.isNullable()); property.setMaxLength(column.getMaxLength()); property.setMaxLength(column.getMaxLength()); property.setPrecision(9); break; case GUID: