Skip to content

change time datatypes to builtin int128 #391

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 12 commits into
base: feature/limited_datatypes
Choose a base branch
from
Open

change time datatypes to builtin int128 #391

Show file tree
Hide file tree
Changes from 11 commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
9136a41
Merge branch 'refs/heads/develop' into feature/builtin_time
mcb5637 Jun 30, 2025
a618c38
first version
mcb5637 Jul 3, 2025
32cb9e1
fix float->int checked conversion, reformat
mcb5637 Jul 3, 2025
0cb9c4a
Merge branch 'feature/limited_datatypes' into feature/builtin_time
mcb5637 Jul 7, 2025
51129ee
fix merge
mcb5637 Jul 7, 2025
54e66f4
fix formatting
mcb5637 Jul 7, 2025
3136f7d
checked ymd, limit checks
mcb5637 Jul 11, 2025
867cd20
simplify timepoint+dur
mcb5637 Jul 11, 2025
456ef07
num chars, literal api
mcb5637 Jul 11, 2025
4f84279
last overflow checks
mcb5637 Jul 14, 2025
217eb9f
fix doc
mcb5637 Jul 14, 2025
f4df785
Merge branch 'feature/limited_datatypes' into feature/builtin_time
mcb5637 Aug 4, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
109 changes: 79 additions & 30 deletions src/rdf4cpp/Literal.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2416,139 +2416,188 @@ Literal Literal::now(storage::DynNodeStoragePtr node_storage) {
}

std::optional<Year> Literal::year() const noexcept {
if (!datatype_eq<datatypes::xsd::DateTime>() && !datatype_eq<datatypes::xsd::DateTimeStamp>() && !datatype_eq<datatypes::xsd::Date>()
&& !datatype_eq<datatypes::xsd::GYearMonth>() && !datatype_eq<datatypes::xsd::GYear>())
if (!datatype_eq<datatypes::xsd::DateTime>() && !datatype_eq<datatypes::xsd::DateTimeStamp>() && !datatype_eq<datatypes::xsd::Date>() && !datatype_eq<datatypes::xsd::GYearMonth>() && !datatype_eq<datatypes::xsd::GYear>()) {
return std::nullopt;
}
auto casted = this->cast_to_value<datatypes::xsd::DateTime>();
if (!casted.has_value())
if (!casted.has_value()) {
return std::nullopt;
auto [date, _] = util::deconstruct_timepoint(casted->first);
}
auto dec = util::deconstruct_timepoint(casted->first);
if (!dec.has_value()) [[unlikely]] {
return std::nullopt;
}
auto [date, _] = *dec;
return date.year();
}

Literal Literal::as_year(storage::DynNodeStoragePtr node_storage) const {
auto r = this->year();
if (!r.has_value())
if (!r.has_value()) {
return Literal{};
}
return Literal::make_typed_from_value<datatypes::xsd::Integer>(static_cast<int64_t>(*r), select_node_storage(node_storage));
}

std::optional<std::chrono::month> Literal::month() const noexcept {
if (!datatype_eq<datatypes::xsd::DateTime>() && !datatype_eq<datatypes::xsd::DateTimeStamp>() && !datatype_eq<datatypes::xsd::Date>()
&& !datatype_eq<datatypes::xsd::GYearMonth>() && !datatype_eq<datatypes::xsd::GMonthDay>() && !datatype_eq<datatypes::xsd::GMonth>())
&& !datatype_eq<datatypes::xsd::GYearMonth>() && !datatype_eq<datatypes::xsd::GMonthDay>() && !datatype_eq<datatypes::xsd::GMonth>()) {
return std::nullopt;
}
auto casted = this->cast_to_value<datatypes::xsd::DateTime>();
if (!casted.has_value())
if (!casted.has_value()) {
return std::nullopt;
auto [date, _] = util::deconstruct_timepoint(casted->first);
}
auto dec = util::deconstruct_timepoint(casted->first);
if (!dec.has_value()) [[unlikely]] {
return std::nullopt;
}
auto [date, _] = *dec;
return date.month();
}

Literal Literal::as_month(storage::DynNodeStoragePtr node_storage) const {
auto r = this->month();
if (!r.has_value())
if (!r.has_value()) {
return Literal{};
}
return Literal::make_typed_from_value<datatypes::xsd::Integer>(static_cast<unsigned int>(*r), select_node_storage(node_storage));
}

std::optional<std::chrono::day> Literal::day() const noexcept {
if (!datatype_eq<datatypes::xsd::DateTime>() && !datatype_eq<datatypes::xsd::DateTimeStamp>() && !datatype_eq<datatypes::xsd::Date>()
&& !datatype_eq<datatypes::xsd::GMonthDay>() && !datatype_eq<datatypes::xsd::GDay>())
&& !datatype_eq<datatypes::xsd::GMonthDay>() && !datatype_eq<datatypes::xsd::GDay>()) {
return std::nullopt;
}
auto casted = this->cast_to_value<datatypes::xsd::DateTime>();
if (!casted.has_value())
if (!casted.has_value()) {
return std::nullopt;
auto [date, _] = util::deconstruct_timepoint(casted->first);
}
auto dec = util::deconstruct_timepoint(casted->first);
if (!dec.has_value()) [[unlikely]] {
return std::nullopt;
}
auto [date, _] = *dec;
return date.day();
}

Literal Literal::as_day(storage::DynNodeStoragePtr node_storage) const {
auto r = this->day();
if (!r.has_value())
if (!r.has_value()) {
return Literal{};
}
return Literal::make_typed_from_value<datatypes::xsd::Integer>(static_cast<unsigned int>(*r), select_node_storage(node_storage));
}

