Открыть главное меню

Изменения

ТОМ2: функции

8595 байт добавлено, 16:01, 25 января 2014
м
Сообщения об ошибках выполнения функции
{{содержание справа}}
==Назначение==
Функции используются в командной строке и в коде игры. В отличие от других языков, функции ТОМа не имеют имён и подбираются исключительно по аргументам.
 
Пример вызова фукции:
Дай мяч Маше
 
Строка кода может содержать несколько функций, вызываемых последовательно. При этом результат одной функции может являться аргументом для другой функции.
 
Подбор функций, их подчиненность и порядок вызова в строке определяется парсером самостоятельно.
 
==Синтаксис==
''fn_type'' ( ''arg_list'' ) { ''code'' }
'''Где:'''
*''fn_type'' - ключевое слово, определяющее тип функции: ''expression'' (''выражение''), ''action'' (''действие''), ''fact'' (''факт'');
*''arg_list'' - список аргументов;
*''code'' - код тела функции, разделённый на секции.
* Тип значения: bool, string, number, course, spcvalue, object, attribute, class, location, word, preposition, and-list, or-list.
* Класс значения. Пример: Например, "предмет", "существо" и т.п.* Имя значения. Для значений, имеющих уникальные имена, в качестве типа можно указывать имя конкретного значения - имена объектов, локаций и т.д.
* Произвольный литерал - должен в точности совпасть со словом, введенным игроком. Пример: "трах-тибидох"
Имя переменной, которой будет передано значение аргумента в контексте выполнения функции.
 Если имя переменной не указано, значение в функцию не передаётся, но по -прежнему влияет на подбор функций.
''arg_key''
[[ТОМ2: Ключ|Ключ]], которому должно соответствовать значение аргумента.  
Пример: #ВпЕч - значение должно находиться в винительном падеже единственного числа.
 
В состав ключа могут входить шаблоны '!' и '*'.
* * - подходит любое свойство ключа;
* ! - в ключе не должно быть указанного свойства.
Пример: #*п!е - у значения должен быть любой падеж, и не должно быть отрицания.
 
