Лабораторная: Семантическое аннотирование и разбор zlib

1. Семантическое аннотирование кода задания B лабораторной 2 3
1.1. Условие задачи: 3
1.2. Таблица семантического аннотирования 3
1.3. Код задания В лабораторной 2 c указанием номеров строк. 4
1.4. Тестирование программы 5
2. Семантическое аннотирование фрагментов кода программной библиотеки zlib 6
2.1. Описание библиотеки: 6
2.2. Структура репозитория zlib 6
2.3. Таблица семантического аннотирования 7
Список использованных источников 9
ПРИЛОЖЕНИЕ А 10
ПРИЛОЖЕНИЕ Б 14
Семантическое аннотирование кода задания B лабораторной 2
Условие задачи:
Задание В. Написать циклическую программу для решения следующей задачи.
Вариант 13. Дано натуральное К. Напечатать К-ую цифру последовательности 12345678910111213…, в которой выписаны подряд все натуральные числа.
На основе списка программных приёмов и идиом [] для лабораторной 2 была проведена семантическая аннотация (см. таблица 1) задания.
Таблица семантического аннотирования
Таблица 1 – Таблица семантического аннотирования для лабораторной 2
Код задания В лабораторной 2 c указанием номеров строк.
#include
#include
using namespace std;
int main() {
int k; // Номер искомой цифры в последовательности
cout << "Введите натуральное число K: ";
cin >> k;
int digits = 1; // Количество цифр в числах текущего разряда
int count = 9; // Количество чисел в текущем разряде (9 одноразрядных, 90 двузначных и т. д.)
int totalDigits = 0; // Общее количество цифр, обработанных до текущего разряда
int powerOfTen = 1; // Значение 10^разряд (1, 10, 100, ...)
// Определяем, в каком разряде находится искомая цифра
while (k > totalDigits + digits * count) {
totalDigits += digits * count; // Увеличиваем общее количество цифр
digits++; // Переход к следующему разряду (двузначные, трехзначные и т. д.)
count *= 10; // Количество чисел в новом разряде (9 → 90 → 900 → 9000 ...)
powerOfTen *= 10; // Обновляем степень 10 (1, 10, 100, 1000 ...)
}
// Определяем конкретное число, в котором находится искомая цифра
int numberIndex = (k - totalDigits - 1) / digits; // Номер числа в текущем разряде
int number = powerOfTen + numberIndex; // Само число, содержащее искомую цифру
// Определяем позицию цифры внутри числа
int digitPosition = (k - totalDigits - 1) % digits;
string numberStr = to_string(number); // Преобразуем число в строку
// Выводим искомую цифру
cout << "Искомая цифра: " << numberStr[digitPosition] << endl;
return 0;
}
Семантическое аннотирование фрагментов кода программной библиотеки zlib
Описание библиотеки:
zlib — это кроссплатформенная библиотека сжатия данных без потерь, разработанная Jean-loup Gailly и Mark Adler. Она предоставляет функции для сжатия и распаковки данных в формате DEFLATE, который используется, в частности, в архивах gzip и формате PNG. zlib написана на языке C и имеет открытую лицензию. Библиотека широко используется в различных приложениях и операционных системах.
Актуальный источник кода zlib – это его официальный репозиторий, расположенный по адресу: https://github.com/madler/zlib
Репозиторий содержит всю историю изменений, а также последнюю версию кода.
Многие операционные системы (например, Linux, macOS) и дистрибутивы включают zlib в свой состав. В них исходный код zlib можно найти в пакетах разработчика или в репозиториях пакетов системы. Например, в Debian/Ubuntu можно установить пакет zlib1g-dev и исходный код будет расположен в каталогах, определенных системой (обычно /usr/include для заголовочных файлов и /usr/lib для библиотек). Точное местоположение может отличаться в зависимости от дистрибутива и настроек.
Структура репозитория zlib
В репозитории zlib вы обычно найдете следующие важные файлы и каталоги:
zlib.h. Заголовочный файл, содержащий определения функций, структур и констант, предоставляемых zlib. Включается в проект.
zconf.h. Заголовочный файл, содержащий конфигурационные параметры zlib. Для настройки поведения zlib.
.c файлы (например, deflate.c, inflate.c, zutil.c). Файлы с исходным кодом на языке C. Реализуют основные алгоритмы сжатия и распаковки, а также вспомогательные функции.
Makefile (или аналогичные файлы сборки для других систем). Файлы, используемые для сборки библиотеки zlib из исходного кода.
examples/. Каталог с примерами использования zlib.
test/. Каталог с тестами для проверки правильности работы zlib.
README, LICENSE. Файлы с информацией о zlib, включая текст лицензии.
Таблица семантического аннотирования
Таблица 2 – Таблица семантического аннотирования для файла deflate.cПоказать/скрыть дополнительное описание