feat: kernel: New Vettable API, remove IsAcceptable concept.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

3 files changed, 15 insertions, 23 deletions

diff --git a/src/kernel/NeKit/Domain.h b/src/kernel/NeKit/Domain.h
index cda63ee9..376fd9d5 100644
--- a/src/kernel/NeKit/Domain.h
+++ b/src/kernel/NeKit/Domain.h
@@ -14,6 +14,9 @@ template <class Type>
 struct IsDefined final {
   using ResultType    = Type;
   using ResultTypeRef = Type&;
+  using TypeRef   = ResultTypeRef;
+  using ConstType = const Type&;
+  using TypePtr   = Type*;
 
   static constexpr bool kValue = true;
 };
@@ -27,11 +30,6 @@ using NullDomain = IsDefined<nullPtr>;
 
 template <class Type>
 using Domain = IsDefined<Type>;
-
-template <class Type>
-concept IsAcceptable = requires() {
-  { IsDefined<Type>::kValue };
-};
 }  // namespace Kernel
 
 #endif  // !__NE_KIT_DOMAIN_H__
\ No newline at end of file
diff --git a/src/kernel/NeKit/Ref.h b/src/kernel/NeKit/Ref.h
index 2010f3e9..58a77238 100644
--- a/src/kernel/NeKit/Ref.h
+++ b/src/kernel/NeKit/Ref.h
@@ -59,8 +59,13 @@ class Ref final {
 
   Type operator*() { return fClass; }
 
-  explicit operator bool() { return Vettable<Type>::kValue; }
-  bool     operator!() { return !Vettable<Type>::kValue; }
+  explicit operator bool() {
+    if constexpr (IsVettable<Type>) {
+        return Type::kVettable;
+    } else {
+        return false;
+    }
+  }
 
  private:
   Type fClass;
diff --git a/src/kernel/NeKit/Vettable.h b/src/kernel/NeKit/Vettable.h
index e4c09624..a09a6aae 100644
--- a/src/kernel/NeKit/Vettable.h
+++ b/src/kernel/NeKit/Vettable.h
@@ -11,24 +11,13 @@
 #include <CompilerKit/CompilerKit.h>
 #include <NeKit/Config.h>
 
-namespace Kernel {
-template <class Type>
-struct Vettable final {
-  using ResultType = Type;
-  using TypeRef   = Type&;
-  using ConstType = const Type&;
-  using TypePtr   = Type*;
-
-
-  static constexpr BOOL kValue = NO;
-};
+#define NE_VETTABLE static constexpr BOOL kVettable = YES
+#define NE_NON_VETTABLE static constexpr BOOL kVettable = NO
 
+namespace Kernel {
 template <class Type>
-using FallbackType = Void (*)(const PropertyResult<Type>& type_value);
-
-template <class Type, FallbackType<Type> OnFallback>
-concept IsVettable = requires() {
-  { Vettable<Type>::kValue ? TrueResult<Type>{} : OnFallback(PropertyResult<Type>{}) };
+concept IsVettable = requires(Type) {
+    (Type::kVettable);
 };
 }  // namespace Kernel