OberonCore https://forum.oberoncore.ru/ |
|
Темы и посты по структ. редакторам в др. форумах OberonCore https://forum.oberoncore.ru/viewtopic.php?f=93&t=3137 |
Страница 1 из 1 |
Автор: | Сергей Прохоренко [ Понедельник, 10 Январь, 2011 00:09 ] |
Заголовок сообщения: | Темы и посты по структ. редакторам в др. форумах OberonCore |
Ссылки на темы по структурным редакторам в других форумах OberonCore:
Добавления приветствуются! |
Автор: | Владислав Жаринов [ Понедельник, 10 Январь, 2011 04:35 ] |
Заголовок сообщения: | Re: Темы и посты по структ. редакторам в др. форумах OberonC |
Сергей Прохоренко писал(а): Ссылки на темы по структурным редакторам в других форумах OberonCore: Добавления приветствуются! Одна из таких форм реализована в прогязыке Promela (используется как язык спецификации деятельности для инженерной проработки в среде Spin) - см. руководство по языку, вложенное в это сообщение и примеры в выдержке из работы Карпова, вложенной в это сообщение. |
Автор: | Peter Almazov [ Понедельник, 10 Январь, 2011 08:30 ] |
Заголовок сообщения: | Re: Темы и посты по структ. редакторам в др. форумах OberonC |
Сергей Прохоренко писал(а): Добавления приветствуются! Семантический редактор
|
Автор: | Владислав Жаринов [ Понедельник, 10 Январь, 2011 09:12 ] |
Заголовок сообщения: | Re: Темы и посты по структ. редакторам в др. форумах OberonC |
Peter Almazov писал(а): Её уже рядом перенесли
|
Автор: | Сергей Прохоренко [ Понедельник, 10 Январь, 2011 19:37 ] |
Заголовок сообщения: | Re: Темы и посты по структ. редакторам в др. форумах OberonC |
Спасибо за ссылку, Драконограф! Воспроизвожу по полученной ссылке форму цикла Дейкстры в языке Promela из указанного источника: Код: proctype Euclid(int x, y){ do :: (x > y) -> x = x - y :: (x < y) -> y = y - x :: (x == y) -> goto done od; done: skip } Здесь skip - пустой оператор, перед которым стоит метка done. А вот как будет выглядеть тот же пример в PureBuilder: Код: ┌while │▼ x > y │ dec (x, y) │▼ x < y └ dec (y, x) Алгоритм функции записывается не внутри длинного программного кода, а в отдельной вкладке интерфейса. Поэтому заголовок функции отсутствует. Объявление параметров и возвращаемого значения функции Euclid осуществляется в отдельной табличке. Псевдографика не очень правильно передает скобку слева. На самом деле она непрерывная, с закругленными углами и полностью охватывает строки с while и dec (y, x). Ключевые слова должны изображаться жирным шрифтом. Значки ▼ используются при необходимости сворачивания соответствующих ветвей цикла. При этом они принимают вид ►. |
Автор: | Владислав Жаринов [ Вторник, 11 Январь, 2011 06:54 ] |
Заголовок сообщения: | Re: Темы и посты по структ. редакторам в др. форумах OberonC |
Сергей Прохоренко писал(а): Спасибо за ссылку, Драконограф! Ну это в общем-то будет топик для упомянутой темы или какой-то специализированной, наверное... Я пока вернулся в упомянутую - см. ответ в этом сообщении.
Воспроизвожу по полученной ссылке форму цикла Дейкстры в языке Promela из указанного источника:... |
Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |