@finos/legend-graph 0.1.3 → 0.2.2

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ExecutionPlanBuilder.ts

@@ -96,19 +96,45 @@ const parseDataType = (val: string): RelationalDataType => {
       return new Other();
     default: {
       if (val.match(/^VARCHAR\(\d+\)$/)) {
-        return new VarChar(getTypeParams(val)[0]);
+        return new VarChar(
+          guaranteeNonNullable(
+            getTypeParams(val)[0],
+            `VARCHAR type size is missing`,
+          ),
+        );
       } else if (val.match(/^CHAR\(\d+\)$/)) {
-        return new Char(getTypeParams(val)[0]);
+        return new Char(
+          guaranteeNonNullable(
+            getTypeParams(val)[0],
+            `VAR type size is missing`,
+          ),
+        );
       } else if (val.match(/^VARBINARY\(\d+\)$/)) {
-        return new VarBinary(getTypeParams(val)[0]);
+        return new VarBinary(
+          guaranteeNonNullable(
+            getTypeParams(val)[0],
+            `VARBINARY type size is missing`,
+          ),
+        );
       } else if (val.match(/^BINARY\(\d+\)$/)) {
-        return new Binary(getTypeParams(val)[0]);
+        return new Binary(
+          guaranteeNonNullable(
+            getTypeParams(val)[0],
+            `BINARY type size is missing`,
+          ),
+        );
       } else if (val.match(/^DECIMAL\(\d+\)$/)) {
         const params = getTypeParams(val);
-        return new Decimal(params[0], params[1]);
+        return new Decimal(
+          guaranteeNonNullable(params[0], `Decimal type precision is missing`),
+          guaranteeNonNullable(params[1], `Decimal type scale is missing`),
+        );
       } else if (val.match(/^NUMERIC\(\d+\)$/)) {
         const params = getTypeParams(val);
-        return new Numeric(params[0], params[1]);
+        return new Numeric(
+          guaranteeNonNullable(params[0], `Decimal type precision is missing`),
+          guaranteeNonNullable(params[1], `Decimal type scale is missing`),
+        );
       }
       throw new UnsupportedOperationError(`Can't parse data type '${val}'`);
     }

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_GraphBuilderContext.ts

@@ -21,6 +21,7 @@ import {
 import type { Log } from '@finos/legend-shared';
 import {
   uniq,
+  guaranteeNonNullable,
   assertNonEmptyString,
   guaranteeType,
 } from '@finos/legend-shared';
@@ -161,7 +162,7 @@ export class V1_GraphBuilderContext {
           isFullPath: true,
         };
       case 1:
-        return Array.from(results.values())[0];
+        return guaranteeNonNullable(Array.from(results.values())[0]);
       default:
         throw new GraphBuilderError(
           undefined,
@@ -350,7 +351,6 @@ export class V1_GraphBuilderContext {
     return EnumValueImplicitReference.create(ownerReference, value);
   };
 
-  /* @MARKER: NEW ELEMENT TYPE SUPPORT --- consider adding new element type handler here whenever support for a new element type is added to the app */
   resolveElement = (
     path: string,
     includePackage: boolean,

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ProtocolToMetaModelClassMappingFirstPassBuilder.ts

@@ -30,7 +30,10 @@ import { FlatDataInstanceSetImplementation } from '../../../../../../metamodels/
 import { RootRelationalInstanceSetImplementation } from '../../../../../../metamodels/pure/packageableElements/store/relational/mapping/RootRelationalInstanceSetImplementation';
 import { InferableMappingElementRootExplicitValue } from '../../../../../../metamodels/pure/packageableElements/mapping/InferableMappingElementRoot';
 import type { V1_GraphBuilderContext } from '../../../transformation/pureGraph/to/V1_GraphBuilderContext';
-import type { V1_ClassMappingVisitor } from '../../../model/packageableElements/mapping/V1_ClassMapping';
+import type {
+  V1_ClassMappingVisitor,
+  V1_ClassMapping,
+} from '../../../model/packageableElements/mapping/V1_ClassMapping';
 import type { V1_OperationClassMapping } from '../../../model/packageableElements/mapping/V1_OperationClassMapping';
 import type { V1_PureInstanceClassMapping } from '../../../model/packageableElements/store/modelToModel/mapping/V1_PureInstanceClassMapping';
 import type { V1_RelationalClassMapping } from '../../../model/packageableElements/store/relational/mapping/V1_RelationalClassMapping';
@@ -44,6 +47,7 @@ import { V1_buildAggregateContainer } from './helpers/V1_AggregationAwareClassMa
 import { V1_resolvePathsInRawLambda } from './helpers/V1_ValueSpecificationPathResolver';
 import { V1_buildRelationalMappingFilter } from './helpers/V1_RelationalClassMappingBuilderHelper';
 import { toOptionalPackageableElementReference } from '../../../../../../metamodels/pure/packageableElements/PackageableElementReference';
+import type { DSLMapping_PureProtocolProcessorPlugin_Extension } from '../../../../DSLMapping_PureProtocolProcessorPlugin_Extension';
 
 export class V1_ProtocolToMetaModelClassMappingFirstPassBuilder
   implements V1_ClassMappingVisitor<SetImplementation>
@@ -56,6 +60,29 @@ export class V1_ProtocolToMetaModelClassMappingFirstPassBuilder
     this.parent = parent;
   }
 
+  visit_ClassMapping(classMapping: V1_ClassMapping): SetImplementation {
+    const extraClassMappingBuilders = this.context.extensions.plugins.flatMap(
+      (plugin) =>
+        (
+          plugin as DSLMapping_PureProtocolProcessorPlugin_Extension
+        ).V1_getExtraClassMappingFirstPassBuilders?.() ?? [],
+    );
+    for (const builder of extraClassMappingBuilders) {
+      const extraClassMapping = builder(
+        classMapping,
+        this.context,
+        this.parent,
+      );
+      if (extraClassMapping) {
+        return extraClassMapping;
+      }
+    }
+    throw new UnsupportedOperationError(
+      `Can't build new class mapping: no compatible builder available from plugins`,
+      classMapping,
+    );
+  }
+
   visit_OperationClassMapping(
     classMapping: V1_OperationClassMapping,
   ): SetImplementation {

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ProtocolToMetaModelClassMappingSecondPassBuilder.ts

@@ -22,6 +22,7 @@ import {
   guaranteeType,
   assertNonEmptyString,
   assertTrue,
+  guaranteeNonNullable,
 } from '@finos/legend-shared';
 import { GRAPH_MANAGER_LOG_EVENT } from '../../../../../../../graphManager/GraphManagerLogEvent';
 import type { Mapping } from '../../../../../../metamodels/pure/packageableElements/mapping/Mapping';
@@ -43,7 +44,10 @@ import {
   V1_buildRelationalClassMapping,
   V1_buildRelationalPrimaryKey,
 } from './helpers/V1_RelationalClassMappingBuilderHelper';
-import type { V1_ClassMappingVisitor } from '../../../model/packageableElements/mapping/V1_ClassMapping';
+import type {
+  V1_ClassMappingVisitor,
+  V1_ClassMapping,
+} from '../../../model/packageableElements/mapping/V1_ClassMapping';
 import type { V1_OperationClassMapping } from '../../../model/packageableElements/mapping/V1_OperationClassMapping';
 import type { V1_PureInstanceClassMapping } from '../../../model/packageableElements/store/modelToModel/mapping/V1_PureInstanceClassMapping';
 import type { V1_RelationalClassMapping } from '../../../model/packageableElements/store/relational/mapping/V1_RelationalClassMapping';
@@ -61,6 +65,7 @@ import {
   getAllEnumerationMappings,
   getOwnClassMappingById,
 } from '../../../../../../../helpers/MappingHelper';
+import type { DSLMapping_PureProtocolProcessorPlugin_Extension } from '../../../../DSLMapping_PureProtocolProcessorPlugin_Extension';
 
 export class V1_ProtocolToMetaModelClassMappingSecondPassBuilder
   implements V1_ClassMappingVisitor<void>
@@ -73,6 +78,18 @@ export class V1_ProtocolToMetaModelClassMappingSecondPassBuilder
     this.parent = parent;
   }
 
+  visit_ClassMapping(classMapping: V1_ClassMapping): void {
+    const extraClassMappingBuilders = this.context.extensions.plugins.flatMap(
+      (plugin) =>
+        (
+          plugin as DSLMapping_PureProtocolProcessorPlugin_Extension
+        ).V1_getExtraClassMappingSecondPassBuilders?.() ?? [],
+    );
+    for (const builder of extraClassMappingBuilders) {
+      builder(classMapping, this.context, this.parent);
+    }
+  }
+
   visit_OperationClassMapping(classMapping: V1_OperationClassMapping): void {
     assertNonEmptyString(
       classMapping.class,
@@ -138,7 +155,7 @@ export class V1_ProtocolToMetaModelClassMappingSecondPassBuilder
             this.context,
             pureInstanceSetImplementation,
             pureInstanceSetImplementation,
-            this.parent.enumerationMappings,
+            getAllEnumerationMappings(this.parent),
           ),
         ),
       ) as PurePropertyMapping[];
@@ -254,7 +271,9 @@ export class V1_ProtocolToMetaModelClassMappingSecondPassBuilder
       );
       mainTableAlias = new TableAlias();
       mainTableAlias.name = '';
-      mainTableAlias.relation = Array.from(tables.values())[0];
+      mainTableAlias.relation = guaranteeNonNullable(
+        Array.from(tables.values())[0],
+      );
       mainTableAlias.database = Array.from(dbs.values())[0];
       rootRelationalInstanceSetImplementation.mainTableAlias = mainTableAlias;
     }