std::optional<std::chrono::hours> Literal::hours() const noexcept {
if (!datatype_eq<datatypes::xsd::DateTime>() && !datatype_eq<datatypes::xsd::DateTimeStamp>() && !datatype_eq<datatypes::xsd::Time>())
if (!datatype_eq<datatypes::xsd::DateTime>() && !datatype_eq<datatypes::xsd::DateTimeStamp>() && !datatype_eq<datatypes::xsd::Time>()) {
return std::nullopt;
}
auto casted = this->cast_to_value<datatypes::xsd::DateTime>();
if (!casted.has_value())
if (!casted.has_value()) {
return std::nullopt;
auto [_, time] = util::deconstruct_timepoint(casted->first);
}
auto dec = util::deconstruct_timepoint(casted->first);
if (!dec.has_value()) [[unlikely]] {
return std::nullopt;
}
auto [_, time] = *dec;
return std::chrono::hh_mm_ss{std::chrono::duration_cast<std::chrono::nanoseconds>(time)}.hours();
}

Literal Literal::as_hours(storage::DynNodeStoragePtr node_storage) const {
auto r = this->hours();
if (!r.has_value())
if (!r.has_value()) {
return Literal{};
}
return Literal::make_typed_from_value<datatypes::xsd::Integer>(r->count(), select_node_storage(node_storage));
}

std::optional<std::chrono::minutes> Literal::minutes() const noexcept {
if (!datatype_eq<datatypes::xsd::DateTime>() && !datatype_eq<datatypes::xsd::DateTimeStamp>() && !datatype_eq<datatypes::xsd::Time>())
return std::nullopt;
auto casted = this->cast_to_value<datatypes::xsd::DateTime>();
if (!casted.has_value())
if (!casted.has_value()) {
return std::nullopt;
}
auto dec = util::deconstruct_timepoint(casted->first);
if (!dec.has_value()) [[unlikely]] {
return std::nullopt;
auto [_, time] = util::deconstruct_timepoint(casted->first);
}
auto [_, time] = *dec;
return std::chrono::hh_mm_ss{std::chrono::duration_cast<std::chrono::nanoseconds>(time)}.minutes();
}

Literal Literal::as_minutes(storage::DynNodeStoragePtr node_storage) const {
auto r = this->minutes();
if (!r.has_value())
if (!r.has_value()) {
return Literal{};
}
return Literal::make_typed_from_value<datatypes::xsd::Integer>(r->count(), select_node_storage(node_storage));
}

std::optional<std::chrono::nanoseconds> Literal::seconds() const noexcept {
if (!datatype_eq<datatypes::xsd::DateTime>() && !datatype_eq<datatypes::xsd::DateTimeStamp>() && !datatype_eq<datatypes::xsd::Time>())
if (!datatype_eq<datatypes::xsd::DateTime>() && !datatype_eq<datatypes::xsd::DateTimeStamp>() && !datatype_eq<datatypes::xsd::Time>()) {
return std::nullopt;
}
auto casted = this->cast_to_value<datatypes::xsd::DateTime>();
if (!casted.has_value())
if (!casted.has_value()) {
return std::nullopt;
auto [_, t] = util::deconstruct_timepoint(casted->first);
}
auto dec = util::deconstruct_timepoint(casted->first);
if (!dec.has_value()) [[unlikely]] {
return std::nullopt;
}
auto [_, t] = *dec;
std::chrono::hh_mm_ss const time{std::chrono::duration_cast<std::chrono::nanoseconds>(t)};
return time.seconds() + time.subseconds();
}

Literal Literal::as_seconds(storage::DynNodeStoragePtr node_storage) const {
auto r = this->seconds();
if (!r.has_value())
if (!r.has_value()) {
return Literal{};
return Literal::make_typed_from_value<datatypes::xsd::Decimal>(Decimal128{r->count(), 9}, select_node_storage(node_storage));
}
using dur = std::remove_cvref_t<decltype(*r)>;
static_assert(dur::period::num == 1);
static constexpr auto ex = rdf4cpp::datatypes::registry::util::chrono_max_canonical_string_chars::sub_seconds;
static_assert(Decimal128{dur{std::chrono::seconds{1}}.count(), ex} == Decimal128{1, 0});
return Literal::make_typed_from_value<datatypes::xsd::Decimal>(Decimal128{r->count(), ex}, select_node_storage(node_storage));
}

std::optional<Timezone> Literal::timezone() const noexcept {
auto casted = this->cast_to_value<datatypes::xsd::DateTime>();
if (!casted.has_value())
if (!casted.has_value()) {
return std::nullopt;
}
auto tz = casted->second;
return tz;
}

Literal Literal::as_timezone(storage::DynNodeStoragePtr node_storage) const {
auto r = this->timezone();
if (!r.has_value())
if (!r.has_value()) {
return Literal{};
}
return Literal::make_typed_from_value<datatypes::xsd::DayTimeDuration>(r->offset, select_node_storage(node_storage));
}

std::optional<std::string> Literal::tz() const noexcept {
auto casted = this->cast_to_value<datatypes::xsd::DateTime>();
if (!casted.has_value())
if (!casted.has_value()) {
return std::nullopt;
}
auto tz = casted->second;
if (!tz.has_value())
if (!tz.has_value()) {
return "";
}
return tz->to_canonical_string();
}
Literal Literal::as_tz(storage::DynNodeStoragePtr node_storage) const {
auto r = this->tz();
if (!r.has_value())
if (!r.has_value()) {
return Literal{};
}
return Literal::make_simple_unchecked(*r, false, select_node_storage(node_storage));
}

Expand Down
Loading
Loading