convert(x)

convert_to(x, T)

equal(x, y)

Обратите внимание на то, что этот метод не перегружает функциональный _equal, т.е. = оператор. Функциональный _equal не может быть перегружен.

expr(x)

coerce(x)

Реализация обеспечила попытки преобразовать x в элемент этой области первым вызовом dom::convert(x) и затем, если это перестало работать, x::dom::convert_to(x, dom); это возвращает FAIL если оба метода перестали работать.

equiv(x, y)

Реализация обеспечила попытки преобразовать x и y в элементы этой области и затем вызывает dom::equal с этими элементами. Это возвращает FAIL если сбои преобразования или тест равенства возвращают UNKNOWN.

new(x)

Учитывая доменный D, выражение формы D(x,...) результаты в вызове формы D::new(x,...).

Реализация, обеспеченная здесь, пытается преобразовать x путем вызова dom::convert(x) и возвращает результат. Это повышает ошибку если dom::convert возвращает FAIL.

print(x)

Не распечатывайте непосредственно в этом методе путем вызова функционального print например!

Реализацией, обеспеченной здесь, является dom::expr.

testtype(x, T)

Этот метод должен возвратить TRUE если это может решить тот x имеет тип Tложь если это может решить тот x не имеет типа T и FAIL если это не может решить тест.

Этот метод называется в трех различных ситуациях: Также, если аргумент x имеет эту область, или если T эта область, или если T элемент этой области. Таким образом следящий за тремя ситуациями может возникнуть:

new_extelement(x, …)

Когда выражение new(D,x,...) оценен и D область с методом "new_extelement", затем D::new_extelement(D,x,...) оценен и возвращен как результат.

Ядро или области фасада должны задать этот метод потому что в противном случае функциональный new возвратил бы “контейнерный” элемент D вместо “необработанного” элемента, как предназначено.

Реализация, обеспеченная здесь, возвращает результат D::new(x,...).