@adaas/a-concept 0.0.63 → 0.1.1

package/src/global/A-Scope/A-Scope.class.ts

@@ -1,275 +1,413 @@
-import { A_CommonHelper, ASEID } from "@adaas/a-utils";
-import { A_TYPES__ScopeConfig, A_TYPES__ScopeConstructor } from "./A-Scope.types";
-import { A_Fragment } from "../A-Fragment/A-Fragment.class";
-import { A_Context } from "../A-Context/A-Context.class";
 import {
-    A_TYPES__ComponentMetaKey
-} from "../A-Component/A-Component.types";
-import { A_Component } from "../A-Component/A-Component.class";
-import { A_Entity } from "../A-Entity/A-Entity.class";
+    A_TYPES__ScopeConfig,
+    A_TYPES__Scope_Init,
+    A_TYPES__ScopeLinkedComponents,
+    A_TYPES__ScopeResolvableComponents,
+    A_TYPES__Scope_Constructor
+} from './A-Scope.types'
 import {
     A_TYPES__A_InjectDecorator_EntityInjectionInstructions,
     A_TYPES__A_InjectDecorator_EntityInjectionQuery,
-    A_TYPES__A_InjectDecorator_Injectable
-} from "@adaas/a-concept/decorators/A-Inject/A-Inject.decorator.types";
-import { A_Command } from "../A-Command/A-Command.class";
-
+    A_TYPES__InjectableConstructors,
+} from "@adaas/a-concept/global/A-Inject/A-Inject.types";
+import { A_Fragment } from "../A-Fragment/A-Fragment.class";
+import { A_Context } from "../A-Context/A-Context.class";
+import { A_Component } from "../A-Component/A-Component.class";
+import { A_Entity } from "../A-Entity/A-Entity.class";
+import { A_TypeGuards } from "@adaas/a-concept/helpers/A_TypeGuards.helper";
+import { A_Error } from "../A-Error/A_Error.class";
+import { A_FormatterHelper } from '@adaas/a-concept/helpers/A_Formatter.helper';
+import { ASEID } from '../ASEID/ASEID.class';
+import { A_CommonHelper } from '@adaas/a-concept/helpers/A_Common.helper';
+import { A_TYPES__Entity_Constructor } from '../A-Entity/A-Entity.types';
+import { A_ScopeError } from './A-Scope.error';
+import { A_TYPES__Component_Constructor } from '../A-Component/A-Component.types';
+import { A_TYPES__Fragment_Constructor } from '../A-Fragment/A-Fragment.types';
+import { A_TYPES__Error_Constructor } from '../A-Error/A_Error.types';
+import { A_TYPES__ComponentMetaKey } from '../A-Component/A-Component.constants';
 
