IncludeCPP 3.8.9__py3-none-any.whl → 4.0.0__py3-none-any.whl

includecpp/core/cssl/cssl_builtins.pyi

@@ -4604,6 +4604,233 @@ Example:
 """
 
 
+# =============================================================================
+# NON-NULL ASSERTIONS & TYPE EXCLUSION (v3.9.0)
+# =============================================================================
+
+class NonNullAndTypeExclusion:
+    """
+    CSSL Non-Null Assertions and Type Exclusion (v3.9.0)
+
+    Special syntax for enforcing value constraints on functions and expressions.
+    """
+
+    def non_null_assertion(self) -> None:
+        """Non-null assertion with * prefix.
+
+        Assert that a value, function return, or class methods are never null.
+
+        Syntax:
+            *$variable          Assert shared object is non-null
+            *@global            Assert global variable is non-null
+            *expression         Assert expression result is non-null
+            define *funcName()  Function must return non-null
+            class *ClassName    All class methods return non-null
+
+        Example - Value Assertion:
+            // Assert shared object value is not null
+            this->osName = *$System.os;  // Error if $System.os is null
+
+            // Assert global is not null
+            string value = *@config;
+
+        Example - Non-null Function:
+            // Function that must never return null/None
+            define *alwaysReturns() {
+                return "Always a value";
+                // return null;  // Would cause error!
+            }
+
+            // Call - guaranteed non-null
+            string result = alwaysReturns();
+
+        Example - Non-null Class:
+            // All methods in this class must return non-null
+            class *MyClass {
+                string getValue() {
+                    return "Value";  // Must return something
+                }
+
+                int getNumber() {
+                    return 42;  // Must return something
+                }
+            }
+
+        Example - Non-null Parameter:
+            // Filter out null values from open parameters
+            define process(open *Params) {
+                // Params will never contain null values
+                foreach item in Params {
+                    printl(item);  // Guaranteed non-null
+                }
+            }
+        """
+        ...
+
+    def type_exclusion_filter(self) -> None:
+        """Type exclusion filter with *[type] syntax.
+
+        Specify that a function must NOT return a specific type.
+        Particularly useful with shuffled functions that return multiple values.
+
+        Syntax:
+            define *[type]funcName()     Function must NOT return 'type'
+            shuffled *[type]funcName()   Multi-return must NOT contain 'type'
+            *[type]expression            Assert expression is NOT of 'type'
+
+        Supported types:
+            string, int, float, bool, null, none, list, array, dict, json
+
+        Example - Exclude String:
+            // Function must NOT return a string
+            shuffled *[string] getNumbers() {
+                return 1, 2, 3;       // OK - integers
+                // return "text";     // Error! String not allowed
+            }
+
+        Example - Exclude Null:
+            // Ensure function never returns null (alternative to *)
+            define *[null] getValue() {
+                return 42;           // OK
+                // return null;      // Error!
+            }
+
+        Example - With Shuffled Functions:
+            // Return multiple values, but none can be strings
+            shuffled *[string] getMixedData() {
+                return 100, 3.14, true;  // OK - int, float, bool
+            }
+
+            // Unpack the values
+            num, decimal, flag = getMixedData();
+
+        Example - Expression Assertion:
+            // Assert the result is not a string
+            dynamic result = *[string] getData();
+            // Error if getData() returns a string
+
+        Note:
+            For tuple returns (shuffled), each value in the tuple is checked
+            against the excluded type. If any value matches, an error is raised.
+        """
+        ...
+
+
+# =============================================================================
+# APPEND MODE (v3.8.9)
+# =============================================================================
+
+class AppendMode:
+    """
+    CSSL Append Mode (v3.8.9)
+
+    The ++ append operator allows extending constructors and functions
+    by keeping the original code and adding new code after it.
+    """
+
+    def function_append(self) -> None:
+        """Append to a function with &FunctionName ++.
+
+        Keeps original function code and adds new code after it.
+
+        Syntax:
+            define NewFunc() &OriginalFunc ++ {
+                // New code runs AFTER OriginalFunc
+            }
+
+        Example:
+            // Original function
+            define BaseFunc() {
+                printl("Base functionality");
+            }
+
+            // Append to BaseFunc - keeps original + adds new
+            define ExtendedFunc() &BaseFunc ++ {
+                printl("Extended functionality");
+            }
+
+            ExtendedFunc();
+            // Output:
+            // Base functionality
+            // Extended functionality
+        """
+        ...
+
+    def constructor_append(self) -> None:
+        """Append to a constructor with &ClassName::constructor ++.
+
+        Extend parent constructor while keeping its initialization.
+
+        Syntax:
+            constr Name() &ParentClass::ParentConstructor ++ {
+                // Additional initialization
+            }
+
+        Example:
+            class MyClass {
+                constr MyClassConstructor() {
+                    printl("MyClass constructor");
+                    this->value = 10;
+                }
+            }
+
+            class BetterClass :: extends MyClass {
+                // Append to specific parent constructor
+                constr BetterConstructor() &MyClass::MyClassConstructor ++ {
+                    printl("BetterClass - added code");
+                    this->extra = 20;
+                }
+            }
+
+            $instance = new BetterClass();
+            // Output:
+            // MyClass constructor
+            // BetterClass - added code
+            printl($instance.value);  // 10
+            printl($instance.extra);  // 20
+        """
+        ...
+
+    def method_append(self) -> None:
+        """Append to a class method with &ClassName::method ++.
+
+        Example:
+            class Parent {
+                define greet() {
+                    printl("Hello from Parent");
+                }
+            }
+
+            class Child :: extends Parent {
+                // Append to parent method
+                define betterGreet() &Parent::greet ++ {
+                    printl("And also from Child!");
+                }
+            }
+
+            $child = new Child();
+            $child.betterGreet();
+            // Output:
+            // Hello from Parent
+            // And also from Child!
+        """
+        ...
+
+    def instance_append(self) -> None:
+        """Append using instance reference with &$instance::member ++.
+
+        Example:
+            global $myInstance = new SomeClass();
+
+            class Extended {
+                define extendedMethod() &$myInstance::originalMethod ++ {
+                    printl("Added to instance method");
+                }
+            }
+        """
+        ...
+
+
 # =============================================================================
 # EXPORTS
 # =============================================================================
@@ -4671,4 +4898,8 @@ __all__ = [
     # Data Types Reference
     "DataTypes", "int_t", "float_t", "string_t", "bool_t", "dynamic_t",
     "var_t", "list_t", "dict_t", "void_t", "null_t",
+    # v3.8.9 & v3.9.0 Features
+    "AppendMode", "NonNullAndTypeExclusion",
+    # Filter functions (filter:: namespace)
+    "filter_register", "filter_unregister", "filter_list", "filter_exists",
 ]