@@ -299,7 +318,7 @@ export class V1_ProtocolToMetaModelClassMappingSecondPassBuilder
             this.context,
             aggragetionAwareInstanceSetImplementation,
             aggragetionAwareInstanceSetImplementation,
-            this.parent.enumerationMappings,
+            getAllEnumerationMappings(this.parent),
             new Map<string, TableAlias>(),
             [
               ...getAllClassMappings(mapping),

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ProtocolToMetaModelConnectionBuilder.ts

@@ -83,7 +83,7 @@ export class V1_ProtocolToMetaModelConnectionBuilder
       }
     }
     throw new UnsupportedOperationError(
-      `Can't build new connection: no compatible builder available from plugins`,
+      `Can't build connection: no compatible builder available from plugins`,
       connection,
     );
   }
@@ -105,7 +105,7 @@ export class V1_ProtocolToMetaModelConnectionBuilder
       assertType(
         this.embeddedConnectionStore.value,
         ModelStore,
-        `Embedded Model chain connection store must be 'ModelStore'`,
+        `Embedded model chain connection store must be 'ModelStore'`,
       );
     } else {
       assertTrue(

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ProtocolToMetaModelGraphFifthPassBuilder.ts

@@ -40,7 +40,6 @@ import type { V1_GenerationSpecification } from '../../../model/packageableEleme
 import type { V1_Measure } from '../../../model/packageableElements/domain/V1_Measure';
 import { V1_buildDatabaseSchemaViewsSecondPass } from './helpers/V1_DatabaseBuilderHelper';
 import type { V1_SectionIndex } from '../../../model/packageableElements/section/V1_SectionIndex';
-import type { V1_ServiceStore } from '../../../model/packageableElements/store/relational/V1_ServiceStore';
 
 export class V1_ProtocolToMetaModelGraphFifthPassBuilder
   implements V1_PackageableElementVisitor<void>
@@ -107,12 +106,6 @@ export class V1_ProtocolToMetaModelGraphFifthPassBuilder
     );
   }
 
