InputActions (#195)

Introducing the InputAction system that is build on top of the existing Input system. It provides a simpler way of defining inputs, by using names and simple conditions.  Actions can be defined either using a script or builder type.
Example script can be found under 'source/data/code/example_input_actions.ias'

Features:
* Introduction of InputActionLayers that can enable InputActions depending on the game state.
* Introduction of InputActions that are send as shard with types (bool, float, float2, object)
* Introduction of IAS script to quickly define new action layers.
* Active actions will be pushed to the active frame's shards container.
* Traits can define their action layers, register them, and push onto the input action stack.

Improvements:
* Introduced new 'ice::PimplType' type that hides most of the boilerplate of the Pimpl design pattern.
* Introduced 'ice::ref8/16/32' types, which contain a size and offset field. These types allow quicker access to parts of strings, arrays and similar.
* Introduced formatting of 'ice::isize' types.
* Introduced 'from_app' check to module loading API. (limit loading of modules to app contexts)
* Introduced new constants for '0' values of various numeric types. (ex.: ice::i32_0)
* Introduced new error-code constants.
* Introduced 'ice::compare' function that should be used instead of 'strncmp' and 'strnicmp'.
* Modifier keys (shift, alt, ctrl, win) are now also sent as key events, not only mod events.
* Expanded on Array and String API's introducing more function overloads.
* Refactored the 'from_chars' implementation for floating-point types.


Fixes:
* Fixed crash by disabling custom vulkan allocator on windows. (#197)
* Fixed deprecations of 'fmt::localtime' used in the log format.
* Fixes build issues on GH Workers failing on creating a symlink.

Known Issues:
* Key mod events reported by SDL2 seem to be quite laggy, and are not refreshed often enough?

Other:
* Updated IBT to v1.11.1

Author: Dandielo

source/code/core/collections/public/ice/container/array.hxx

@@ -49,6 +49,10 @@ namespace ice::array
         requires std::copy_constructible<Type>
     inline void push_back(ice::Array<Type, Logic>& arr, ice::Span<Type const> items) noexcept;
 
+    template<typename Type, ice::ContainerLogic Logic, typename Source>
+        requires std::copy_constructible<Type> && (std::is_same_v<Type, Source> == false)
+    inline void push_back(ice::Array<Type, Logic>& arr, ice::Span<Source const> items, Type(*fn)(Source const&) noexcept) noexcept;
+
     template<typename Type, ice::ContainerLogic Logic>
     inline void pop_back(ice::Array<Type, Logic>& arr, ice::ucount count = 1) noexcept;
 
@@ -123,6 +127,9 @@ namespace ice::array
     template<typename Type>
     inline auto memset(ice::Array<Type, ice::ContainerLogic::Trivial>& arr, ice::u8 value) noexcept -> ice::Memory;
 
+    template<typename Type, ice::ContainerLogic Logic>
+    inline auto meminfo(ice::Array<Type, Logic> const& arr) noexcept -> ice::meminfo;
+
 } // namespace ice::array
 
 namespace ice

source/code/core/collections/public/ice/container/impl/array_impl.inl

@@ -376,6 +376,23 @@ namespace ice
             arr._count += ice::span::count(items);
         }
 
+        template<typename Type, ice::ContainerLogic Logic, typename Source>
+            requires std::copy_constructible<Type> && (std::is_same_v<Type, Source> == false)
+        inline void push_back(ice::Array<Type, Logic>& arr, ice::Span<Source const> items, Type(*fn)(Source const&) noexcept) noexcept
+        {
+            ice::ucount const required_capacity = arr._count + ice::span::count(items);
+            if (required_capacity > arr._capacity)
+            {
+                ice::array::grow(arr, required_capacity);
+            }
+
+            ice::ucount const missing_items = required_capacity - arr._count;
+            for (ice::u32 src_idx = 0; src_idx < missing_items; ++src_idx)
+            {
+                ice::array::push_back(arr, fn(items[src_idx]));
+            }
+        }
+
         template<typename Type, ice::ContainerLogic Logic>
         inline void pop_back(ice::Array<Type, Logic>& arr, ice::ucount count /*= 1*/) noexcept
         {
@@ -466,9 +483,15 @@ namespace ice
         }
 
         template<typename Type, ice::ContainerLogic Logic>
-        inline auto slice(ice::Array<Type, Logic> const& arr, ice::ucount from_idx, ice::ucount to) noexcept -> ice::Span<Type const>
+        inline auto slice(ice::Array<Type, Logic> const& arr, ice::ucount from_idx, ice::ucount count) noexcept -> ice::Span<Type const>
+        {
+            return ice::span::subspan<Type const>(arr, from_idx, count);
+        }
+
+        template<typename Type, ice::ContainerLogic Logic>
+        inline auto slice(ice::Array<Type, Logic> const& arr, ice::ref32 ref) noexcept -> ice::Span<Type const>
         {
-            return ice::span::subspan<Type const>(arr, from_idx, to);
+            return ice::span::subspan<Type const>(arr, ref);
         }
 
         template<typename Type, ice::ContainerLogic Logic>
@@ -539,6 +562,12 @@ namespace ice
             return mem;
         }
 
+        template<typename Type, ice::ContainerLogic Logic>
+        inline auto meminfo(ice::Array<Type, Logic> const& arr) noexcept -> ice::meminfo
+        {
+            return ice::meminfo_of<Type> * ice::array::count(arr);
+        }
+
     } // namespace array
 
 } // namespace ice

source/code/core/collections/public/ice/span.hxx

@@ -85,6 +85,9 @@ namespace ice
         template<typename Type>
         constexpr auto subspan(ice::Span<Type> span, ice::ucount from_idx, ice::ucount count = ice::ucount_max) noexcept -> ice::Span<Type>;
 
+        template<typename Type>
+        constexpr auto subspan(ice::Span<Type> span, ice::ref32 ref) noexcept -> ice::Span<Type>;
+
         template<typename Type>
         constexpr auto begin(ice::Span<Type> span) noexcept -> typename ice::Span<Type>::Iterator;
 
@@ -257,6 +260,12 @@ namespace ice
             return { span._data + from_start, new_count };
         }
 
+        template<typename Type>
+        constexpr auto subspan(ice::Span<Type> span, ice::ref32 ref) noexcept -> ice::Span<Type>
+        {
+            return ice::span::subspan(span, ref.offset, ref.size);
+        }
+
         template<typename Type>
         constexpr auto begin(ice::Span<Type> span) noexcept -> typename ice::Span<Type>::Iterator
         {
@@ -330,12 +339,26 @@ namespace ice
         }
 
         template<typename Type>
-        constexpr auto from_memory(ice::Memory const& mem, ice::meminfo meminfo, ice::usize offset) noexcept
+        constexpr auto from_memory(ice::Memory const& mem, ice::ucount count, ice::usize offset) noexcept -> ice::Span<Type>
         {
+            static ice::meminfo minfo = ice::meminfo_of<Type>;
+
             void* const ptr = ice::ptr_add(mem.location, offset);
-            ICE_ASSERT_CORE(ice::is_aligned(ptr, meminfo.alignment));
-            ICE_ASSERT_CORE(ice::ptr_add(mem.location, mem.size) >= ice::ptr_add(ptr, meminfo.size));
-            return ice::Span<Type>{ reinterpret_cast<Type*>(ptr), ice::ucount((meminfo.size / ice::size_of<Type>).value) };
+            ICE_ASSERT_CORE(ice::is_aligned(ptr, minfo.alignment));
+            ICE_ASSERT_CORE(ice::ptr_add(mem.location, mem.size) >= ice::ptr_add(ptr, minfo.size * count));
+            return ice::Span<Type>{ reinterpret_cast<Type*>(ptr), count };
+        }
+
+        // TODO: Move to another location or rename? Not sure this is properly named
+        template<typename Type>
+        constexpr auto from_data(ice::Data const& mem, ice::ucount count, ice::usize offset) noexcept -> ice::Span<Type const>
+        {
+            static ice::meminfo constexpr minfo = ice::meminfo_of<Type>;
+
+            void const* const ptr = ice::ptr_add(mem.location, offset);
+            ICE_ASSERT_CORE(ice::is_aligned(ptr, minfo.alignment));
+            ICE_ASSERT_CORE(ice::ptr_add(mem.location, mem.size) >= ice::ptr_add(ptr, minfo.size * count));
+            return { reinterpret_cast<Type const*>(ptr), count };
         }
 
     } // namespace span

