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

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

внутрішня дія копіювати_памʼять<Т>(
  куди: памʼять<Т>,
  звідки: памʼять<Т>,
  кількість: природне
) {
  змінна п: природне = 0;

  поки п < кількість {
    куди[п] = звідки[п];

    п += 1;
  }
}

внутрішня дія заповнити_памʼять<Т>(
  куди: памʼять<Т>,
  значення: Т,
  кількість: природне
) {
  змінна п: природне = 0;

  поки п < кількість {
    куди[п] = значення;

    п += 1;
  }
}

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

  дія записати_дію_структури_Число__з(М: адреса<Машина>);

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

    записати_метод_структури_Число__чародія_число(М);
    записати_метод_структури_Число__чародія_текст(М);

    записати_дію_структури_Число__з(М);
  }

  дія предмет_числа_додати(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(значення + право.дані як р64);
    }

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

  дія предмет_числа_відняти(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(значення - право.дані як р64);
    }

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

  дія предмет_числа_помножити(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(значення * право.дані як р64);
    }

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

  дія предмет_числа_поділити(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(значення / право.дані як р64);
    }

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

  дія предмет_числа_остача(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(значення % право.дані як р64);
    }

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

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

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

  дія предмет_числа_вліво(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(р64(ц32(значення) << ц32(право.дані як р64)));
    }

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

  дія предмет_числа_вправо(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(р64(ц32(значення) >> ц32(право.дані як р64)));
    }

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

  дія предмет_числа_двійкове_і(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(р64(ц32(значення) & ц32(право.дані як р64)));
    }

    вернути МІСЦЕПАДІННЯ(М, створити_текст(М, "Виконати двійкове І можна лише між числами."), місцезнаходження);
  }

  дія предмет_числа_двійкове_або(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(р64(ц32(значення) | ц32(право.дані як р64)));
    }

    вернути МІСЦЕПАДІННЯ(М, створити_текст(М, "Виконати двійкове АБО можна лише між числами."), місцезнаходження);
  }

  дія предмет_числа_двійкове_вабо(
    М: адреса<Машина>,
    значення: р64,
    право: Значення,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    якщо право.вид == ЗЧисло {
      вернути ЧИСЛО(р64(ц32(значення) вабо ц32(право.дані як р64)));
    }

    вернути МІСЦЕПАДІННЯ(М, створити_текст(М, "Виконати двійкове ВАБО можна лише між числами."), місцезнаходження);
  }

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

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

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

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

  дія предмет_числа_двійкове_не(
    М: адреса<Машина>,
    значення: р64,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    вернути ЧИСЛО(р64(~ц32(значення)));
  }

  дія предмет_числа_змінити_знак(
    М: адреса<Машина>,
    значення: р64,
    місцезнаходження: Місцезнаходження
  ) -> ЗначенняАбоСтанПадіння {
    вернути ЧИСЛО(-значення);
  }

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

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

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