-  visit_ServiceStore(element: V1_ServiceStore): void {
-    this.context.graph.getServiceStore(
-      this.context.graph.buildPath(element.package, element.name),
-    );
-  }
-
   visit_Mapping(element: V1_Mapping): void {
     throw new UnsupportedOperationError();
   }

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ProtocolToMetaModelGraphFirstPassBuilder.ts

@@ -28,7 +28,6 @@ import { Association } from '../../../../../../metamodels/pure/packageableElemen
 import { ConcreteFunctionDefinition } from '../../../../../../metamodels/pure/packageableElements/domain/ConcreteFunctionDefinition';
 import { FlatData } from '../../../../../../metamodels/pure/packageableElements/store/flatData/model/FlatData';
 import { Database } from '../../../../../../metamodels/pure/packageableElements/store/relational/model/Database';
-import { ServiceStore } from '../../../../../../metamodels/pure/packageableElements/store/relational/model/ServiceStore';
 import { Mapping } from '../../../../../../metamodels/pure/packageableElements/mapping/Mapping';
 import { Service } from '../../../../../../metamodels/pure/packageableElements/service/Service';
 import { FileGenerationSpecification } from '../../../../../../metamodels/pure/packageableElements/fileGeneration/FileGenerationSpecification';
@@ -57,7 +56,6 @@ import type { V1_PackageableConnection } from '../../../model/packageableElement
 import type { V1_FileGenerationSpecification } from '../../../model/packageableElements/fileGeneration/V1_FileGenerationSpecification';
 import type { V1_Measure } from '../../../model/packageableElements/domain/V1_Measure';
 import type { V1_SectionIndex } from '../../../model/packageableElements/section/V1_SectionIndex';
-import type { V1_ServiceStore } from '../../../model/packageableElements/store/relational/V1_ServiceStore';
 
 export class V1_ProtocolToMetaModelGraphFirstPassBuilder
   implements V1_PackageableElementVisitor<PackageableElement>
@@ -308,31 +306,6 @@ export class V1_ProtocolToMetaModelGraphFirstPassBuilder
     return database;
   }
 
-  visit_ServiceStore(element: V1_ServiceStore): PackageableElement {
-    assertNonEmptyString(
-      element.package,
-      `Service store 'package' field is missing or empty`,
-    );
-    assertNonEmptyString(
-      element.name,
-      `Service store 'name' field is missing or empty`,
-    );
-    const serviceStore = new ServiceStore(element.name);
-    const path = this.context.currentSubGraph.buildPath(
-      element.package,
-      element.name,
-    );
-    assertTrue(
-      !this.context.graph.getNullableElement(path),
-      `Element '${path}' already exists`,
-    );
-    this.context.currentSubGraph
-      .getOrCreatePackage(element.package)
-      .addElement(serviceStore);
-    this.context.currentSubGraph.setOwnStore(path, serviceStore);
-    return serviceStore;
-  }
-
   visit_Mapping(element: V1_Mapping): PackageableElement {
     assertNonEmptyString(
       element.package,

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ProtocolToMetaModelGraphFourthPassBuilder.ts

@@ -44,7 +44,6 @@ import {
   V1_buildDatabaseFilter,
 } from './helpers/V1_DatabaseBuilderHelper';
 import type { V1_SectionIndex } from '../../../model/packageableElements/section/V1_SectionIndex';
-import type { V1_ServiceStore } from '../../../model/packageableElements/store/relational/V1_ServiceStore';
 import { V1_buildAssociationMapping } from './helpers/V1_AssociationMappingHelper';
 
 export class V1_ProtocolToMetaModelGraphFourthPassBuilder
@@ -108,12 +107,6 @@ export class V1_ProtocolToMetaModelGraphFourthPassBuilder
     );
   }
 
-  visit_ServiceStore(element: V1_ServiceStore): void {
-    this.context.graph.getServiceStore(
-      this.context.graph.buildPath(element.package, element.name),
-    );
-  }
-
   visit_Mapping(element: V1_Mapping): void {
     const path = this.context.graph.buildPath(element.package, element.name);
     const mapping = this.context.graph.getMapping(path);

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ProtocolToMetaModelGraphSecondPassBuilder.ts

@@ -73,7 +73,6 @@ import {
 import type { V1_Measure } from '../../../model/packageableElements/domain/V1_Measure';
 import type { V1_SectionIndex } from '../../../model/packageableElements/section/V1_SectionIndex';
 import { V1_buildSection } from '../../../transformation/pureGraph/to/helpers/V1_SectionBuilderHelper';
-import type { V1_ServiceStore } from '../../../model/packageableElements/store/relational/V1_ServiceStore';
 
 export class V1_ProtocolToMetaModelGraphSecondPassBuilder
   implements V1_PackageableElementVisitor<void>
@@ -216,18 +215,6 @@ export class V1_ProtocolToMetaModelGraphSecondPassBuilder
     );
   }
 
-  visit_ServiceStore(element: V1_ServiceStore): void {
-    assertNonEmptyString(
-      element.docLink,
-      `Service store 'docLink' field is missing`,
-    );
-    const serviceStore = this.context.graph.getServiceStore(
-      this.context.graph.buildPath(element.package, element.name),
-    );
-    // TODO includedStores
-    serviceStore.docLink = element.docLink;
-  }
-
   visit_Mapping(element: V1_Mapping): void {
     const mapping = this.context.graph.getMapping(
       this.context.graph.buildPath(element.package, element.name),

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ProtocolToMetaModelGraphThirdPassBuilder.ts

@@ -19,6 +19,7 @@ import {
   assertTrue,
   isNonNullable,
   assertErrorThrown,
+  guaranteeNonNullable,
 } from '@finos/legend-shared';
 import { CORE_ELEMENT_PATH } from '../../../../../../../MetaModelConst';
 import { Class } from '../../../../../../metamodels/pure/packageableElements/domain/Class';
@@ -50,7 +51,6 @@ import type { V1_GenerationSpecification } from '../../../model/packageableEleme
 import type { V1_Measure } from '../../../model/packageableElements/domain/V1_Measure';
 import { V1_buildDatabaseSchemaViewsFirstPass } from '../../../transformation/pureGraph/to/helpers/V1_DatabaseBuilderHelper';
 import type { V1_SectionIndex } from '../../../model/packageableElements/section/V1_SectionIndex';
-import type { V1_ServiceStore } from '../../../model/packageableElements/store/relational/V1_ServiceStore';
 import { GraphBuilderError } from '../../../../../../../graphManager/GraphManagerUtils';
 
 export class V1_ProtocolToMetaModelGraphThirdPassBuilder
@@ -118,8 +118,8 @@ export class V1_ProtocolToMetaModelGraphThirdPassBuilder
     const association = this.context.graph.getAssociation(
       this.context.graph.buildPath(element.package, element.name),
     );
-    const first = element.properties[0];
-    const second = element.properties[1];
+    const first = guaranteeNonNullable(element.properties[0]);
+    const second = guaranteeNonNullable(element.properties[1]);
     association.setProperties([
       V1_buildAssociationProperty(first, second, this.context, association),
       V1_buildAssociationProperty(second, first, this.context, association),
@@ -157,12 +157,6 @@ export class V1_ProtocolToMetaModelGraphThirdPassBuilder
     );
   }
 
-  visit_ServiceStore(element: V1_ServiceStore): void {
-    this.context.graph.getServiceStore(
-      this.context.graph.buildPath(element.package, element.name),
-    );
-  }
-
   visit_Mapping(element: V1_Mapping): void {
     const path = this.context.graph.buildPath(element.package, element.name);
     const mapping = this.context.graph.getMapping(path);

package/src/models/protocols/pure/v1/transformation/pureGraph/to/V1_ProtocolToMetaModelPropertyMappingBuilder.ts

@@ -40,10 +40,7 @@ import { InferableMappingElementIdExplicitValue } from '../../../../../../metamo
 import type { PackageableElementReference } from '../../../../../../metamodels/pure/packageableElements/PackageableElementReference';
 import { PackageableElementImplicitReference } from '../../../../../../metamodels/pure/packageableElements/PackageableElementReference';
 import type { PropertyReference } from '../../../../../../metamodels/pure/packageableElements/domain/PropertyReference';
-import {
-  PropertyImplicitReference,
-  PropertyExplicitReference,
-} from '../../../../../../metamodels/pure/packageableElements/domain/PropertyReference';
+import { PropertyImplicitReference } from '../../../../../../metamodels/pure/packageableElements/domain/PropertyReference';
 import { RootRelationalInstanceSetImplementation } from '../../../../../../metamodels/pure/packageableElements/store/relational/mapping/RootRelationalInstanceSetImplementation';
 import { OtherwiseEmbeddedRelationalInstanceSetImplementation } from '../../../../../../metamodels/pure/packageableElements/store/relational/mapping/OtherwiseEmbeddedRelationalInstanceSetImplementation';
 import { EmbeddedRelationalInstanceSetImplementation } from '../../../../../../metamodels/pure/packageableElements/store/relational/mapping/EmbeddedRelationalInstanceSetImplementation';
@@ -80,6 +77,7 @@ import {
 import { V1_transformRelationalOperationElement } from '../from/V1_DatabaseTransformer';
 import { V1_GraphTransformerContextBuilder } from '../from/V1_GraphTransformerContext';
 import {
+  getAllEnumerationMappings,
   getClassMappingById,
   getClassMappingsByClass,
 } from '../../../../../../../helpers/MappingHelper';
@@ -638,7 +636,9 @@ export class V1_ProtocolToMetaModelPropertyMappingBuilder
             this.context,
             embedded,
             this.topParent,
-            this.topParent?.parent.enumerationMappings ?? [],
+            this.topParent?.parent
+              ? getAllEnumerationMappings(this.topParent.parent)
+              : [],
             this.tableAliasMap,
           ),
         ),
@@ -696,7 +696,9 @@ export class V1_ProtocolToMetaModelPropertyMappingBuilder
             this.context,
             otherwiseEmbedded,
             this.topParent,
-            this.topParent?.parent.enumerationMappings ?? [],
+            this.topParent?.parent
+              ? getAllEnumerationMappings(this.topParent.parent)
+              : [],
             this.tableAliasMap,
           ),
         ),
@@ -707,7 +709,9 @@ export class V1_ProtocolToMetaModelPropertyMappingBuilder
           this.context,
           otherwiseEmbedded,
           this.topParent,
-          this.topParent?.parent.enumerationMappings ?? [],
+          this.topParent?.parent
+            ? getAllEnumerationMappings(this.topParent.parent)
+            : [],
           this.tableAliasMap,
         ),
       ),
@@ -750,10 +754,13 @@ export class V1_ProtocolToMetaModelPropertyMappingBuilder
     );
     const xStorePropertyMapping = new XStorePropertyMapping(
       xStoreParent,
-      // NOTE: this should be `implicit` because this comes from an association
-      // that we should have inferred. But we need to test the impact of changing it to `implicit`.
-      // This might cause bugs in the future.
-      PropertyExplicitReference.create(property),
+      PropertyImplicitReference.create(
+        PackageableElementImplicitReference.create(
+          _association,
+          protocol.property.class,
+        ),
+        property,
+      ),
       guaranteeNonNullable(sourceSetImplementation),
       targetSetImplementation,
     );

package/src/models/protocols/pure/v1/transformation/pureGraph/to/helpers/V1_AssociationMappingHelper.ts

@@ -27,6 +27,7 @@ import { V1_ProtocolToMetaModelPropertyMappingBuilder } from '../../../../transf
 import type { V1_AssociationMapping } from '../../../../model/packageableElements/mapping/V1_AssociationMapping';
 import { V1_XStoreAssociationMapping } from '../../../../model/packageableElements/mapping/xStore/V1_XStoreAssociationMapping';
 import { XStoreAssociationImplementation } from '../../../../../../../metamodels/pure/packageableElements/mapping/xStore/XStoreAssociationImplementation';
