@bitloops/bl-transpiler/lib/esm/__tests__/end-to-end/semantics/mocks/symbol-table/symbol-table.js

The one and only Bitloops Language transpiler

/**
 *  Bitloops Language CLI
 *  Copyright (C) 2022 Bitloops S.A.
 *
 *  This program is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program.  If not, see <https://www.gnu.org/licenses/>.
 *
 *  For further information you can contact legal(at)bitloops.com.
 */
import { ClassTypeParameterSymbolEntry, ClassTypeThisSymbolEntry, IntegrationEventParameterSymbolEntry, MemberDotSymbolEntry, MethodCallSymbolEntry, ParameterSymbolEntry, ValueObjectEvaluationSymbolEntry, VariableSymbolEntry, } from '../../../../../src/semantic-analysis/type-inference/SymbolEntry.js';
import { SymbolTableManager } from '../../../../../src/semantic-analysis/type-inference/SymbolTableManager.js';
import { bitloopsPrimitivesObj } from '../../../../../src/types.js';
import { FileUtil } from '../../../../../src/utils/file.js';
import { SymbolTableBuilder } from '../../../builder/SymbolTableBuilder.js';
const METADATA_TYPE = '{ context: { jwt: string; userId: string } }';
const CONTEXT_TYPE = '{ jwt: string; userId: string }';
const SCOPE_NAMES = SymbolTableManager.SCOPE_NAMES;
export const SYMBOL_TABLE_TEST_CASES = [
    {
        description: 'Should create symbol table for command handler',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/command-handler-if.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/semantic-errors/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('WithdrawMoneyCommandHandler', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('WithdrawMoneyCommandHandler'))
            .insert('this.integrationEventBus', new ClassTypeParameterSymbolEntry('IntegrationEventBusPort'))
            .insert('this.accountRepo', new ClassTypeParameterSymbolEntry('AccountWriteRepoPort'))
            .insertChildScope('execute', new SymbolTableBuilder()
            .insert('command', new ParameterSymbolEntry('WithdrawMoneyCommand'))
            .insert('command.accountId', new MemberDotSymbolEntry('string'))
            .insert('command.amount', new MemberDotSymbolEntry('int32'))
            .insert('command.metadata', new MemberDotSymbolEntry(METADATA_TYPE))
            .insert('command.metadata.context', new MemberDotSymbolEntry(CONTEXT_TYPE))
            .insert('command.metadata.context.jwt', new MemberDotSymbolEntry('string'))
            .insert('command.metadata.context.userId', new MemberDotSymbolEntry('string'))
            .insertVariableSymbolEntry('accountId', 'UUIDv4', true)
            .insert('this.accountRepo.getById()', new MethodCallSymbolEntry('(OK(AccountEntity), Errors(UnexpectedError))'))
            .insert('this.accountRepo.getById().ifError()', new MethodCallSymbolEntry('AccountEntity'))
            .insertChildScope('ifError0', new SymbolTableBuilder())
            .insertVariableSymbolEntry('accountEntity', 'AccountEntity', true)
            .insertChildScope('if0', new SymbolTableBuilder().insertVariableSymbolEntry('result', 'string', true))
            .insertVariableSymbolEntry('result', 'string', true)
            .insert('accountEntity.withdrawAmount()', new MethodCallSymbolEntry('(OK(void), Errors(DomainErrors.InvalidMonetaryValueError))'))
            .insert('this.accountRepo.update()', new MethodCallSymbolEntry('(OK(void), Errors(UnexpectedError))'))
            .insert('this.accountRepo.update().ifError()', new MethodCallSymbolEntry('void'))
            .insertChildScope('ifError1', new SymbolTableBuilder().insert('err', new ParameterSymbolEntry('UnexpectedError')))))
            .insertChildScope('AccountWriteRepoPort', new SymbolTableBuilder())
            .insertChildScope('AccountProps', new SymbolTableBuilder())
            .insertChildScope('WithdrawMoneyCommand', new SymbolTableBuilder())
            .insertChildScope('AccountEntity', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('AccountEntity'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('AccountProps')))
            .insertChildScope('withdrawAmount', new SymbolTableBuilder().insert('amount', new ParameterSymbolEntry('int32'))))
            .build(),
    },
    {
        description: 'Should create symbol table for command handler with 2 ifs',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/command-handler-two-if.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/semantic-errors/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('WithdrawMoneyCommandHandler', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('WithdrawMoneyCommandHandler'))
            .insert('this.integrationEventBus', new ClassTypeParameterSymbolEntry('IntegrationEventBusPort'))
            .insert('this.accountRepo', new ClassTypeParameterSymbolEntry('AccountWriteRepoPort'))
            .insertChildScope('execute', new SymbolTableBuilder()
            .insert('command', new ParameterSymbolEntry('WithdrawMoneyCommand'))
            .insert('command.accountId', new MemberDotSymbolEntry('string'))
            .insert('command.amount', new MemberDotSymbolEntry('int32'))
            .insert('command.metadata', new MemberDotSymbolEntry(METADATA_TYPE))
            .insert('command.metadata.context', new MemberDotSymbolEntry(CONTEXT_TYPE))
            .insert('command.metadata.context.jwt', new MemberDotSymbolEntry('string'))
            .insert('command.metadata.context.userId', new MemberDotSymbolEntry('string'))
            .insertVariableSymbolEntry('accountId', 'UUIDv4', true)
            .insert('this.accountRepo.getById()', new MethodCallSymbolEntry('(OK(AccountEntity), Errors(UnexpectedError))'))
            .insert('this.accountRepo.getById().ifError()', new MethodCallSymbolEntry('AccountEntity'))
            .insertChildScope('ifError0', new SymbolTableBuilder().insert('err', new ParameterSymbolEntry('UnexpectedError')))
            .insertVariableSymbolEntry('accountEntity', 'AccountEntity', true)
            .insertChildScope('if0', new SymbolTableBuilder().insertVariableSymbolEntry('result', 'string', true))
            .insertChildScope('if1', new SymbolTableBuilder().insertVariableSymbolEntry('message', 'string', true))
            .insertVariableSymbolEntry('result', 'string', true)
            .insert('accountEntity.withdrawAmount()', new MethodCallSymbolEntry('(OK(void), Errors(DomainErrors.InvalidMonetaryValueError))'))
            .insert('this.accountRepo.update()', new MethodCallSymbolEntry('(OK(void), Errors(UnexpectedError))'))
            .insert('this.accountRepo.update().ifError()', new MethodCallSymbolEntry('void'))
            .insertChildScope('ifError1', new SymbolTableBuilder())))
            .insertChildScope('AccountWriteRepoPort', new SymbolTableBuilder())
            .insertChildScope('AccountProps', new SymbolTableBuilder())
            .insertChildScope('WithdrawMoneyCommand', new SymbolTableBuilder())
            .insertChildScope('AccountEntity', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('AccountEntity'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('AccountProps')))
            .insertChildScope('withdrawAmount', new SymbolTableBuilder().insert('amount', new ParameterSymbolEntry('int32'))))
            .build(),
    },
    {
        description: 'Should create symbol table for command handler with switch',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/command-handler-switch.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/semantic-errors/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('WithdrawMoneyCommandHandler', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('WithdrawMoneyCommandHandler'))
            .insert('this.integrationEventBus', new ClassTypeParameterSymbolEntry('IntegrationEventBusPort'))
            .insert('this.accountRepo', new ClassTypeParameterSymbolEntry('AccountWriteRepoPort'))
            .insertChildScope('execute', new SymbolTableBuilder()
            .insert('command', new ParameterSymbolEntry('WithdrawMoneyCommand'))
            .insert('command.accountId', new MemberDotSymbolEntry('string'))
            .insert('command.amount', new MemberDotSymbolEntry('int32'))
            .insert('command.metadata', new MemberDotSymbolEntry(METADATA_TYPE))
            .insert('command.metadata.context', new MemberDotSymbolEntry(CONTEXT_TYPE))
            .insert('command.metadata.context.jwt', new MemberDotSymbolEntry('string'))
            .insert('command.metadata.context.userId', new MemberDotSymbolEntry('string'))
            .insertVariableSymbolEntry('accountId', 'UUIDv4', true)
            .insert('this.accountRepo.getById()', new MethodCallSymbolEntry('(OK(AccountEntity), Errors(UnexpectedError))'))
            .insert('this.accountRepo.getById().ifError()', new MethodCallSymbolEntry('AccountEntity'))
            .insertChildScope('ifError0', new SymbolTableBuilder())
            .insertVariableSymbolEntry('accountEntity', 'AccountEntity', true)
            .insertChildScope('if0', new SymbolTableBuilder().insertVariableSymbolEntry('result', 'string', true))
            .insertVariableSymbolEntry('animal', 'string', true)
            .insertChildScope('switch0', new SymbolTableBuilder()
            .insertChildScope('case0', new SymbolTableBuilder())
            .insertChildScope('default', new SymbolTableBuilder()))
            .insert('accountEntity.withdrawAmount()', new MethodCallSymbolEntry('(OK(void), Errors(DomainErrors.InvalidMonetaryValueError))'))))
            .insertChildScope('AccountWriteRepoPort', new SymbolTableBuilder())
            .insertChildScope('AccountProps', new SymbolTableBuilder())
            .insertChildScope('WithdrawMoneyCommand', new SymbolTableBuilder())
            .insertChildScope('AccountEntity', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('AccountEntity'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('AccountProps')))
            .insertChildScope('withdrawAmount', new SymbolTableBuilder().insert('amount', new ParameterSymbolEntry('int32'))))
            .build(),
    },
    {
        description: 'Should create symbol table for query handler with if/else',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/query-handler-with-else.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/semantic-errors/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('GetAccountQueryHandler', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('GetAccountQueryHandler'))
            .insert('this.integrationEventBus', new ClassTypeParameterSymbolEntry('IntegrationEventBusPort'))
            .insert('this.accountRepo', new ClassTypeParameterSymbolEntry('AccountReadRepoPort'))
            .insertChildScope('execute', new SymbolTableBuilder()
            .insert('query', new ParameterSymbolEntry('GetAccountQuery'))
            .insert('query.accountId', new MemberDotSymbolEntry('string'))
            .insert('query.metadata', new MemberDotSymbolEntry(METADATA_TYPE))
            .insert('query.metadata.context', new MemberDotSymbolEntry(CONTEXT_TYPE))
            .insert('query.metadata.context.jwt', new MemberDotSymbolEntry('string'))
            .insert('query.metadata.context.userId', new MemberDotSymbolEntry('string'))
            .insertVariableSymbolEntry('requestId', 'string', true)
            .insert('this.accountRepo.getById()', new MethodCallSymbolEntry('(OK(AccountReadModel), Errors(UnexpectedError))'))
            .insertVariableSymbolEntry('account', '(OK(AccountReadModel), Errors(UnexpectedError))', true)
            .insertChildScope('if0', new SymbolTableBuilder())
            .insertChildScope('else0', new SymbolTableBuilder())))
            .insertChildScope('AccountReadRepoPort', new SymbolTableBuilder())
            .insertChildScope('GetAccountQuery', new SymbolTableBuilder())
            .build(),
    },
    {
        description: 'Should create symbol table for entity',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/entity.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/semantic-errors/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('TodoEntity', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('TodoEntity'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder()
            .insert('props', new ParameterSymbolEntry('TodoProps'))
            .insertVariableSymbolEntry('todo', 'TodoEntity', false)
            .insert('props.id', new MemberDotSymbolEntry('UUIDv4'))
            .insertVariableSymbolEntry('isNew', 'bool', true)
            .insertChildScope('if0', new SymbolTableBuilder()
            .insert('todo.id', new MemberDotSymbolEntry('UUIDv4'))
            .insert('todo.id.toString()', new MethodCallSymbolEntry('string'))
            .insert('todo.title', new MemberDotSymbolEntry('TitleVO'))
            .insert('todo.title.title', new MemberDotSymbolEntry('string'))
            .insert('todo.completed', new MemberDotSymbolEntry('bool'))
            .insertVariableSymbolEntry('event', 'TodoAddedDomainEvent', true)
            .insert('todo.addDomainEvent()', new MethodCallSymbolEntry('void'))))
            .insertChildScope('complete', new SymbolTableBuilder()
            .insert('this.completed', new MemberDotSymbolEntry('bool'))
            .insert('this.id', new MemberDotSymbolEntry('UUIDv4'))
            .insert('this.id.toString()', new MethodCallSymbolEntry('string'))
            .insert('this.title', new MemberDotSymbolEntry('TitleVO'))
            .insert('this.title.title', new MemberDotSymbolEntry('string'))
            .insertVariableSymbolEntry('event', 'TodoCompletedDomainEvent', true)
            .insert('this.addDomainEvent()', new MethodCallSymbolEntry('void')))
            .insertChildScope('isCompleted', new SymbolTableBuilder()
            .insert('this.completed', new MemberDotSymbolEntry('bool'))
            .insertVariableSymbolEntry('a', 'bool', true)))
            .insertChildScope('TitleProps', new SymbolTableBuilder())
            .insertChildScope('TodoProps', new SymbolTableBuilder())
            .insertChildScope('TitleVO', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('TitleVO'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('TitleProps'))))
            .build(),
    },
    {
        description: 'Should create symbol table for value object',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/valueObject.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/semantic-errors/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('TitleVO', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('TitleVO'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder()
            .insert('props.title', new MemberDotSymbolEntry('string'))
            .insert('props', new ParameterSymbolEntry('TitleProps'))))
            .insertChildScope('TitleProps', new SymbolTableBuilder())
            .build(),
    },
    {
        description: 'Should create symbol table for domain event handler',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/domain-event-handler.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/semantic-errors/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('SendEmailAfterMoneyDepositedDomainEventHandler', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('SendEmailAfterMoneyDepositedDomainEventHandler'))
            .insert('this.commandBus', new ClassTypeParameterSymbolEntry('CommandBusPort'))
            .insert('this.queryBus', new ClassTypeParameterSymbolEntry('QueryBusPort'))
            .insert('this.customerService', new ClassTypeParameterSymbolEntry('CustomerServicePort'))
            .insertChildScope('handle', new SymbolTableBuilder()
            .insert('event', new ParameterSymbolEntry('DepositsIncrementedDomainEvent'))
            .insert('event.customerId', new MemberDotSymbolEntry('string'))
            .insert('event.amount', new MemberDotSymbolEntry('float'))
            .insert('event.metadata', new MemberDotSymbolEntry(METADATA_TYPE))
            .insert('event.metadata.context', new MemberDotSymbolEntry(CONTEXT_TYPE))
            .insert('event.metadata.context.userId', new MemberDotSymbolEntry('string'))
            .insert('event.metadata.context.jwt', new MemberDotSymbolEntry('string'))
            .insertVariableSymbolEntry('command', 'SendEmailCommand', true)
            .insert('this.commandBus.publish()', new MethodCallSymbolEntry('void'))))
            .insertChildScope('DepositsIncrementedDomainEvent', new SymbolTableBuilder())
            .build(),
    },
    {
        description: 'Should create symbol table for integration event handler',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/integration-event-handler.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('MoneyDepositedIntegrationEventHandler', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('MoneyDepositedIntegrationEventHandler'))
            .insert('this.commandBus', new ClassTypeParameterSymbolEntry('CommandBusPort'))
            .insert('this.queryBus', new ClassTypeParameterSymbolEntry('QueryBusPort'))
            .insertChildScope('handle', new SymbolTableBuilder()
            .insert('event', new IntegrationEventParameterSymbolEntry('MoneyDepositedIntegrationEvent', {
            boundedContext: 'Hello world',
            module: 'demo',
            eventVersion: 'v1',
        }))
            .insert('event.accountId', new MemberDotSymbolEntry('string'))
            .insertVariableSymbolEntry('accountId', 'string', true)
            .insertVariableSymbolEntry('command', 'IncrementDepositsCommand', true)
            .insert('this.commandBus.publish()', new MethodCallSymbolEntry('void'))))
            .insertChildScope('IntegrationMoneyDepositedSchemaV1', new SymbolTableBuilder())
            .insertChildScope('MoneyDepositedIntegrationEvent', new SymbolTableBuilder()
            .insert('event', new ClassTypeParameterSymbolEntry('MoneyDepositedDomainEvent'))
            .insertChildScope('v1', new SymbolTableBuilder()))
            .build(),
    },
    {
        description: 'Should create symbol table for domain service',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/domain-service.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('MarketingNotificationDomainService', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('MarketingNotificationDomainService'))
            .insert('this.notificationTemplateRepo', new ClassTypeParameterSymbolEntry('NotificationTemplateReadRepoPort'))
            .insertChildScope('getNotificationTemplateToBeSent', new SymbolTableBuilder()
            .insert('user', new ParameterSymbolEntry('UserEntity'))
            .insertVariableSymbolEntry('emailOrigin', bitloopsPrimitivesObj.string, true)
            .insertVariableSymbolEntry('notificationTemplate', 'NotificationTemplateReadModel', false)
            .insert('user.isFirstTodo()', new MethodCallSymbolEntry(bitloopsPrimitivesObj.bool))
            .insertChildScope('if0', new SymbolTableBuilder()
            .insert('this.notificationTemplateRepo.getByType()', new MethodCallSymbolEntry('(OK(NotificationTemplateReadModel), Errors())'))
            .insert('this.notificationTemplateRepo.getByType().ifError()', new MethodCallSymbolEntry('NotificationTemplateReadModel'))
            .insertChildScope('ifError0', new SymbolTableBuilder())
            .insertVariableSymbolEntry('notificationTemplateResponse', 'NotificationTemplateReadModel', true))
            .insertChildScope('else0', new SymbolTableBuilder())))
            .insertChildScope('NotificationTemplateReadRepoPort', new SymbolTableBuilder())
            .insertChildScope('UserEntity', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('UserEntity'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('UserProps')))
            .insertChildScope('isFirstTodo', new SymbolTableBuilder()))
            .build(),
    },
    {
        description: 'Should create symbol table for domain rule',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/rule.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('ValidEmailRule', new SymbolTableBuilder()
            .insert('email', new ParameterSymbolEntry(bitloopsPrimitivesObj.string))
            .insertVariableSymbolEntry('re', bitloopsPrimitivesObj.regex, true)
            .insert('re.test()', new MethodCallSymbolEntry(bitloopsPrimitivesObj.bool)))
            .build(),
    },
    {
        description: 'Should create symbol table for integration event',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/integration-event.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('TodoCompletedIntegrationEvent', new SymbolTableBuilder()
            .insert('event', new ClassTypeParameterSymbolEntry('TodoCompletedDomainEvent'))
            .insertChildScope('v1', new SymbolTableBuilder()
            .insertVariableSymbolEntry('todoCompleted', 'IntegrationTodoCompletedSchemaV1', true)
            .insert('event.aggregateId', new MemberDotSymbolEntry('string'))
            .insert('event.userId', new MemberDotSymbolEntry('string'))))
            .insertChildScope('TodoCompletedDomainEvent', new SymbolTableBuilder())
            .build(),
    },
    {
        description: 'Should create symbol table for rule with logical operators',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/rule-with-logical-operators.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('ValidNameRule', new SymbolTableBuilder()
            .insert('name', new ParameterSymbolEntry(bitloopsPrimitivesObj.string))
            .insert('name.length', new MemberDotSymbolEntry(bitloopsPrimitivesObj.int32)))
            .build(),
    },
    {
        description: 'Should create symbol table for domain service with 2 methodCalls in a row',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/domain-service-2-method-calls.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('MarketingNotificationDomainService', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('MarketingNotificationDomainService'))
            .insert('this.notificationTemplateRepo', new ClassTypeParameterSymbolEntry('NotificationTemplateReadRepoPort'))
            .insertChildScope('geEmailToBeSent', new SymbolTableBuilder()
            .insert('user', new ParameterSymbolEntry('UserEntity'))
            .insert('user.getEmail()', new MethodCallSymbolEntry('EmailEntity'))
            .insert('user.getEmail().getAddress()', new MethodCallSymbolEntry('string'))
            .insertVariableSymbolEntry('emailOrigin', bitloopsPrimitivesObj.string, true)))
            .insertChildScope('NotificationTemplateReadRepoPort', new SymbolTableBuilder())
            .insertChildScope('UserEntity', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('UserEntity'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('UserProps')))
            .insertChildScope('getEmail', new SymbolTableBuilder().insert('num', new ParameterSymbolEntry('int32'))))
            .insertChildScope('EmailEntity', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('EmailEntity'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('EmailProps')))
            .insertChildScope('getAddress', new SymbolTableBuilder()))
            .build(),
    },
    {
        description: 'Should create symbol table for domain service with 2 methodCalls in a row and left is ifError',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/domain-service-2-method-calls-if-error.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('MarketingNotificationDomainService', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('MarketingNotificationDomainService'))
            .insert('this.notificationTemplateRepo', new ClassTypeParameterSymbolEntry('NotificationTemplateReadRepoPort'))
            .insertChildScope('geEmailToBeSent', new SymbolTableBuilder()
            .insert('user', new ParameterSymbolEntry('UserEntity'))
            .insert('user.getEmail()', new MethodCallSymbolEntry('(OK(EmailEntity), Errors())'))
            .insert('user.getEmail().ifError()', new MethodCallSymbolEntry('EmailEntity'))
            .insertChildScope('ifError0', new SymbolTableBuilder())
            .insert('userEmail', new VariableSymbolEntry('EmailEntity', true))
            .insert('userEmail.getAddress()', new MethodCallSymbolEntry(bitloopsPrimitivesObj.string))
            .insert('emailAddress', new VariableSymbolEntry(bitloopsPrimitivesObj.string, true))))
            .insertChildScope('NotificationTemplateReadRepoPort', new SymbolTableBuilder())
            .insertChildScope('UserEntity', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('UserEntity'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('UserProps')))
            .insertChildScope('getEmail', new SymbolTableBuilder().insert('num', new ParameterSymbolEntry('int32'))))
            .insertChildScope('EmailEntity', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('EmailEntity'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('EmailProps')))
            .insertChildScope('getAddress', new SymbolTableBuilder()))
            .build(),
    },
    {
        description: 'Should create symbol table for value object evaluation',
        inputCore: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/valueObject-evaluation.bl'),
        inputSetup: FileUtil.readFileString('transpiler/__tests__/end-to-end/semantics/mocks/semantic-errors/setup.bl'),
        expectedSymbolTable: new SymbolTableBuilder()
            .insertChildScope('AddTodoCommand', new SymbolTableBuilder())
            .insertChildScope('TitleVO', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('TitleVO'))
            .insertChildScope(SCOPE_NAMES.DOMAIN_CREATE, new SymbolTableBuilder()
            .insert('props', new ParameterSymbolEntry('TitleProps'))
            .insert('props.title', new MemberDotSymbolEntry('string'))))
            .insertChildScope('TitleProps', new SymbolTableBuilder())
            .insertChildScope('AddTodoCommandHandler', new SymbolTableBuilder()
            .insert('this', new ClassTypeThisSymbolEntry('AddTodoCommandHandler'))
            .insert('this.integrationEventBus', new ClassTypeParameterSymbolEntry('IntegrationEventBusPort'))
            .insertChildScope('execute', new SymbolTableBuilder()
            .insert('command', new ParameterSymbolEntry('AddTodoCommand'))
            .insert('command.title', new MemberDotSymbolEntry('string'))
            .insert('command.metadata', new MemberDotSymbolEntry(METADATA_TYPE))
            .insert('command.metadata.context', new MemberDotSymbolEntry(CONTEXT_TYPE))
            .insert('command.metadata.context.jwt', new MemberDotSymbolEntry('string'))
            .insert('command.metadata.context.userId', new MemberDotSymbolEntry('string'))
            .insert('titlevo', new VariableSymbolEntry('TitleVO', true))
            .insert('TitleVO.create()', new ValueObjectEvaluationSymbolEntry('(OK(TitleVO), Errors(DomainErrors.TitleOutOfBoundsError))'))
            .insert('TitleVO.create().ifError()', new MethodCallSymbolEntry('TitleVO'))
            .insertChildScope('ifError0', new SymbolTableBuilder())))
            .build(),
    },
    // {
    //   description: 'Should create symbol table for command handler using static method',
    //   inputCore: FileUtil.readFileString(
    //     'transpiler/__tests__/end-to-end/semantics/mocks/symbol-table/command-handler-static-method.bl',
    //   ),
    //   inputSetup: FileUtil.readFileString(
    //     'transpiler/__tests__/end-to-end/semantics/mocks/semantic-errors/setup.bl',
    //   ),
    //   expectedSymbolTable: new SymbolTableBuilder()
    //     .insertChildScope(
    //       'WithdrawMoneyCommandHandler',
    //       new SymbolTableBuilder()
    //         .insert('this', new ClassTypeThisSymbolEntry('WithdrawMoneyCommandHandler'))
    //         .insert(
    //           'this.integrationEventBus',
    //           new ClassTypeParameterSymbolEntry('IntegrationEventBusPort'),
    //         )
    //         .insert('this.accountRepo', new ClassTypeParameterSymbolEntry('AccountWriteRepoPort'))
    //         .insertChildScope(
    //           'execute',
    //           new SymbolTableBuilder()
    //             .insert('command', new ParameterSymbolEntry('WithdrawMoneyCommand'))
    //             .insert('command.accountId', new MemberDotSymbolEntry('string'))
    //             .insert('command.amount', new MemberDotSymbolEntry('int32'))
    //             .insert('command.metadata', new MemberDotSymbolEntry(METADATA_TYPE))
    //             .insert('command.metadata.context', new MemberDotSymbolEntry(CONTEXT_TYPE))
    //             .insert('command.metadata.context.jwt', new MemberDotSymbolEntry('string'))
    //             .insert('command.metadata.context.userId', new MemberDotSymbolEntry('string'))
    //             .insertVariableSymbolEntry('accountEntity', 'AccountEntity', true),
    //         ),
    //     )
    //     .insertChildScope('AccountWriteRepoPort', new SymbolTableBuilder())
    //     .insertChildScope('AccountProps', new SymbolTableBuilder())
    //     .insertChildScope('WithdrawMoneyCommand', new SymbolTableBuilder())
    //     .insertChildScope(
    //       'AccountEntity',
    //       new SymbolTableBuilder()
    //         .insert('this', new ClassTypeThisSymbolEntry('AccountEntity'))
    //         .insertChildScope(
    //           SCOPE_NAMES.DOMAIN_CREATE,
    //           new SymbolTableBuilder().insert('props', new ParameterSymbolEntry('AccountProps')),
    //         )
    //         .insertChildScope(
    //           'withdrawAmount',
    //           new SymbolTableBuilder().insert('amount', new ParameterSymbolEntry('int32')),
    //         ),
    //     )
    //     .build(),
    // },
];
//# sourceMappingURL=symbol-table.js.map