Форум программистов, компьютерный форум CyberForum.ru
Наши страницы

Семантический анализтор - C++

Войти
Регистрация
Восстановить пароль
Другие темы раздела
C++ Рисуем граф на mfc http://www.cyberforum.ru/cpp/thread220619.html
Кто знает как рисовать линии со стрелками. Суть такова я с файл считываю матрцу смежности, и на основе ее соеденяю соответствующие вершинки. Но так как у меня граф ореентированый мне нужно указать...
C++ нужно написать програмки.... Пожалуйста помогите разобраться с программами на С++, завтра зачёт, а я всё сдал, осталось только С++, а в неё вообще ничего не знаю.....(((((....... Вариант № 1.8 Составить программу для... http://www.cyberforum.ru/cpp/thread220279.html
C++ Кэш.Функции
Многократно вызываемая функция может запоминать результаты последнего вычисления и если то что требуется она уже делала - то не пересчитывать еще раз, а выдать из ранее посчитанного? Это означает...
C++ Ошибка сегментации при освобождении памяти
Вот в упор не понимаю, почему программа вылетает уже на завершающем этапе. Пожалуйста, посмотрите, что не так // для тестирования #include <iostream> #include "vbytearray.h" using namespace...
C++ C++ Builder6 http://www.cyberforum.ru/cpp/thread219960.html
Текс т в файле: "Если душа родилась крылатой- Что ей хоромы- и что ей хаты" Используя функции обработки строковых и символьных переменных, соединить обе строки и выделить подстроку заключённую...
C++ IPconfig в С++ нужна информация протокол IPconfig в С++ пути реализации + мне надо что был там исходник чтобы увидеть как обращаеться подробнее

Показать сообщение отдельно
EVP
390 / 246 / 43
Регистрация: 14.12.2010
Сообщений: 472
26.12.2010, 23:50
После лексического и синтаксического анализаторов получаем на выходе абстрактное синтаксическое дерево (AST). Но в нём могут содержаться неправильные семантические выражения. В задачи семантического анализатора входит проверка и восстановление необходимой информации для последующих стадий обработки. Проверка имен идентификаторов и функций в соответствующих областях видимости, соответствия типов - всё это задачи семантического анализатора. Обычно, это третья фаза обработки исходного кода программы.

В твоём случае требуется восстановить лишь тип идентификатора (скорее всего переменной) по готовому синтаксическому дереву. Все бинарные операции разрешаются согласно правилам приведения типов (к большему типу), что на выходе даёт некоторый результирующий тип операции. Пробегая по всему синтаксическому дереву выражения, получаешь результирующий тип выражения. Присваивая значение выражения переменной, можно сравнить результирующий тип выражения с типом переменной (если он был задан) или восстановить тип переменной для дальнейшего анализа.

В задании сказано, грамматика арифметических выражений, но введены массивы (операция[]), структуры (операции '.' и '->'), что побочно ставит задачу учёта и имён идентификаторов переменных и их типов в семантическом анализаторе Ещё бы функции ввести, и тогда бы добавились области видимости переменных и перегрузки А так, одна область видимости и конкретное дерево выражения.

Может пригодится intuit.ru.
0
 
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru