// 2025-2026 Богданович Давид Когут Прихожденко (кдб.дійсність.укр)

взяти означення мавка/машина;

простір мавка {
  дія записати_метод_структури_Дані__чародія_перебір(М: адреса<Машина>);

  дія заповнити_структуру_Дані(
    М: адреса<Машина>
  ) {
    М.предмет_структури_Дані.заборонити_наслідування = так;

    записати_метод_структури_Дані__чародія_перебір(М);
  }

  дія створити_дані(
    М: адреса<Машина>,
    розмір: природне,
    дані: памʼять<п8>
  ) -> адреса<ПредметДаних> {
    змінна предмет = виділити_предмет<ПредметДаних>(М, М.предмет_структури_Дані);
    змінна копія_даних = виділити_памʼять<п8>(М, розмір);

    змінна п: природне = 0;
    поки п < розмір {
      копія_даних[п] = дані[п];
      п += 1;
    }

    предмет.розмір = розмір;
    предмет.дані = копія_даних;

    вернути предмет;
  }

  дія створити_дані_без_копіювання(
    М: адреса<Машина>,
    розмір: природне,
    дані: памʼять<п8>
  ) -> адреса<ПредметДаних> {
    змінна предмет = виділити_предмет<ПредметДаних>(М, М.предмет_структури_Дані);

    предмет.розмір = розмір;
    предмет.дані = дані;

    вернути предмет;
  }

  дія предмет_даних_отримати_властивість(
    М: адреса<Машина>,
    предмет_даних: адреса<ПредметДаних>,
    назва: адреса<ПредметТексту>,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    змінна предмет_методу = знайти_метод_в_структурі(
      М,
      М.предмет_структури_Дані,
      назва
    );

    якщо предмет_методу == пусто {
      вернути НЕДІЙСНЕ;
    }

    вернути МАШИННИЙ_ПРЕДМЕТ(предмет_методу);
  }

  дія предмет_даних_отримати_елемент(
    М: адреса<Машина>,
    предмет_даних: адреса<ПредметДаних>,
    ключ: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо ключ.вид != ЗЧисло {
      вернути МІСЦЕПАДІННЯ(М, створити_текст(М, "Ключ для отримання елемента даних має бути числом."), місцезнаходження);
    }

    змінна позиція = природне(ключ.дані як р64);

    якщо позиція >= предмет_даних.розмір {
      вернути МІСЦЕПАДІННЯ(М, створити_текст(М, "Позиція для отримання елемента даних виходить за межі."), місцезнаходження);
    }

    вернути ЧИСЛО(р64(предмет_даних.дані[позиція]));
  }

  дія предмет_даних_змінити_елемент(
    М: адреса<Машина>,
    предмет_даних: адреса<ПредметДаних>,
    ключ: Значення,
    значення: Значення,
    місцезнаходження: Місцезнаходження
  ) -> СтанПадіння {
    якщо ключ.вид != ЗЧисло {
      МІСЦЕПАДІННЯ(М, створити_текст(М, "Ключ для зміни елемента даних має бути числом."), місцезнаходження);
      вернути;
    }

    якщо значення.вид != ЗЧисло {
      МІСЦЕПАДІННЯ(М, створити_текст(М, "Значення для зміни елемента даних має бути числом."), місцезнаходження);
      вернути;
    }

    змінна позиція = природне(ключ.дані як р64);

    якщо позиція >= предмет_даних.розмір {
      МІСЦЕПАДІННЯ(М, створити_текст(М, "Позиція для зміни елемента даних виходить за межі."), місцезнаходження);
      вернути;
    }

    предмет_даних.дані[позиція] = п8(значення.дані як р64);
  }
}