-/**
- * 
- * 
- * A_Scope refers to the visibility and accessibility of :
- * - variables, 
- * - Components, 
- * - Context Fragments 
- * - and objects in different parts of your code. 
- * Scope determines where a particular piece of data (like a variable or function) 
- * can be accessed, modified, or referenced, and it plays a crucial role in avoiding naming collisions and ensuring data integrity. 
- * 
- * 
- */
-export class A_Scope {
 
-    readonly name: string = '';
 
-    private _components: WeakMap<typeof A_Component.constructor, any> = new WeakMap();
-    private _fragments: WeakMap<typeof A_Fragment.constructor, any> = new WeakMap();
-    private _commands: Map<string, A_Command> = new Map();
-    private _entities: Map<string, A_Entity> = new Map();
 
-    private _parent?: A_Scope;
+export class A_Scope<
+    _ComponentType extends A_TYPES__Component_Constructor[] = A_TYPES__Component_Constructor[],
+    _ErrorType extends A_TYPES__Error_Constructor[] = A_TYPES__Error_Constructor[],
+    _EntityType extends A_TYPES__Entity_Constructor[] = A_TYPES__Entity_Constructor[],
+    _FragmentType extends A_Fragment[] = A_Fragment[],
+> {
 
-    protected params!: A_TYPES__ScopeConstructor
+    /**
+     * Scope Name uses for identification and logging purposes
+     */
+    protected _name!: string;
+    /**
+     * Parent scope reference, used for inheritance of components, fragments, entities and commands
+     */
+    protected _parent?: A_Scope;
 
+    // ===========================================================================
+    // --------------------ALLowed Constructors--------------------------------
+    // ===========================================================================
+    /**
+     * A set of allowed components, A set of constructors that are allowed in the scope
+     *      
+     */
+    protected _allowedComponents = new Set<_ComponentType[number]>();
+    /**
+     * A set of allowed errors, A set of constructors that are allowed in the scope
+     */
+    protected _allowedErrors = new Set<_ErrorType[number]>();
+    /**
+     * A set of allowed entities, A set of constructors that are allowed in the scope
+     */
+    protected _allowedEntities = new Set<_EntityType[number]>();
+    /**
+     * A set of allowed fragments, A set of constructors that are allowed in the scope
+     */
+    protected _allowedFragments = new Set<A_TYPES__Fragment_Constructor<_FragmentType[number]>>();
 
-    constructor(
-        params: Partial<A_TYPES__ScopeConstructor>,
-        config: Partial<A_TYPES__ScopeConfig> = {}
-    ) {
-        this.name = params.name || this.constructor.name;
 
-        // TODO: move to defaults
-        const defaultParams: A_TYPES__ScopeConstructor = {
-            name: '',
-            components: [],
-            fragments: [],
-            entities: [],
-            commands: [],
-        };
 
+    // ===========================================================================
+    // --------------------Internal Storage--------------------------------
+    // ===========================================================================
+    /**
+     * Storage for the components, should be strong as components are unique per scope
+     */
+    protected _components: Map<_ComponentType[number], InstanceType<_ComponentType[number]>> = new Map();
+    /**
+     * Storage for the errors, should be strong as errors are unique per code
+     */
+    protected _errors: Map<string, InstanceType<_ErrorType[number]>> = new Map();
+    /**
+     * Storage for the entities, should be strong as entities are unique per aseid
+     */
+    protected _entities: Map<string, InstanceType<_EntityType[number]>> = new Map();
+    /**
+     * Storage for the fragments, should be weak as fragments are singletons per scope
+     */
+    protected _fragments: Map<A_TYPES__Fragment_Constructor<_FragmentType[number]>, _FragmentType[number]> = new Map();
 
-        this.params = {
-            ...defaultParams,
-            ...params
-        }
 
-        this.initComponents(params.components || []);
-        this.initFragments(params.fragments || []);
-        this.initEntities(params.entities || []);
 
-        if (config.parent) {
-            this._parent = config.parent;
-        }
-    }
 
+    // ===========================================================================
+    // --------------------Readonly Allowed Properties----------------------------
+    // ===========================================================================
+    /**
+     * Returns the name of the scope
+     */
+    get name() { return this._name }
 
-    private initComponents(_components: Array<{ new(...args: any[]): any }>) {
-        // _components.forEach(component => {
-        //     this._components.set(component, new component());
-        // })
-    }
+    /**
+     * Returns a list of Constructors for A-Components that are available in the scope
+     */
+    get allowedComponents() { return this._allowedComponents }
+    /**
+     * Returns a list of Constructors for A-Entities that are available in the scope
+     */
+    get allowedEntities() { return this._allowedEntities }
+    /**
+     * Returns a list of Constructors for A-Fragments that are available in the scope
+     */
+    get allowedFragments() { return this._allowedFragments }
+    /**
+     * Returns a list of Constructors for A-Errors that are available in the scope
+     */
+    get allowedErrors() { return this._allowedErrors }
+    // ===========================================================================
+    // --------------------Readonly Registered Properties--------------------------
+    // ===========================================================================
+    /**
+     * Returns an Array of entities registered in the scope
+     * 
+     * [!] One entity per aseid
+     */
+    get entities(): Array<InstanceType<_EntityType[number]>> { return Array.from(this._entities.values()) }
+    /**
+     * Returns an Array of fragments registered in the scope
+     * 
+     * [!] One fragment per scope
+     */
+    get fragments(): Array<_FragmentType[number]> { return Array.from(this._fragments.values()) }
+    /**
+     * Returns an Array of components registered in the scope
+     * 
+     * [!] One component instance per scope
+     */
+    get components(): Array<InstanceType<_ComponentType[number]>> { return Array.from(this._components.values()) }
 
-    private initEntities(_entities: Array<A_Entity>) {
-        _entities.forEach(this.register.bind(this));
+    /**
+     * Returns the parent scope of the current scope
+     * 
+     * @param setValue 
+     * @returns 
+     */
+    get parent(): A_Scope | undefined {
+        return this._parent;
     }
-
-
-    private initFragments(_fragments: Array<A_Fragment>) {
-        _fragments.forEach(this.register.bind(this));
+    /**
+     * A_Scope refers to the visibility and accessibility of :
+     * - variables, 
+     * - Components, 
+     * - Context Fragments 
+     * - Entities
+     * - and objects in different parts of your code. 
+     * Scope determines where a particular piece of data (like a variable or function) 
+     * can be accessed, modified, or referenced, and it plays a crucial role in avoiding naming collisions and ensuring data integrity. 
+     * 
+     * [!] The scope behavior is similar to tree structure where each scope can have a parent scope and inherit its components, fragments, entities and errors
+     * 
+     * @param params 
+     * @param config 
+     */
+    constructor()
+    constructor(
+        /**
+         * A set of constructors that are allowed in the scope
+         */
+        params: Partial<A_TYPES__Scope_Init<_ComponentType, _ErrorType, _EntityType, _FragmentType>>,
+        /**
+         * Configuration options for the scope
+         */
+        config?: Partial<A_TYPES__ScopeConfig>
+    )
+    constructor(
+        param1?: Partial<A_TYPES__Scope_Init<_ComponentType, _ErrorType, _EntityType, _FragmentType>>,
+        param2?: Partial<A_TYPES__ScopeConfig>
+    ) {
+        const initializer = this.getInitializer(param1);
+        // the returned initializer is already bound to `this` (we used .bind(this)),
+        // so calling it will run the appropriate logic on this instance:
+        initializer.call(this, param1, param2);
     }
 
 
-    get components() {
-        return this.params.components || [];
-    }
 
-    get commands() {
-        return this.params.commands || [];
-    }
+    /**
+     * Determines which initializer method to use based on the type of the first parameter.
+     * 
+     * @param param1 
+     * @returns
+     */
+    protected getInitializer(
+        param1?: Partial<A_TYPES__Scope_Init<_ComponentType, _ErrorType, _EntityType, _FragmentType>>,
+        param2?: Partial<A_TYPES__ScopeConfig>
+    ): (param1: any, param2: any) => void | (() => void) {
+        switch (true) {
+            case !param1 && !param2: ;
+                return this.defaultInitialized;
 
-    get fragments() {
-        return this.params.fragments || [];
+            case !!param1:
+                return this.defaultInitialized;
+            default:
+                throw new A_ScopeError(A_ScopeError.ConstructorError, 'Invalid parameters provided to A_Scope constructor');
+        }
     }
 
 
-    parent(setValue: A_Scope): void
-    parent(): A_Scope
-    parent(
-        setValue?: A_Scope
-    ): A_Scope | undefined {
-        if (setValue) {
-            return this.inherit(setValue);
-        }
 
-        return this._parent;
-    }
+    protected defaultInitialized(
+        params: Partial<A_TYPES__Scope_Init<_ComponentType, _ErrorType, _EntityType, _FragmentType>> = {},
+        config: Partial<A_TYPES__ScopeConfig> = {}
+    ) {
+        this._name = params.name || this.constructor.name
 
-    isInheritedFrom(scope: A_Scope): boolean {
-        let current: A_Scope | undefined = this;
+        this.initComponents(params.components);
+        this.initErrors(params.errors);
+        this.initFragments(params.fragments);
+        this.initEntities(params.entities);
 
-        while (current) {
-            if (current === scope) {
-                return true;
-            }
-            current = current._parent;
+        if (config.parent) {
+            this._parent = config.parent;
         }
-
-        return false;
     }
 
 
-    inherit(parent: A_Scope): A_Scope {
-        // Prevent circular inheritance
-        const circularCheck = this.checkCircularInheritance(parent);
+    //==========================================================================
+    // --------------------Scope Initialization Methods---------------------------
+    //==========================================================================
 
-        if (circularCheck) {
-            throw new Error(`Circular inheritance detected: ${[...circularCheck, parent.name].join(' -> ')}`);
-        }
+    /**
+     * This method is used to initialize the components in the scope
+     * To save memory components are initialized only when they are requested
+     * 
+     * This method only registers the component in the scope in case they are not registered yet
+     * 
+     * @param _components 
+     */
+    protected initComponents(_components?: _ComponentType) { _components?.forEach(this.register.bind(this)); }
+    /**
+     * This method is used to initialize the errors in the scope
+     * 
+     * This method only registers the errors in the scope in case they are not registered yet
+     * 
+     * @param _errors 
+     */
+    protected initErrors(_errors?: _ErrorType) { _errors?.forEach(this.register.bind(this)); }
+    /**
+     * This method is used to initialize the entities in the scope
+     * 
+     * This method only registers the entities in the scope in case they are not registered yet
+     * 
+     * @param _entities 
+     */
+    protected initEntities(_entities?: [
+        ..._EntityType,
+        ...InstanceType<_EntityType[number]>[]
+    ]) { _entities?.forEach(ent => this.register(ent as any)); }
+    /**
+     * This method is used to initialize the fragments in the scope
+     * 
+     * This method only registers the fragments in the scope in case they are not registered yet
+     * 
+     * @param _fragments 
+     */
+    protected initFragments(_fragments?: _FragmentType) { _fragments?.forEach(this.register.bind(this)); }
 
-        this._parent = parent;
-        return this;
+
+    /**
+     * Returns the issuer of the scope, useful for debugging and tracking purposes
+     * 
+     * Issuer can be:
+     * - A Container that allocated the scope
+     * - A Feature that allocated the scope
+     * 
+     * [!] Note that the issuer is the direct allocator of the scope, so if a Container allocated a Feature that allocated the scope, the issuer will be the Feature
+     * 
+     * @returns 
+     */
+    issuer<T extends A_TYPES__ScopeLinkedComponents>(): T {
+        return A_Context.issuer(this) as T;
     }
 
 
 
     /**
-     * Helper method to check circular inheritance
-     * Should return a full sequence of inheritance for logging purposes
+     * This method is used to inherit from a parent scope
      * 
-     * @param scope 
+     * [!] This method checks for circular inheritance and throws an error if detected
+     * 
+     * @param parent 
      * @returns 
      */
-    checkCircularInheritance(scope: A_Scope): Array<string> | false {
-        const inheritanceChain: Array<string> = [];
-        let current: A_Scope | undefined = this._parent;
+    inherit(parent: A_Scope): A_Scope {
+        if (!parent)
+            throw new A_ScopeError(
+                A_ScopeError.InitializationError,
+                `Invalid parent scope provided`
+            );
 
-        while (current) {
-            inheritanceChain.push(current.name);
-            if (current === scope) {
-                return inheritanceChain;
-            }
-            current = current._parent;
-        }
+        if (parent === this)
+            throw new A_ScopeError(
+                A_ScopeError.CircularInheritanceError,
+                `Unable to inherit scope ${this.name} from itself`
+            );
 
-        return false;
-    }
+        if (parent === this._parent)
+            return this;
 
+        // Prevent circular inheritance
+        const circularCheck = this.checkCircularInheritance(parent);
 
-    printInheritanceChain(): void {
-        const chain: Array<string> = [];
-        let current: A_Scope | undefined = this;
+        if (circularCheck)
+            throw new A_ScopeError(
+                A_ScopeError.CircularInheritanceError,
+                `Circular inheritance detected: ${[...circularCheck, parent.name].join(' -> ')}`
+            );
 
-        while (current) {
-            chain.push(current.name);
-            current = current._parent;
-        }
 
-        console.log(chain.join(' -> '));
+        this._parent = parent;
+        return this;
     }
 
 
     /**
      * This method is used to check if the component is available in the scope
      * 
+     * [!] Note that this method checks for the component in the current scope and all parent scopes
+     * 
      * @param component 
      * @returns 
      */
     has<T extends A_Component>(
-        component: new (...args: any[]) => T
+        /**
+         * Provide a component constructor to check if it's available in the scope
+         */
+        component: A_TYPES__Component_Constructor<T>
     ): boolean
     has<T extends A_Entity>(
-        entity: new (...args: any[]) => T
+        /**
+         * Provide an entity constructor to check if it's available in the scope
+         * 
+         * [!] Note that entities are unique per aseid, so this method checks if there's at least one entity of the provided type in the scope
+         */
+        entity: A_TYPES__Entity_Constructor<T>
     ): boolean
     has<T extends A_Fragment>(
-        fragment: new (...args: any[]) => T
+        /**
+         * Provide a fragment constructor to check if it's available in the scope
+         */
+        fragment: A_TYPES__Fragment_Constructor<T>
     ): boolean
     has(
+        /**
+         * Provide a string to check if a component, entity or fragment with the provided name is available in the scope
+         */
         constructor: string
     ): boolean
-    has<T extends A_Fragment | A_Component | A_Entity | A_Command>(
-        entity: T | string | (new (...args: any[]) => T)
+    has(
+        ctor: unknown
     ): boolean {
 
+        let found = false;
 
         switch (true) {
+            // 1) Check by string name.  
+            case typeof ctor === 'string': {
+                // 1.1 Check if it's a component name
+                const possibleComponent = Array.from(this.allowedComponents).find(c => c.name === ctor);
+                if (possibleComponent) found = true;
 
-            case typeof entity === 'string': {
-                const possibleComponent = this.params.components.find(c => c.name === entity);
-
-                if (possibleComponent) {
-                    return true;
-                }
-
-                const possibleFragment = this.params.fragments.find(f => f.name === entity);
-
-                if (possibleFragment) {
-                    return true;
-                }
+                // 1.2 Check if it's a fragment name
+                const possibleFragment = Array.from(this.allowedFragments).find(f => f.name === ctor);
+                if (possibleFragment) found = true;
 
-                if (this.params.entities.some(e => e.constructor.name === entity)) {
-                    return true;
-                }
+                // 1.4 Check if it's an entity name or entity static entity property
+                const possibleEntity = Array.from(this.allowedEntities).find(e => e.name === ctor);
+                if (possibleEntity) found = true;
 
+                // 1.5 If not found in current scope, check parent scope
                 if (!!this._parent)
-                    return this._parent.has(entity);
+                    return this._parent.has(ctor);
 
                 return false;
             }
+            // 2) Check if it's a Component
+            case A_TypeGuards.isComponentConstructor(ctor): {
+                found = this.isAllowedComponent(ctor);
 
-            case typeof entity === 'function'
-                && A_CommonHelper.isInheritedFrom(entity, A_Component): {
-                    const found = this.components.includes(entity as { new(...args: any[]): A_Component });
-
-                    if (!found && !!this._parent) {
-                        return this._parent.has(entity as any);
-                    }
-
-                    return found;
-                }
-
-            case typeof entity === 'function'
-                && A_CommonHelper.isInheritedFrom(entity, A_Entity): {
-                    const entities = Array.from(this._entities.values());
-
-                    const found = entities.find(e => e instanceof entity);
-
-                    return !!found;
-                }
-
-            case typeof entity === 'function'
-                && A_CommonHelper.isInheritedFrom(entity, A_Fragment): {
-                    const found = this._fragments.has(entity);
-
-                    if (!found && !!this._parent)
-                        return this._parent.has(entity as any);
+                break;
+            }
+            // 3) Check if it's an Entity
+            case A_TypeGuards.isEntityConstructor(ctor): {
+                found = this.isAllowedEntity(ctor);
 
-                    return found;
-                }
-            case typeof entity === 'function'
-                && A_CommonHelper.isInheritedFrom(entity, A_Command): {
-                    const found = this.commands.includes(entity as { new(...args: any[]): A_Command });
+                break;
+            }
+            // 4) Check if it's a Fragment
+            case A_TypeGuards.isFragmentConstructor(ctor): {
+                found = this.isAllowedFragment(ctor);
 
-                    if (!found && !!this._parent)
-                        return this._parent.has(entity as any);
+                break;
+            }
+        }
 
-                    return found;
-                }
+        if (!found && !!this._parent)
+            return this._parent.has(ctor as any);
 
 
-            default: {
-                return false;
-            }
-        }
+        return found;
     }
 
 
@@ -286,19 +424,14 @@ export class A_Scope {
     merge(anotherScope: A_Scope): A_Scope {
         const merged = new A_Scope(
             {
-                name: `${this.name}&${anotherScope.name}`,
-                components: Array.from(new Set([
-                    ...this.params.components,
-                    ...anotherScope.params.components
-                ])),
-                fragments: Array.from(new Set([
-                    ...this.params.fragments,
-                    ...anotherScope.params.fragments
-                ])),
-                entities: Array.from(new Set([
-                    ...this.params.entities,
-                    ...anotherScope.params.entities
-                ])),
+                name: `${this.name} + ${anotherScope.name}`,
+
+                components: [...this.allowedComponents, ...anotherScope.allowedComponents],
+                fragments: [...this.fragments, ...anotherScope.fragments],
+                entities: [
+                    ...this.entities, ...anotherScope.entities,
+                    ...this.allowedEntities, ...anotherScope.allowedEntities
+                ],
             },
             {
                 parent: this._parent || anotherScope._parent
@@ -314,34 +447,55 @@ export class A_Scope {
      * 
      * [!] Notes:
      * - In case of search for A-Entity please ensure that provided string corresponds to the static entity property of the class. [!] By default it's the kebab-case of the class name
-     * - In case of search for A_Command please ensure that provided string corresponds to the static code property of the class. [!] By default it's the kebab-case of the class name
      * - In case of search for A_Component please ensure that provided string corresponds to the class name in PascalCase
      * 
      * @param name 
      * @returns 
      */
-    resolveConstructor<T extends A_Component | A_Entity>(name: string): new (...args: any[]) => T {
-        // Check components
-        const component = this.params.components.find(c => c.name === A_CommonHelper.toPascalCase(name));
-        if (component) return component as any;
-
-        // Check entities
-        const entity = this.params.entities.find(e => (e.constructor as any).entity === name
-            || (e.constructor as any).name === A_CommonHelper.toPascalCase(name)
-            || (e.constructor as any).entity === A_CommonHelper.toKebabCase(name)
+    resolveConstructor<T extends A_Entity>(
+        /**
+         * Provide the entity name or static entity property to retrieve its constructor
+         */
+        name: string
+    ): A_TYPES__Entity_Constructor<T>
+    resolveConstructor<T extends A_Component>(
+        /**
+         * Provide the component name in PascalCase to retrieve its constructor
+         */
+        name: string
+    ): A_TYPES__Component_Constructor<T>
+    resolveConstructor<T extends A_Fragment>(
+        /**
+         * Provide the fragment name in PascalCase to retrieve its constructor
+         */
+        name: string
+    ): A_TYPES__Fragment_Constructor<T>
+    resolveConstructor<T extends A_TYPES__ScopeResolvableComponents>(name: string): A_TYPES__Entity_Constructor<T> | A_TYPES__Component_Constructor<T> | A_TYPES__Fragment_Constructor<T> {
+        // 1) Check components
+        const component = Array.from(this.allowedComponents).find(
+            c => c.name === name
+                || c.name === A_FormatterHelper.toPascalCase(name)
+        );
+        if (component) return component as A_TYPES__Component_Constructor<T>;
+
+        // 2) Check entities
+        const entity = Array.from(this.allowedEntities).find(
+            e => e.name === name
+                || e.name === A_FormatterHelper.toPascalCase(name)
+                || (e as any).entity === name
+                || (e as any).entity === A_FormatterHelper.toKebabCase(name)
         );
-        if (entity) return entity.constructor as any;
+        if (entity) return entity as A_TYPES__Entity_Constructor<T>;
 
-        // Check commands 
-        const command = this.params.commands.find(c => (c as any).code === name
-            || (c as any).name === A_CommonHelper.toPascalCase(name)
-            || (c as any).code === A_CommonHelper.toKebabCase(name)
+        // 3) Check fragments
+        const fragment = Array.from(this.allowedFragments).find(f => f.name === name
+            || f.name === A_FormatterHelper.toPascalCase(name)
         );
-        if (command) return command as any;
+        if (fragment) return fragment as A_TYPES__Fragment_Constructor<T>;
 
         // If not found in current scope, check parent scope
         if (!!this._parent) {
-            return this._parent.resolveConstructor(name);
+            return this._parent.resolveConstructor(name) as any;
         }
 
         throw new Error(`Component or Entity with name ${name} not found in the scope ${this.name}`);
@@ -349,135 +503,224 @@ export class A_Scope {
 
 
 
-
-
     /**
-     * This method is used to get the component by class
+     * This method allows to resolve/inject a component, fragment or entity from the scope
+     * Depending on the provided parameters it can resolve:
+     * - A single component/fragment/entity by its constructor or name
+     * - An array of components/fragments/entities by providing an array of constructors
+     * - An entity or an array of entities by providing the entity constructor and query instructions
      * 
      * @param component 
      * @returns 
      */
-    resolve<T extends A_TYPES__A_InjectDecorator_Injectable>(
-        string: string
-    ): InstanceType<T>
-    resolve<T extends A_TYPES__A_InjectDecorator_Injectable>(
-        component: T
-    ): InstanceType<T>
+    resolve<T extends A_Component>(
+        /**
+         * Provide a component constructor to resolve its instance from the scope
+         */
+        component: A_TYPES__Component_Constructor<T>
+    ): T
+    resolve<T extends A_TYPES__Component_Constructor[]>(
+        /**
+         * Provide an array of component constructors to resolve their instances from the scope
+         */
+        components: [...T]
+    ): Array<InstanceType<T[number]>>
+    resolve<T extends A_Fragment>(
+        /**
+         * Provide a fragment constructor to resolve its instance from the scope
+         */
+        fragment: A_TYPES__Fragment_Constructor<T>
+    ): T
+    resolve<T extends A_TYPES__Fragment_Constructor[]>(
+        /**
+         * Provide an array of fragment constructors to resolve their instances from the scope
+         */
+        fragments: [...T]
+    ): Array<InstanceType<T[number]>>
+    resolve<T extends A_Entity>(
+        /**
+         * Provide an entity constructor to resolve its instance or an array of instances from the scope
+         */
+        entity: A_TYPES__Entity_Constructor<T>
+    ): T | undefined
+    resolve<T extends A_Scope>(
+        /**
+         * Uses only in case of resolving a single entity
+         * 
+         * Provide an entity constructor to resolve its instance from the scope
+         */
+        scope: new (...args: any[]) => T
+    ): T
     resolve<T extends A_Entity>(
-        entity: { new(...args: any[]): T },
+        /**
+         * Provide an entity constructor to resolve its instance or an array of instances from the scope
+         */
+        entity: A_TYPES__Entity_Constructor<T>,
+        /**
+         * Provide optional instructions to find a specific entity or a set of entities
+         */
         instructions: Partial<A_TYPES__A_InjectDecorator_EntityInjectionInstructions<T>>
-    ): T | Array<T>
-    resolve<T extends A_TYPES__A_InjectDecorator_Injectable>(
-        component: Array<T>
-    ): Array<InstanceType<T>>
+    ): Array<T>
+    resolve(
+        constructorName: string
+    ): A_TYPES__ScopeResolvableComponents
     // base definition
-    resolve<T extends A_TYPES__A_InjectDecorator_Injectable>(
-        param1: Array<T> | T | string,
-        param2?: string | Partial<A_TYPES__A_InjectDecorator_EntityInjectionInstructions>
-    ): Array<InstanceType<T>> | InstanceType<T> {
-
+    resolve<T extends A_TYPES__ScopeResolvableComponents>(
+        /**
+         * Provide a component, fragment or entity constructor or an array of constructors to resolve its instance(s) from the scope
+         */
+        param1: A_TYPES__InjectableConstructors,
 
+    ): T | Array<T>
+    resolve<T extends A_TYPES__ScopeResolvableComponents>(
+        /**
+         * Provide a component, fragment or entity constructor or an array of constructors to resolve its instance(s) from the scope
+         */
+        param1: A_TYPES__InjectableConstructors | Array<A_TYPES__InjectableConstructors>,
+        param2?: Partial<A_TYPES__A_InjectDecorator_EntityInjectionInstructions>
+    ): T | Array<T> {
         switch (true) {
-            case Array.isArray(param1): {
-                return param1.map(c => this.resolveOnce(param1 as any, param2 as any));
+            case A_TypeGuards.isArray(param1): {
+                return param1.map(c => {
+                    if (A_TypeGuards.isString(c))
+                        return this.resolveByName(c);
+                    else
+                        return this.resolveOnce(c, param2);
+                }).filter(Boolean) as Array<T>;
             }
 
-            case typeof param1 === 'function': {
-                return this.resolveOnce(param1 as any, param2 as any);
+            case A_TypeGuards.isFunction(param1): {
+                return this.resolveOnce(param1, param2);
             }
 
-            case typeof param1 === 'string': {
-                return this.resolveByName(param1 as any) as InstanceType<T>;
+            case A_TypeGuards.isString(param1): {
+                return this.resolveByName(param1) as T;
             }
 
             default: {
-                throw new Error('Invalid arguments provided');
+                throw new A_Error(`Invalid parameter provided to resolve method: ${param1} in scope ${this.name}`);
             }
         }
     }
 
 
-    private resolveByName(name: string): A_Entity | A_Fragment | A_Component {
-        // Check components
-        const component = this.params.components.find(c => c.name === name);
-        if (component) return this.resolveComponent(component);
 
-        // Check commands
-        const command = this.params.commands.find(c => c.name === name);
-        if (command) return this.resolveComponent(command);
 
-        // Check fragments
-        const fragment = this.params.fragments.find(f => f.constructor.name === name);
-        if (fragment) return this.resolveFragment(fragment.constructor as any);
+    // ==================================================================================================
+    // --------------------------------------------------------------------------------------------------
+    // -------------------------------------INTERNAL RESOLVERS-------------------------------------------
+    // --------------------------------------------------------------------------------------------------
+    // ==================================================================================================
+    /**
+     * This method is used internally to resolve a component, fragment or entity by its constructor name
+     * 
+     * [!] Note that this method checks for the component, fragment or entity in the current scope and all parent scopes
+     * 
+     * @param name  - name of the component, fragment or entity to resolve (constructor name for components and fragments, static entity property for entities, static code property for commands)
+     * @returns 
+     */
+    private resolveByName(
+        /**
+         * Provide the name of the component, fragment or entity to resolve
+         */
+        name: string
+    ): _EntityType[number] | InstanceType<_ComponentType[number]> | _FragmentType[number] {
+        // 1) Check components
+        const component = Array.from(this.allowedComponents).find(
+            c => c.name === name
+                || c.name === A_FormatterHelper.toPascalCase(name)
+        );
+        if (component) return this.resolveOnce(component) as InstanceType<_ComponentType[number]>;
+
+        // 2) Check entities
+        const entity = Array.from(this.allowedEntities).find(
+            e => e.name === name
+                || e.name === A_FormatterHelper.toPascalCase(name)
+                || (e as any).entity === name
+                || (e as any).entity === A_FormatterHelper.toKebabCase(name)
+        );
+        if (entity) return this.resolveOnce(entity) as InstanceType<_EntityType[number]>;
 
-        // Check entities
-        const entity = this.params.entities.find(e => e.constructor.name === name);
-        if (entity) return this.resolveEntity(entity.constructor as any);
+        // 3) Check fragments
+        const fragment = Array.from(this.allowedFragments).find(f => f.name === name
+            || f.name === A_FormatterHelper.toPascalCase(name)
+        );
+        if (fragment) return this.resolveOnce(fragment) as _FragmentType[number];
 
         // If not found in current scope, check parent scope
-        if (this._parent) {
-            return this._parent.resolveByName(name);
+        if (!!this._parent) {
+            return this._parent.resolveByName(name) as any;
         }
 
-        throw new Error(`Component, Fragment, or Entity with name ${name} not found in the scope ${this.name}`);
+        throw new Error(`Component or Entity with name ${name} not found in the scope ${this.name}`);
     }
 
-
-
-
-    private resolveOnce<T extends { new(...args: any[]): A_Entity }>(
-        entity: T,
-        instructions: Partial<A_TYPES__A_InjectDecorator_EntityInjectionInstructions>
-    ): InstanceType<T> | undefined
-    private resolveOnce<T extends A_TYPES__A_InjectDecorator_Injectable>(
-        component: T
-    ): InstanceType<T>
-    private resolveOnce<T extends { new(...args: any[]): A_Entity } | A_TYPES__A_InjectDecorator_Injectable>(
-        component: T,
+    /**
+     * This method is used internally to resolve a single component, fragment or entity from the scope
+     * 
+     * @param component 
+     * @param instructions 
+     * @returns 
+     */
+    private resolveOnce<T extends A_Component | A_Fragment | A_Entity | A_Scope>(
+        component: unknown,
         instructions?: Partial<A_TYPES__A_InjectDecorator_EntityInjectionInstructions>
-    ): InstanceType<T> {
+    ): T | Array<T> {
+
+        if (A_TypeGuards.isScopeConstructor(component))
+            component
 
+        if (typeof component == 'function' && (component as any).name === 'A_Scope')
+            component
 
         switch (true) {
-            case A_CommonHelper.isInheritedFrom(component, A_Entity): {
-                return this.resolveEntity(component as any, instructions) as InstanceType<T>;
+            case A_TypeGuards.isEntityConstructor(component): {
+                return this.resolveEntity(component, instructions) as T | Array<T>;
             }
-
-            case A_CommonHelper.isInheritedFrom(component, A_Fragment): {
-                return this.resolveFragment(component as typeof A_Fragment) as InstanceType<T>;
+            case A_TypeGuards.isFragmentConstructor(component): {
+                return this.resolveFragment(component) as T;
             }
-
-            case A_CommonHelper.isInheritedFrom(component, A_Scope): {
-                return this.resolveScope(component as typeof A_Scope) as InstanceType<T>;
+            case A_TypeGuards.isScopeConstructor(component): {
+                return this.resolveScope(component) as T;
             }
-
-            case A_CommonHelper.isInheritedFrom(component, A_Component): {
-                return this.resolveComponent(component as typeof A_Component) as InstanceType<T>;
+            case A_TypeGuards.isComponentConstructor(component): {
+                return this.resolveComponent(component) as T;
             }
-
             default:
                 throw new Error(`Injected Component ${component} not found in the scope`);
         }
     }
 
+    /**
+     * This method is used internally to resolve a single entity from the scope based on the provided instructions
+     * 
+     * [!] Note that this method can return either a single entity or an array of entities depending on the instructions provided
+     * 
+     * @param entity 
+     * @param instructions 
+     * @returns 
+     */
+    private resolveEntity<T extends A_Entity>(
+        entity: A_TYPES__Entity_Constructor<T>,
+        instructions?: Partial<A_TYPES__A_InjectDecorator_EntityInjectionInstructions<T>>
+    ): T | Array<T> | undefined {
 
-    private resolveEntity<T extends { new(...args: any[]): A_Entity }>(
-        entity: T,
-        instructions?: Partial<A_TYPES__A_InjectDecorator_EntityInjectionInstructions<InstanceType<T>>>
-    ): InstanceType<T> | undefined | InstanceType<T>[] {
-
-        const query = instructions?.query || {} as Partial<A_TYPES__A_InjectDecorator_EntityInjectionQuery<InstanceType<T>>>;
+        const query = instructions?.query || {} as Partial<A_TYPES__A_InjectDecorator_EntityInjectionQuery<T>>;
         const count = instructions?.pagination?.count || 1;
 
         switch (true) {
+            /**
+             * 1) In case when no instructions provided, return the first found entity of the provided type
+             * 
+             * [!] Note that it returns ONLY ONE entity
+             * [!!] In case when no entity found in the current scope, it tries to resolve it from the parent scope (if exists)
+             */
             case !instructions: {
-                const entities = Array.from(this._entities.values());
-
-                const found = entities.find(e => e instanceof entity);
+                const found = this.entities.find(e => e instanceof entity);
 
                 switch (true) {
                     case !!found:
-                        return found as InstanceType<T>;
+                        return found as T;
 
                     case !found && !!this._parent:
                         return this._parent.resolveEntity(entity, instructions);
@@ -486,74 +729,84 @@ export class A_Scope {
                         throw new Error(`Entity ${entity.name} not found in the scope ${this.name}`);
                 }
             }
-
+            /**
+             * 2) In case when aseid is provided in the query, we can directly get the entity from the map
+             * 
+             * [!] Note that it returns ONLY ONE entity
+             */
             case !!query.aseid
                 && typeof query.aseid === 'string'
                 && this._entities.has(query.aseid): {
-                    return this._entities.get(query.aseid) as InstanceType<T>;
+                    return this._entities.get(query.aseid) as T;
                 }
-
+            /**
+             * 3) In case when aseid is provided as ASEID instance, we can directly get the entity from the map
+             * 
+             * [!] Note that it returns ONLY ONE entity
+             */
             case !!query.aseid
                 && typeof query.aseid === 'object'
                 && query.aseid instanceof ASEID
                 && this._entities.has(query.aseid.toString()): {
-                    return this._entities.get(query.aseid.toString()) as InstanceType<T>;
+                    return this._entities.get(query.aseid.toString()) as T;
                 }
-
+            /**
+             * 4) In case when id is provided in the query, we have to find the entity by the id
+             * 
+             * [!]  Note that it returns ONLY ONE entity
+             */
             case !!query.id: {
 
-                // in this case we have to find the entity by the id
-                const entities = Array.from(this._entities.values());
-
-                const found = entities.filter(
-                    e => e instanceof entity
-                ).find(e => {
-                    return String(e.id) === String(query.id)
-                });
+                const found = this.entities
+                    .filter(e => e instanceof entity)
+                    .find(e => String(e.id) === String(query.id));
 
-                return found as InstanceType<T>;
+                return found as T;
             }
-
+            /**
+             * 5) In case when there's a query object, we have to filter the entities by the query
+             * 
+             * [!] Note that it can return either a single entity or an array of entities depending on the count instruction
+             * [!!] In case when no entity found in the current scope, it tries to resolve it from the parent scope (if exists)
+             */
             default: {
-                const entities = Array.from(this._entities.values());
-
-                const found = entities.filter(
-                    e => e instanceof entity
-                ).filter(e => {
-                    return Object.entries(query).every(([key, value]) => {
-                        if (key in e) {
-                            return (e as any)[key] === value;
-                        }
-                        return false;
+
+                const found = this.entities
+                    .filter(e => e instanceof entity)
+                    .filter(e => {
+                        return Object
+                            .entries(query)
+                            .every(([key, value]) => {
+                                if (key in e) {
+                                    return (e as any)[key] === value;
+                                }
+                                return false;
+                            });
                     });
-                });
 
                 if (found.length === 0 && !!this._parent)
                     return this._parent.resolveEntity(entity, instructions);
 
                 if (count === 1)
-                    return found[0] as InstanceType<T>;
+                    return found[0] as T;
 
-                return found as InstanceType<T>[];
+                return found as T[];
             }
-
         }
     }
 
-
-
-    private resolveFragment<T extends typeof A_Fragment>(fragment: T): InstanceType<T> {
-
-        const fragmentInstancePresented = this.fragments.some(fr => fr instanceof fragment);
-
+    /**
+     * This method is used internally to resolve a single fragment from the scope
+     * 
+     * @param fragment 
+     * @returns 
+     */
+    private resolveFragment<T extends A_Fragment>(fragment: A_TYPES__Fragment_Constructor<T>): _FragmentType[number] {
+        const fragmentInstancePresented = this._fragments.get(fragment);
 
         switch (true) {
-
             case fragmentInstancePresented && this._fragments.has(fragment):
-                return this._fragments.get(fragment);
-
-            case fragmentInstancePresented && !this._fragments.has(fragment):
-                return this.fragments.find(fr => fr instanceof fragment) as InstanceType<T>;
+                return fragmentInstancePresented;
 
             case !fragmentInstancePresented && !!this._parent:
                 return this._parent.resolveFragment(fragment);
@@ -562,28 +815,34 @@ export class A_Scope {
                 throw new Error(`Fragment ${fragment.name} not found in the scope ${this.name}`);
         }
     }
-
-
-    private resolveScope(scope: typeof A_Scope): A_Scope {
+    /**
+     *  This method is used internally to resolve a single scope from the current scope
+     * 
+     * @param scope 
+     * @returns 
+     */
+    private resolveScope(scope: A_TYPES__Scope_Constructor): A_Scope {
         return this;
     }
-
-
-    private resolveComponent<T extends A_Component>(component: {
-        new(...args: any[]): T
-    }): T {
+    /**
+     * This method is used internally to resolve a single component from the scope
+     * 
+     * @param component 
+     * @returns 
+     */
+    private resolveComponent<T extends A_Component>(component: A_TYPES__Component_Constructor<T>): InstanceType<_ComponentType[number]> {
 
         //  The idea here that in case when Scope has no exact component we have to resolve it from the _parent
         //  BUT: if it's not presented in _parent  we have to check for inheritance
         //  That means that we should ensure that there's no components that are children of the required component
         switch (true) {
-            // In case when the component is available and exists in the scope
-            case this.components.includes(component) && this._components.has(component): {
-                return this._components.get(component);
+            // 1) In case when the component is available and exists in the scope
+            case this.allowedComponents.has(component) && this._components.has(component): {
+                return this._components.get(component)!;
             }
 
-            // In case the component available but does NOT exist in the scope
-            case this.components.includes(component) && !this._components.has(component): {
+            // 2) In case the component available but does NOT exist in the scope
+            case this.allowedComponents.has(component) && !this._components.has(component): {
                 const componentMeta = A_Context.meta(component)
 
                 const argsMeta = componentMeta.get(A_TYPES__ComponentMetaKey.INJECTIONS);
@@ -597,27 +856,27 @@ export class A_Scope {
                                 instructions
                             );
                         }
-                        return this.resolve(arg.target)
+                        // TODO: Fix types mismatch here
+                        return this.resolve<T>(arg.target as any);
                     });
 
                 const newComponent = new component(...resolvedArgs)
 
                 this.register(newComponent);
 
-                return this._components.get(component);
+                return this._components.get(component)!;
             }
 
-            // In case when there's a component that is inherited from the required component
-            case !this.components.includes(component) && this.components.some(el => A_CommonHelper.isInheritedFrom(el, component)): {
+            // 3) In case when there's a component that is inherited from the required component
+            case !this.allowedComponents.has(component) && Array.from(this.allowedComponents).some(el => A_CommonHelper.isInheritedFrom(el, component)): {
+                const found = Array.from(this.allowedComponents).find(el => A_CommonHelper.isInheritedFrom(el, component))!;
 
-                const found = this.components.find(el => A_CommonHelper.isInheritedFrom(el, component));
-
-                return this.resolveComponent<T>(found as any);
+                return this.resolveComponent(found);
             }
 
-            // In case when the component is not available in the scope but the _parent is available
-            case !this.components.includes(component) && !!this._parent: {
-                return this._parent.resolveComponent(component);
+            // 4) In case when the component is not available in the scope but the _parent is available
+            case !!this._parent: {
+                return this._parent.resolveComponent(component) as InstanceType<_ComponentType[number]>;
             }
 
             default:
@@ -626,120 +885,148 @@ export class A_Scope {
     }
 
 
-    /**
-     * Should be similar to resolveEntity but for commands
-     * 
-     * @param command 
-     */
-    private resolveCommand<T extends A_Command>(command: {
-        new(...args: any[]): T
-    }): T {
-        const commands = Array.from(this._commands.values());
-
-        const found = commands.find(e => e instanceof command);
-
-        switch (true) {
-            case !!found:
-                return found as T;
-
-            case !found && !!this._parent:
-                return this._parent.resolveCommand(command);
-
-            default:
-                throw new Error(`Command ${command.name} not found in the scope ${this.name}`);
-        }
-    }
-
-
-
     /**
      * This method is used to register the component in the scope
      * 
      * @param fragment 
      */
-    register<T extends A_Component>(component: new (...args: any[]) => T): void
-    register<T extends A_Entity>(entity: new (...args: any[]) => T): void
-    register<T extends A_Command>(command: new (...args: any[]) => T): void
-    register(entity: A_Entity): void
-    register(component: A_Component): void
-    register(fragment: A_Fragment): void
+    register<T extends A_Component>(
+        /**
+         * Provide a component constructor to register it in the scope
+         */
+        component: A_TYPES__Component_Constructor<T>
+    ): void
+    register(
+        /**
+         * Provide a command instance to register it in the scope
+         */
+        component: A_Component
+    ): void
+    register<T extends A_Error>(
+        /**
+         * Provide an error constructor to register it in the scope
+         */
+        error: A_TYPES__Error_Constructor<T>
+    ): void
+    register(
+        /**
+         * Provide an error instance to register it in the scope
+         */
+        error: A_Error
+    ): void
+    register<T extends A_Fragment>(
+        /**
+         * Provide a command instance to register it in the scope
+         */
+        fragment: A_TYPES__Fragment_Constructor<T>
+    ): void
+    register(
+        /**
+         * Provide a fragment instance to register it in the scope
+         */
+        fragment: A_Fragment
+    ): void
+    register<T extends A_Entity>(
+        /**
+         * Provide an entity constructor to register it in the scope
+         */
+        entity: A_TYPES__Entity_Constructor<T>
+    ): void
+    register(
+        /**
+         * Provide an entity instance to register it in the scope
+         */
+        entity: A_Entity
+    ): void
+
     register(
-        param1: A_Fragment
-            | A_Component
-            | A_Entity
-            | (new (...args: any[]) => A_Component)
-            | (new (...args: any[]) => A_Entity)
-            | (new (...args: any[]) => A_Command)
+        param1: unknown
     ): void {
         switch (true) {
-            case param1 instanceof A_Component && !this._components.has(param1.constructor): {
-                this._components.set(param1.constructor, param1);
+            // ------------------------------------------
+            // ------------ Instances ----------------
+            // ------------------------------------------
+            // 1) In case when it's a A-Component instance
+            case param1 instanceof A_Component: {
 
-                const allowedComponent = this.components.find(c => c === param1.constructor);
+                if (!this.allowedComponents.has(param1.constructor as _ComponentType[number]))
+                    this.allowedComponents.add(param1.constructor as _ComponentType[number]);
 
-                if (!allowedComponent) {
-                    this.components.push(param1.constructor as any);
-                }
+                this._components.set(
+                    param1.constructor as _ComponentType[number],
+                    param1 as InstanceType<_ComponentType[number]>
+                );
 
                 A_Context.register(this, param1);
-                break;
-            }
 
-            case param1 instanceof A_Entity && !this._entities.has(param1.aseid.toString()): {
-                this._entities.set(param1.aseid.toString(), param1);
-                A_Context.register(this, param1);
                 break;
             }
+            // 3) In case when it's a A-Entity instance
+            case param1 instanceof A_Entity && !this._entities.has(param1.aseid.toString()): {
 
-            case param1 instanceof A_Fragment && !this._fragments.has(param1.constructor): {
-                const allowedFragment = this.fragments.find(fr => fr instanceof param1.constructor);
-
-                if (!allowedFragment) {
-                    this.fragments.push(param1);
-                }
+                if (!this.allowedEntities.has(param1.constructor as _EntityType[number]))
+                    this.allowedEntities.add(param1.constructor as _EntityType[number]);
 
-                this._fragments.set(param1.constructor, param1);
+                this._entities.set(param1.aseid.toString(), param1 as InstanceType<_EntityType[number]>);
                 A_Context.register(this, param1);
                 break;
             }
+            // 4) In case when it's a A-Fragment instance
+            case param1 instanceof A_Fragment: {
 
-            case param1 instanceof A_Component: {
-                this._components.set(param1.constructor, param1);
-
-                const allowedComponent = this.components.find(c => c === param1.constructor);
+                if (!this.allowedFragments.has(param1.constructor as A_TYPES__Fragment_Constructor<_FragmentType[number]>))
+                    this.allowedFragments.add(param1.constructor as A_TYPES__Fragment_Constructor<_FragmentType[number]>);
 
-                if (!allowedComponent) {
-                    this.components.push(param1.constructor as any);
-                }
+                this._fragments.set(
+                    param1.constructor as A_TYPES__Fragment_Constructor<_FragmentType[number]>,
+                    param1 as _FragmentType[number]
+                );
 
                 A_Context.register(this, param1);
+
                 break;
             }
+            // 5) In case when it's a A-Error instance
+            case param1 instanceof A_Error: {
+                if (!this.allowedErrors.has(param1.constructor as _ErrorType[number]))
+                    this.allowedErrors.add(param1.constructor as _ErrorType[number]);
 
-            case typeof param1 === 'function' && A_CommonHelper.isInheritedFrom(param1, A_Component): {
-                const allowedComponent = this.components.find(c => c === param1);
-
-                if (!allowedComponent)
-                    this.components.push(param1);
+                // A_Context.register(this, param1);
                 break;
             }
-            case typeof param1 === 'function' && A_CommonHelper.isInheritedFrom(param1, A_Entity): {
-                const allowedEntity = this.params.entities.find(e => e.constructor === param1);
 
-                if (!allowedEntity) {
-                    this.params.entities.push(new (param1 as any)());
-                }
+            // ------------------------------------------
+            // ------------ Constructors ----------------
+            // ------------------------------------------
+            // 6) In case when it's a A-Component constructor
+            case A_TypeGuards.isComponentConstructor(param1): {
+                if (!this.allowedComponents.has(param1))
+                    this.allowedComponents.add(param1 as _ComponentType[number]);
                 break;
             }
-            case typeof param1 === 'function' && A_CommonHelper.isInheritedFrom(param1, A_Command): {
-                const allowedCommand = this.commands.find(c => c === param1);
-
-                if (!allowedCommand) {
-                    this.commands.push(param1 as any);
-                }
+            // 8) In case when it's a A-Fragment constructor
+            case A_TypeGuards.isFragmentConstructor(param1): {
+                if (!this.allowedFragments.has(param1))
+                    this.allowedFragments.add(param1 as A_TYPES__Fragment_Constructor<_FragmentType[number]>);
+                break;
+            }
+            // 9) In case when it's a A-Entity constructor
+            case A_TypeGuards.isEntityConstructor(param1): {
+                if (!this.allowedEntities.has(param1))
+                    this.allowedEntities.add(param1 as _EntityType[number]);
+                break;
+            }
+            // 10) In case when it's a A-Error constructor
+            case A_TypeGuards.isErrorConstructor(param1): {
+                if (!this.allowedErrors.has(param1))
+                    this.allowedErrors.add(param1 as _ErrorType[number]);
                 break;
             }
 
+            // ------------------------------------------
+            // ------------ Invalid Cases ----------------
+            // ------------------------------------------
+
             default:
                 if (param1 instanceof A_Entity)
                     throw new Error(`Entity with ASEID ${param1.aseid.toString()} is already registered in the scope ${this.name}`);
@@ -748,23 +1035,134 @@ export class A_Scope {
                 else
                     throw new Error(`Cannot register ${param1} in the scope ${this.name}`);
         }
+    }
+
 
 
 
+    /**
+     * This method is useful when you want to serialize the scope to JSON
+     * 
+     * [!] Note this is not a deep serialization, only the fragments are serialized
+     * [!] Fragments are a storage for information which is relevant to the scope
+     * 
+     * @returns 
+     */
+    toJSON(): Record<string, any> {
+        return this.fragments
+            .reduce((acc, fragment) => {
+
+                const serialized = fragment.toJSON()
+
+                return {
+                    ...acc,
+                    [serialized.name]: serialized
+                }
+            }, {});
     }
 
 
 
+    //==========================================================================
+    // --------------------Scope Type Check Helpers---------------------------
+    //==========================================================================
+    /**
+     * Type guard to check if the constructor is of type A_Component and is allowed in the scope
+     * 
+     * @param ctor 
+     * @returns 
+     */
+    protected isAllowedComponent(ctor: unknown): ctor is _ComponentType[number] {
+        return A_TypeGuards.isComponentConstructor(ctor) && this.allowedComponents.has(ctor);
+    }
+    /**
+     * Type guard to check if the constructor is of type A_Entity and is allowed in the scope
+     * 
+     * @param ctor 
+     * @returns 
+     */
+    protected isAllowedEntity(ctor: unknown): ctor is A_TYPES__Entity_Constructor<_EntityType[number]> {
+        return A_TypeGuards.isEntityConstructor(ctor) && this.allowedEntities.has(ctor);
+    }
+    /**
+     * Type guard to check if the constructor is of type A_Fragment and is allowed in the scope
+     * 
+     * @param ctor 
+     * @returns 
+     */
+    protected isAllowedFragment(ctor: unknown): ctor is A_TYPES__Fragment_Constructor<_FragmentType[number]> {
+        return A_TypeGuards.isFragmentConstructor(ctor) && this.allowedFragments.has(ctor);
+    }
+    /**
+     * Type guard to check if the constructor is of type A_Error and is allowed in the scope
+     * 
+     * @param ctor 
+     * @returns 
+     */
+    protected isAllowedError(ctor: unknown): ctor is A_TYPES__Error_Constructor<_ErrorType[number]> {
+        return A_TypeGuards.isErrorConstructor(ctor) && this.allowedErrors.has(ctor);
+    }
+
 
-    toJSON(): Record<string, any> {
-        return this.fragments.reduce((acc, fragment) => {
 
-            const serialized = fragment.toJSON()
 
-            return {
-                ...acc,
-                [serialized.name]: serialized
+    // ==========================================================================
+    // --------------------DEBUG & Helpers Methods--------------------------------
+    // ===========================================================================
+    /**
+     * This method is used to check if the scope is inherited from another scope
+     * 
+     * @param scope 
+     * @returns 
+     */
+    isInheritedFrom(scope: A_Scope): boolean {
+        let current: A_Scope | undefined = this;
+
+        while (current) {
+            if (current === scope) {
+                return true;
             }
-        }, {});
+            current = current._parent;
+        }
+
+        return false;
     }
-}
+
+    /**
+     * Helper method to check circular inheritance
+     * Should return a full sequence of inheritance for logging purposes
+     * 
+     * @param scope 
+     * @returns 
+     */
+    checkCircularInheritance(scope: A_Scope): Array<string> | false {
+        const inheritanceChain: Array<string> = [];
+        let current: A_Scope | undefined = this._parent;
+
+        while (current) {
+            inheritanceChain.push(current.name);
+            if (current === scope) {
+                return inheritanceChain;
+            }
+            current = current._parent;
+        }
+
+        return false;
+    }
+
+    /**
+     * Helper method to print the inheritance chain of the scope
+     */
+    printInheritanceChain(): void {
+        const chain: Array<string> = [];
+        let current: A_Scope | undefined = this;
+
+        while (current) {
+            chain.push(current.name);
+            current = current._parent;
+        }
+
+        console.log(chain.join(' -> '));
+    }
+}
+