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

взяти визначення мавка/бібліотека;
взяти визначення мавка/пристрій;

простір мавка {
  простір бібліотека {
    структура АргументОбробника {
      М: *Машина;
      дані_шляху_ю8: *п8;
      шлях_ю8_треба_звільнити: логічне;
      як_текст: логічне;
      відклик: *Притриманий;
    }

    внутрішня дія обробник_прочитання(дані: *п8, розмір: природне, помилка: природне, аргумент: адреса) {
      змінна аю8 = аргумент як *АргументОбробника;
      змінна М = аю8.М;
      змінна як_текст = аю8.як_текст;
      змінна предмет_відклика = аю8.відклик.предмет;

      відпустити_притриманий_глобально(М, аю8.відклик);
      якщо аю8.шлях_ю8_треба_звільнити {
        звільнити(М, аю8.дані_шляху_ю8);
      }
      звільнити(М, аргумент);

      змінна інформація_падіння: ІнформаціяПадіння;

      змінна кількість_задіяних = п32(2);
      змінна дані_задіяних = виділити<Значення>(М, природне(кількість_задіяних));

      якщо як_текст {
        дані_задіяних[0] = ПРЕДМЕТ(створити_текст_без_копіювання(
          М,
          розмір,
          дані,
        ));
      } інакше {
        дані_задіяних[0] = ПРЕДМЕТ(створити_дані_без_копіювання(
          М,
          розмір,
          дані,
        ));
      }
      дані_задіяних[1] = НЕДІЙСНЕ;

      якщо помилка != 0 {
        дані_задіяних[1] = ПРЕДМЕТ(створити_текст(
          М,
          "не вдалось прочитати"
        ));
      }

      здійснити(
        М,
        НЕДІЙСНЕ,
        ПРЕДМЕТ(предмет_відклика),
        Задіяні { ВидЗадіяних2, кількість_задіяних, дані_задіяних, 0 },
        МІСЦЕю8(М, ю8"вм://бібліотека/афс/прочитати.ц", 0),
      );
      якщо отримати_інформацію_падіння(М, інформація_падіння::адреса) {
        якщо М.налаштування.обробник_падінь == пусто {
          ЗАПАНІКУВАТИ(М, "необроблене падіння!");
        } інакше {
          вимкнути_стан_падіння(М);

          М.налаштування.обробник_падінь(
            М,
            інформація_падіння
          );
        }
      }
    }

    внутрішня дія рідна_дія__прочитати(
      М: *Машина,
      діяльність: *Діяльність
    ) -> ЗначенняАбоСтанПадіння {
      змінна задіяне_тип = НЕДІЙСНЕ;
      змінна знайдено_задіяне_тип = ні;
      змінна задіяне_шлях = НЕДІЙСНЕ;
      змінна знайдено_задіяне_шлях = ні;
      змінна задіяне_відклик = НЕДІЙСНЕ;
      змінна знайдено_задіяне_відклик = ні;

      знайдено_задіяне_тип = знайти_задіяне(М, діяльність.задіяні, 0, М.константи_назв._тип, задіяне_тип::адреса);
      знайдено_задіяне_шлях = знайти_задіяне(М, діяльність.задіяні, 1, М.константи_назв._шлях, задіяне_шлях::адреса);
      знайдено_задіяне_відклик = знайти_задіяне(М, діяльність.задіяні, 2, М.константи_назв._відклик, задіяне_відклик::адреса);

      якщо не знайдено_задіяне_шлях {
        вернути ПАДІННЯ(М, створити_текст(М, "Задіяне \"шлях\" має бути текстом або даними."));
      }

      змінна як_текст = ні;
      якщо знайдено_задіяне_тип {
        якщо задіяне_тип.вид == ЗПредмет {
          змінна предмет = задіяне_тип.дані як *Предмет;

          якщо предмет == М.клас_Текст {
            як_текст = так;
          } інакше якщо предмет == М.клас_Дані {
            як_текст = ні;
          } інакше {
            вернути ПАДІННЯ(М, створити_текст(М, "Задіяне \"тип\" має бути структурою тексту або даних."));
          }
        } інакше {
          вернути ПАДІННЯ(М, створити_текст(М, "Задіяне \"тип\" має бути структурою тексту або даних."));
        }
      }

      змінна шлях_ю8 = ю8 { пусто, 0 };
      змінна шлях_ю8_треба_звільнити = ні;

      якщо задіяне_шлях.вид == ЗПредмет {
        змінна предмет = задіяне_шлях.дані як *Предмет;

        якщо предмет.клас == М.клас_Текст {
          змінна предмет_тексту = предмет як *ПредметТексту;
          змінна позиція_помилки: природне = 0;

          якщо не пристрій_мавки_перекодувати_кд_в_ю8(
            предмет_тексту.значення.розмір,
            предмет_тексту.значення.дані,
            шлях_ю8.розмір::адреса,
            шлях_ю8.дані::адреса,
            позиція_помилки::адреса
          ) {
            вернути ПАДІННЯ(М, створити_текст(М, "Не вдалося перекодувати \"шлях\" в юнікод."));
          }
        } інакше якщо предмет.клас == М.клас_Дані {
          змінна предмет_даних = предмет як *ПредметДаних;

          шлях_ю8.розмір = предмет_даних.розмір;
          шлях_ю8.дані = предмет_даних.дані;
        } інакше {
          вернути ПАДІННЯ(М, створити_текст(М, "Задіяне \"шлях\" має бути текстом або даними."));
        }
      } інакше {
        вернути ПАДІННЯ(М, створити_текст(М, "Задіяне \"шлях\" має бути текстом або даними."));
      }

      якщо задіяне_відклик.вид != ЗПредмет {
        вернути ПАДІННЯ(М, створити_текст(М, "Задіяне \"відклик\" має бути дією."));
      }

      змінна предмет_відклика = задіяне_відклик.дані як *Предмет;

      якщо предмет_відклика.клас != М.клас_Дія {
        вернути ПАДІННЯ(М, створити_текст(М, "Задіяне \"відклик\" має бути дією."));
      }


      змінна ав = виділити<АргументОбробника>(М, 1);
      ав.М = М;
      ав.дані_шляху_ю8 = шлях_ю8.дані;
      ав.шлях_ю8_треба_звільнити = шлях_ю8_треба_звільнити;
      ав.як_текст = як_текст;
      ав.відклик = притримати_глобально(М, предмет_відклика);

      бібліотека_мавки_афс_прочитати(
        шлях_ю8.дані,
        шлях_ю8.розмір,
        обробник_прочитання,
        ав,
      );

      вернути НЕДІЙСНЕ;
    }

    дія записати_дію__афс__прочитати(
      М: *Машина,
      предмет_модуля: *ПредметМодуля
    ) {
      змінна кількість_параметрів = природне(3);
      змінна дані_параметрів = виділити<Значення>(М, кількість_параметрів);

      дані_параметрів[0] = ПРЕДМЕТ(створити_параметр(
        М,
        М.константи_назв._тип,
        пусто,
        НЕДІЙСНЕ
      ));
      дані_параметрів[1] = ПРЕДМЕТ(створити_параметр(
        М,
        М.константи_назв._шлях,
        пусто,
        НЕДІЙСНЕ
      ));
      дані_параметрів[2] = ПРЕДМЕТ(створити_параметр(
        М,
        М.константи_назв._відклик,
        пусто,
        НЕДІЙСНЕ
      ));

      змінна д = створити_рідну_дію(
        М,
        М.константи_назв._прочитати,
        створити_послідовність_без_копіювання(
          М,
          кількість_параметрів,
          дані_параметрів
        ),
        пусто,
        рідна_дія__прочитати,
        пусто
      );

      записати_властивість_модуля(
        М,
        предмет_модуля,
        М.константи_назв._прочитати,
        ПРЕДМЕТ(д)
      );
    }
  }
}