+import { getAllEnumerationMappings } from '../../../../../../../../helpers/MappingHelper';
 
 const getInferredAssociationMappingId = (
   _association: Association,
@@ -63,7 +64,7 @@ const buildRelationalAssociationMapping = (
           context,
           relationalAssociationImplementation,
           undefined,
-          parentMapping.enumerationMappings,
+          getAllEnumerationMappings(parentMapping),
           undefined,
           allClassMappings,
         ),
@@ -96,7 +97,7 @@ const buildXStoreAssociationMapping = (
           context,
           xStoreAssociationImplementation,
           undefined,
-          parentMapping.enumerationMappings,
+          getAllEnumerationMappings(parentMapping),
           undefined,
           allClassMappings,
           xStoreAssociationImplementation,

package/src/models/protocols/pure/v1/transformation/pureGraph/to/helpers/V1_DatabaseBuilderHelper.ts

@@ -218,7 +218,10 @@ const buildJoinTreeNode = (
   joins: { joinReference: JoinReference; joinType?: JoinType | undefined }[],
   context: V1_GraphBuilderContext,
 ): JoinTreeNode => {
-  const joinWithJoinType = joins[0];
+  const joinWithJoinType = guaranteeNonNullable(
+    joins[0],
+    `Can't build join tree node: at least one child node is expected`,
+  );
   const res = new JoinTreeNode(
     joinWithJoinType.joinReference,
     joinWithJoinType.joinType,
@@ -599,7 +602,7 @@ export const V1_buildDatabaseJoin = (
       selfJoinTargets.length !== 0,
       `Can't build join of 1 table, unless it is a self-join. Please use the '{target}' notation in order to define a directed self-join`,
     );
-    const existingAlias = aliases[0];
+    const existingAlias = aliases[0] as TableAlias;
     const existingAliasName = existingAlias.name;
     const existingRelationalElement = existingAlias.relation;
     const tableAlias = new TableAlias();
@@ -628,8 +631,14 @@ export const V1_buildDatabaseJoin = (
     });
   }
   join.aliases = [
-    new Pair<TableAlias, TableAlias>(aliases[0], aliases[1]),
-    new Pair<TableAlias, TableAlias>(aliases[1], aliases[0]),
+    new Pair<TableAlias, TableAlias>(
+      aliases[0] as TableAlias,
+      aliases[1] as TableAlias,
+    ),
+    new Pair<TableAlias, TableAlias>(
+      aliases[1] as TableAlias,
+      aliases[0] as TableAlias,
+    ),
   ];
   join.owner = database;
   return join;

package/src/models/protocols/pure/v1/transformation/pureGraph/to/helpers/V1_MappingBuilderHelper.ts

@@ -303,7 +303,9 @@ export const V1_resolveClassMappingRoot = (mapping: Mapping): void => {
   Array.from(classToSetImplMap.entries()).forEach((entries) => {
     const _classMappings = entries[1];
     if (_classMappings.size === 1) {
-      const classMapping = Array.from(_classMappings.values())[0];
+      const classMapping = Array.from(
+        _classMappings.values(),
+      )[0] as SetImplementation;
       // ensure you are only altering current mapping
       if (
         classMapping.root.value === false &&

package/src/models/protocols/pure/v1/transformation/pureGraph/to/helpers/V1_ProcessingContext.ts

@@ -43,20 +43,24 @@ export class V1_ProcessingContext {
     return this.tags;
   }
 
-  getLastInferredVariableList(): Map<string, ValueSpecification> {
-    return this.inferredVariableList[this.inferredVariableList.length - 1];
+  private get lastInferredVariableList():
+    | Map<string, ValueSpecification>
+    | undefined {
+    return this.inferredVariableList.length
+      ? this.inferredVariableList[this.inferredVariableList.length - 1]
+      : undefined;
   }
 
   addInferredVariables(name: string, variable: ValueSpecification): void {
     if (!this.inferredVariableList.length) {
       this.addVariableToNewLevel(name, variable);
     } else {
-      this.getLastInferredVariableList().set(name, variable);
+      this.lastInferredVariableList?.set(name, variable);
     }
   }
 
   flushVariable(name: string): void {
-    this.getLastInferredVariableList().delete(name);
+    this.lastInferredVariableList?.delete(name);
   }
 
   removeLastVariableLevel(): void {

package/src/models/protocols/pure/v1/transformation/pureGraph/to/helpers/V1_ValueSpecificationBuilderHelper.ts

@@ -203,7 +203,7 @@ export class V1_ValueSpecificationBuilder
       `Applying function '${appliedFunction.function}'`,
     );
     if (appliedFunction.function === LET_FUNCTION) {
-      const vs = appliedFunction.parameters.map((expression) =>
+      const parameters = appliedFunction.parameters.map((expression) =>
         expression.accept_ValueSpecificationVisitor(
           new V1_ValueSpecificationBuilder(
             this.context,
@@ -212,11 +212,16 @@ export class V1_ValueSpecificationBuilder
           ),
         ),
       );
-      const letName = guaranteeType(appliedFunction.parameters[0], V1_CString)
-        .values[0];
-      const ve = new VariableExpression(letName, vs[0].multiplicity);
-      ve.genericType = vs[0].genericType;
-      this.processingContext.addInferredVariables(letName, ve);
+      const letName = guaranteeNonNullable(
+        guaranteeType(appliedFunction.parameters[0], V1_CString).values[0],
+      );
+      const firstParam = guaranteeNonNullable(parameters[0]);
+      const variableExpression = new VariableExpression(
+        letName,
+        firstParam.multiplicity,
+      );
+      variableExpression.genericType = firstParam.genericType;
+      this.processingContext.addInferredVariables(letName, variableExpression);
     }
     const func = V1_buildFunctionExpression(
       appliedFunction.function,
@@ -598,7 +603,7 @@ export function V1_buildLambdaBody(
       ) as VariableExpression,
   );
   const openVariables: string[] = [];
-  const valueSpecifications = expressions.map((e) =>
+  const _expressions = expressions.map((e) =>
     e.accept_ValueSpecificationVisitor(
       new V1_ValueSpecificationBuilder(
         context,
@@ -608,15 +613,16 @@ export function V1_buildLambdaBody(
     ),
   );
   // Remove let variables
+  const firstExpression = guaranteeNonNullable(_expressions[0]);
   const functionType = buildFunctionType(
     pureParameters,
-    valueSpecifications[0].genericType?.value.rawType,
-    valueSpecifications[0].multiplicity,
+    firstExpression.genericType?.value.rawType,
+    firstExpression.multiplicity,
   );
   processingContext.pop();
   const _lambda = new LambdaFunction(functionType);
   _lambda.openVariables = [];
-  _lambda.expressionSequence = valueSpecifications;
+  _lambda.expressionSequence = _expressions;
   return _lambda;
 }
 
@@ -836,7 +842,7 @@ export function V1_processProperty(
       ),
     ),
   );
-  let inferredVariable: ValueSpecification;
+  let inferredVariable: ValueSpecification | undefined;
   if (firstParameter instanceof V1_Variable) {
     inferredVariable = guaranteeType(
       processingContext.getInferredVariable(firstParameter.name),
@@ -846,7 +852,7 @@ export function V1_processProperty(
     inferredVariable = processedParameters[0];
   }
   let inferredType: Type | undefined =
-    inferredVariable.genericType?.value.rawType;
+    inferredVariable?.genericType?.value.rawType;
   if (inferredVariable instanceof AbstractPropertyExpression) {
     inferredType = inferredVariable.func.genericType.value.rawType;
   }