source/code/core/collections/public/ice/string/impl/string.inl

@@ -180,9 +180,15 @@ namespace ice
         }
 
         template<typename CharType>
-        constexpr auto starts_with(ice::BasicString<CharType> str, ice::BasicString<CharType> prefix) noexcept
+        constexpr auto substr(ice::BasicString<CharType> str, ice::ref32 ref) noexcept -> ice::BasicString<CharType>
         {
-            return ice::string::substr(str, 0, ice::string::size(prefix)) == prefix;
+            return ice::string::substr(str, ref.offset, ref.size);
+        }
+
+        template<typename CharType>
+        constexpr auto starts_with(ice::BasicString<CharType> str, ice::concepts::StringType<CharType> auto prefix) noexcept
+        {
+            return ice::string::substr(str, 0, prefix._size) == prefix;
         }
 
 
@@ -384,6 +390,14 @@ namespace ice
             };
         }
 
+        template<typename CharType>
+        constexpr auto meminfo(ice::BasicString<CharType> str) noexcept -> ice::meminfo
+        {
+            return ice::meminfo{
+                ice::meminfo_of<CharType> * ice::string::size(str)
+            };
+        }
+
     } // namespace string
 
 } // namespace ice

source/code/core/collections/public/ice/string/string.hxx

@@ -41,7 +41,10 @@ namespace ice::string
     constexpr auto substr(ice::BasicString<CharType> str, ice::ucount pos, ice::ucount len = ice::String_NPos) noexcept -> ice::BasicString<CharType>;
 
     template<typename CharType>
-    constexpr auto starts_with(ice::BasicString<CharType> str, ice::BasicString<CharType> prefix) noexcept;
+    constexpr auto substr(ice::BasicString<CharType> str, ice::ref32 ref) noexcept -> ice::BasicString<CharType>;
+
+    template<typename CharType>
+    constexpr auto starts_with(ice::BasicString<CharType> str, ice::concepts::StringType<CharType> auto prefix) noexcept;
 
     template<typename CharType>
     constexpr auto find_first_of(
@@ -109,6 +112,9 @@ namespace ice::string
     template<typename CharType>
     constexpr auto data_view(ice::BasicString<CharType> str) noexcept -> typename ice::Data;
 
+    template<typename CharType>
+    constexpr auto meminfo(ice::BasicString<CharType> str) noexcept -> ice::meminfo;
+
 } // namespace ice::string
 
 namespace ice

source/code/core/collections/public/ice/string_types.hxx

@@ -222,3 +222,15 @@ namespace ice
     }
 
 } // namespace ice
+
+namespace ice::concepts
+{
+
+    template<typename Type, typename CharType>
+    concept StringType = std::is_same_v<ice::BasicString<CharType>, Type>
+        || std::is_same_v<ice::HeapString<CharType>, Type>
+        && requires(Type t) {
+            { t._size } -> std::convertible_to<ice::ucount>;
+        };
+
+} // namespace ice::concepts

source/code/core/core/public/ice/concept/pimpl_type.hxx

@@ -0,0 +1,54 @@
+#pragma once
+#include <ice/concept/enum_flags.hxx>
+
+namespace ice::concepts
+{
+
+    enum class PimplFlags : ice::u8
+    {
+        None = 0x0,
+        Default = None,
+
+        NoMoveSemantics = 0x01,
+        NoCopySemantics = 0x02,
+        NoMoveCopySemantics = NoMoveSemantics | NoCopySemantics,
+    };
+
+    class PimplType
+    {
+    protected:
+        template<typename T>
+        struct Internal;
+
+    public:
+        template<typename T>
+        PimplType(Internal<T>* data) noexcept;
+
+        // TODO: Move this somewhere else!
+        PimplType(PimplType&& other) noexcept = delete;
+        auto operator=(PimplType&& other) noexcept -> PimplType& = delete;
+        PimplType(PimplType const& other) noexcept = delete;
+        auto operator=(PimplType const& other) noexcept -> PimplType& = delete;
+
+    protected:
+        template<typename Self>
+        auto internal(this Self& self) noexcept -> Internal<Self>&;
+
+    private:
+        void* _internal;
+    };
+
+
+    template<typename Self>
+    inline PimplType::PimplType(Internal<Self>* data) noexcept
+        : _internal{ data }
+    {
+    }
+
+    template<typename Self>
+    auto PimplType::internal(this Self& self) noexcept -> Internal<Self>&
+    {
+        return *reinterpret_cast<Internal<Self>*>(self._internal);
+    }
+
+} // namespace ice::concepts

source/code/core/core/public/ice/constants.hxx

@@ -46,4 +46,16 @@ namespace ice
     constexpr ice::f32 const f32_nan = std::numeric_limits<ice::f32>::signaling_NaN();
     constexpr ice::f64 const f64_nan = std::numeric_limits<ice::f64>::signaling_NaN();
 
+    // Typed zero values
+    constexpr ice::f32 const f32_0 = ice::f32(0.0f);
+    constexpr ice::f64 const f64_0 = ice::f64(0.0);
+    constexpr ice::i8  const i8_0 = ice::i8(0);
+    constexpr ice::i16 const i16_0 = ice::i16(0);
+    constexpr ice::i32 const i32_0 = ice::i32(0);
+    constexpr ice::i64 const i64_0 = ice::i64(0);
+    constexpr ice::u8  const u8_0 = ice::u8(0);
+    constexpr ice::u16 const u16_0 = ice::u16(0);
+    constexpr ice::u32 const u32_0 = ice::u32(0);
+    constexpr ice::u64 const u64_0 = ice::u64(0);
+
 } // namespace ice

source/code/core/core/public/ice/error_codes.hxx

@@ -16,6 +16,9 @@ namespace ice
     static constexpr ice::ErrorCode E_InvalidArgument{ "E.0002:General:Invalid argument provided" };
     static constexpr ice::ErrorCode E_OutOfRange{ "E.0003:General:Accessing value out of range" };
     static constexpr ice::ErrorCode E_NotImplemented{ "E.0004:General:Function or method is not implemented" };
+    static constexpr ice::ErrorCode E_NullPointer{ "E.0005:General:Passed '{nullptr}' to function expecting valid pointer." };
+    static constexpr ice::ErrorCode E_NullPointerData{ "E.0006:General:Passed 'Data{nullptr}' object to function expecting valid data." };
+    static constexpr ice::ErrorCode E_NullPointerMemory{ "E.0007:General:Passed 'Memory{nullptr}' object to function expecting valid memory." };
     static constexpr ice::ErrorCode E_TaskCanceled{ "E.1001:Tasks:Task canceled" };
 
     // Aliases are comparable

source/code/core/core/public/ice/types.hxx

@@ -28,6 +28,30 @@ namespace ice
 
     using uptr = std::uintptr_t;
 
+    // Declaration of ref types
+
+    //! \brief Holds 'offset' and 'size' fields (u32) to access data stored in a buffer-like object.
+    using ref32 = struct { ice::u32 offset; ice::u32 size; };
+
+    //! \brief Holds 'offset' and 'size' fields (u16) to access data stored in a buffer-like object.
+    struct ref16
+    {
+        ice::u16 offset;
+        ice::u16 size;
+
+        constexpr operator ice::ref32() const noexcept { return ref32{ offset, size }; }
+    };
+
+    //! \brief Holds 'offset' and 'size' fields (u8) to access data stored in a buffer-like object.
+    struct ref8
+    {
+        ice::u8 offset;
+        ice::u8 size;
+
+        constexpr operator ice::ref16() const noexcept { return ref16{ offset, size }; }
+        constexpr operator ice::ref32() const noexcept { return ref32{ offset, size }; }
+    };
+
     // Forward declaration of time-types
     struct Ts;
     struct Tms;