Пример 1

Каждый объект имеет паз "dom":

x::dom = domtype(x),
slot(45, "dom") = domtype(45),
sin::dom = domtype(sin)

Пример 2

Здесь мы получаем доступ к существующему "float" паз функциональной среды sin реализация синусоидальной функции. Паз плавающий является снова функциональной средой и может быть назван как любая функция MuPAD. Отметьте, однако, различную функциональность: в отличие от sin, паз плавающий всегда пытается вычислить приближение с плавающей точкой:

s := sin::float:  s(1), sin(1)

Со следующими командами, s становится функциональной средой sin кроме измененного "float" паз. slot вызов не оказывает влияния на исходный sin функционируйте потому что slot возвращает копию функциональной среды:

s := funcenv(sin):
s::float := x -> float(x - x^3/3!):
s(PI/3) = sin(PI/3), s::float(1) <> sin::float(1)

delete s:

Пример 3

Если вы используете slot функционируйте, чтобы изменить записи паза в области, необходимо иметь в виду, что вы изменяете область:

old_one := Dom::Float::one

newDomFloat := slot(Dom::Float, "one", 1):
newDomFloat::one, Dom::Float::one

Мы восстанавливаем исходное состояние:

slot(Dom::Float, "one", old_one):  Dom::Float::one

delete old_one, newDomFloat:

Пример 4

Функциональная среда sin не содержит "sign" паз. Так доступ к этому пазу дает к FAIL:

slot(sin, "sign"), sin::sign

Пример 5

Мы задаем функциональную среду для функции, вычисляя логарифм к основному 3:

log3 := funcenv(x -> log(3, x)):

Если функциональный info должен дать некоторую информацию о log3, мы должны задать "info" паз для этой функции:

log3::info := "log3 -- the logarithm to the base 3":

info(log3)

log3 -- the logarithm to the base 3

delete оператор используется в удалении паза:

delete log3::info: info(log3)

log3(x) -- a library procedure [try ?log3 for help]

Не возможно удалить специальный паз "dom":

delete log3::dom

Error: Invalid argument. [delete]

delete log3:

Пример 6

Здесь мы демонстрируем тонкое различие между slot функционируйте и использование ::- оператор в присвоениях. Следующий вызов добавляет "xyz" паз к доменному DOM_INT из целых чисел:

delete b: d := b: b := DOM_INT: slot(d, "xyz", 42):

Паз "xyz" из DOM_INT изменяется, потому что d полностью оценен с результатом DOM_INT. Следовательно, паз DOM_INT::xyz установлен в 42:

slot(d, "xyz"), slot(DOM_INT, "xyz")

Вот результат при использовании ::оператор: d только оценен с уровнем 1, т.е. он оценен к идентификатору b. Однако нет никакого паза b::xyz, и ошибка происходит:

delete b: d := b: b := DOM_INT: d::xyz := 42

Error: Unknown slot 'd::xyz'. [slot]

delete b, d:

Пример 7

Первый аргумент slot не сглажен. Это предоставляет доступ к пазам последовательностей выражения и null() объекты:

slot((a, b), "dom") = (a,b)::dom,
slot(null(), "dom") = (null())::dom

Пример 8

Мы даем пример для использования функционального make_slot. Элемент undefined из доменного stdlib::Undefined представляет неопределенное значение. Любой функциональный f должен дать к f(undefined) = undefined. В реализации stdlib::Undefined, мы находим:

undef := newDomain("stdlib::Undefined"):
undefined := new(undef):
undef::func_call := proc() begin undefined end_proc;
undef::make_slot := undef::func_call:

Следующий механизм происходит автоматически для функционального f это сверхзагружаемо его первым аргументом: в вызове f(undefined), это проверяется ли паз undef::f \exists. Если дело обстоит не так, make_slot функция создает этот паз “на лету”, производя значение undefined. Таким образом, через перегрузку, f(undefined) возвращает значение undefined.

Пример 9

Следующий пример скорее совершенствуется и технический. Это демонстрирует перегрузку slot функционируйте, чтобы реализовать доступ к пазу и назначения слотов для других объектов, чем области (DOM_DOMAIN) или функциональные среды (DOM_FUNC_ENV). Следующий пример задает пазы "numer" и "denom" для рациональных чисел. Доменный DOM_RAT из таких чисел не имеет пазов "numer" и "denom":

domtype(3/4)

slot(3/4, "numer")

Error: Unknown slot '(3/4)::numer'. [slot]

Мы можем изменить DOM_RAT,как бы то ни было. Для этого мы имеем к оставить без защитыDOM_RAT временно:

unprotect(DOM_RAT):
DOM_RAT::slot :=
  proc(r : DOM_RAT, n : DOM_STRING, v=null(): DOM_INT)
      local i : DOM_INT;
  begin
      i := contains(["numer", "denom"], n);
      if i = 0 then
         error("Unknown slot \"".expr2text(r)."::".n."\"")
      end;
      if args(0) = 3 then
         subsop(r, i = v)
      else
         op(r, i)
      end
  end_proc:

Теперь мы можем получить доступ к операндам рациональных чисел, которые являются числителем и знаменателем соответственно через наши новые пазы:

slot(3/4, "numer"), (3/4)::numer,
slot(3/4, "denom"), (3/4)::denom

a := 3/4:  slot(a, "numer", 7)

a::numer := 11:  a

Мы восстанавливаем исходное поведение:

delete DOM_RAT::slot, a: protect(DOM_RAT, Error):

Возвращаемые значения

slot(d, "n") возвращает значение паза; slot(d, "n", v) возвращает объект d с добавленным или измененным пазом; slot(object, "dom") возвращает доменный тип объекта.

Перегруженный

d