Если ключ не указан, проверка значения на соответствие ключу не проводится.
==Типы функциийфункций==Существует три типа функций – выражения, факты, действия.
Строка кода (или команды) в ТОМе обрабатывается в 2 этапа:
# Парсинг
# Выполнение строки
Вычисления и выполнение различных [[ТОМ2:_секции#.D0.A1.D0.B5.D0.BA.D1.86.D0.B8.D0.B8_.D0.B2_.D1.84.D1.83.D0.BD.D0.BA.D1.86.D0.B8.D1.8F.D1.85 | секций функций]] могут Выполнение кода функции может происходить как на 1-м, так и на 2-м этапах. На этапе парсинга происходит перебор вариантов, поэтому код, участвующий в парсинге, может вызываться множество раз. Выполнение же строки происходит лишь при условии ее однозначного разбора и  Ели строка однозначно разобрана, она выполняется . Выполняется строка только 1 один раз.
Любая строка, обработанная без ошибок, всегда возвращает значение, являющееся результатом её выполнения.
 
В программном языке ТОМ2 есть 3 типа функций:
* Выражения
* Действия
* Факты
Зачем нужно деление функций на три типа:
Разбор команд на естественном языке требует проведение вычислений уже на этапе парсинга, когда смысл строки еще не понятен. Для этого необходимо по разному обрабатывать функции изменяющие и не изменяющие состояние игры. Изменение состояния игры допустимо только после однозначного разбора строки.
=== Expression Функции типа expression (Выражениевыражение) ===
Выражения вычисляются на этапе разбора (парсинга) строки и ''не приводят к изменениям состояния игры''.
Выражения могут входить в состав других сложных выражений, фактов или действий.
В качестве результата возвращается Выражение возвращает вычисленное значение выражения. Если вся строка является одним выражением, то вычисленное значение будет финальным результатом всей строки.
'''Примеры выражений:'''
2 + 2
X + 3
X.type
'''Пример функции выражения:'''
// атрибуты
expression(attribute Atr, object Ob)
{ == parsing ==
}
=== Action Функции типа action (Действиедействие) ===??? 
Действия ''изменяют состояние игры''.
покрась стены в зелёный цвет
возьми 3 рубля
run test.txt
'''Пример функции действия:'''
action(иди act*#Пф, location напр*#Ап)
{ == check ==
if loc = напр then fail, "ты уже здесь"
}
=== Fact Функции типа fact (Фактфакт) ===
Факты применяются в качестве условий или вопросов, а так же как утверждения:
Если цвет стен зеленый, то … // условие
}
==Секции в функциях==
Код функции делится на секции. Каждая секция имеет своё имя и выполняется на определённом этапе парсинга.
 
Начало секции обозначается знаками ==, после которых идёт имя секции.
 
Пример:
== parsing ==
... код секции ...
 
Код, размещенный перед первой секцией, является общим и выполняется всегда.
 
Пример:
action(дай#Пф, Маша#Дп, мяч#Вп)
{ ...общий код...
==parsing==
...код парсинга...
==check==
...код проверки...
==execute==
...код выполнения...
}
 
===Секции в выражениях===
В выражениях используются секции parsing (парсинг) и execute (выполнение).
====Секция parsing (парсинг) в выражениях====
Эта секция вызывается на этапе синтаксического анализа строки кода или командной строки.
Здесь нужно проверить синтаксическую правильность переданных аргументов, например то что прилагательное стоит перед существительным и согласуется с ним по роду, числу, падежу и одушевлённости.
 
Если набор переданных аргументов не соответствует синтаксису команды, секция должна вернуть ошибку.
 
секция parsing может быть опущена, если дополнительной проверки синтаксиса не требуется.
 
=====Проверка позиций аргументов=====
описать!
 
====Секция execute (выполнение) в выражениях====
Секция вычисляет значение выражения.
 
В выражениях эта cекция исполняется на этапе парсинга, из чего следует:
#выполнение этой секции может происходить многократно;
#результат выражения может быть вариантным;
#в этой секции нельзя менять состояния объектов и переменных (за исключением переменных самой функции);
#результат выражения влияет на дальнейший парсинг команды.
Пример:
выражение (среднее, число А, число Б)
{
==выполнение==
(А + Б)/2
}
В данном примере функция вычисляет среднее значение двух чисел.
 
Обращаться к функции из кода можно следующим образом.
Пример:
var X = среднее 4 5;
 
var A = 2
var Б = 7
%{среднее А Б} //переменные А и Б должны содержать числа
 
===Секции в фактах===
В фактах используются секции parsing (парсинг), check (проверка), и execute (выполнение).
====Секция parsing (парсинг) в фактах====
Работает аналогично секции parsing в выражениях.
 
====Секция check (проверка) в фактах====
Эта секция проверяет факт на его соответствие действительности и возвращает логическое '''да''' или '''нет'''.
 
Секция исполняется на этапе парсинга, из чего следует:
#выполнение этой секции может происходить многократно;
#в этой секции нельзя менять состояния объектов и переменных (за исключением переменных самой функции);
 
Именно эта секция позволяет использовать факты в условных конструкциях и вопросах.
 
Пример:
факт (предмет А, весит, число Б, кг)
{
==проверка==
А.вес = Б?
==выполнение==
... код выполнения ...
}
 
Пример условия:
если камень весит 100 кг то ...
 
Пример вопроса:
камень весит 100 кг?
 
====Секция execute (выполнение) в фактах====
В факте секция execute (выполнение) выполняется после однозначного разбора строки кода или команды.
 
Эта секция должна сделать так, чтобы факт стал истинным.
 
Пример:
факт (предмет А, весит, число Б, кг)
{
==проверка==
А.вес = Б?
==выполнение==
А.вес = Б
}
 
По своей сути факт – это инструмент создателя игры, позволяющий перекроить игровой мир. То, что указывается в факте, становится истинным.
 
Пример:
камень весит 100 кг. //да будет так
 
В связи с этим, секция execute (выполнение) для фактов работает только в режиме 'вне игры' (см. раздел Режимы работы ТОМ), иначе игрок мог бы очень сильно изменить игровой мир.
 
===Секции в действиях===
В действиях используются секции: parsing (парсинг), check (проверка) и execute (выполнение).
====Секция parsing (парсинг) в действиях====
Работает аналогично секции parsing в выражениях.
 
====Секция check (проверка) в действиях====
В этой секции мы должны проверить физическую возможность выполнения команды. Есть ли у нас все предметы, названные в команде, соблюдены ли условия, необходимые для начала выполнения действия и т.п.
 
Секция исполняется на этапе парсинга, из чего следует:
#выполнение этой секции может происходить многократно;
#в этой секции нельзя менять состояния объектов и переменных (за исключением переменных самой функции);
 
Если действие невозможно, секция должна вернуть ошибку.
 
====Секция execute (выполнение) в действиях====
В этой секции описывается выполнение действия, соответствующего команде. Здесь можно изменить состояние игры, вывести текст с описанием произошедшего события и т.д.
 
==Сообщения об ошибках выполнения функций==
описать!
[[Категория:Документация ТОМ2]]
1379
правок