klassen-software-solutions / ksscontract Goto Github PK

Add some form of a "plugin" or "configuration" that would allow the programmer to perform their own actions on condition failures.

Requirements:

• The default implementations must remain the ones we have chosen and document.
• This plugin should not cause significant additional overhead.
• Attackers should not be able to use the plugin mechanism to attack the system. In particular the plugin configuration must be a compile-time, not a run-time, decision.

This results in warnings about null pointers and other things that have been checked via a precondition.

• Update Xcode flags and BuildSystem
• Nested namespaces
• structured bindings
• init statement in if and switch
• inline static variables
• template fold expressions
• if constexpr
• auto template parameters
• [[noreturn]] attribute
• [[nodiscard]] attribute
• [[maybe_unused]] attribute
• std::optional
• std::variant (union replacement)
• std::any (void* replacement)
• std::string_view
• string conversions
• new searching
• std::filesystem

Perhaps this could be based on a hash value - allowing it to work on any type T for which hash(T) is defined?

In any event it should follow the RAII pattern. That is, the invariant is checked when it goes out of scope.

Add the ability to include a custom message in the failure report.