Определение 16.80. Команда watch

(watch <элемент>) <элемент>::= all |

compilations |

statistics │

focus |

messages │

deffunctions <имя-функции>* |

globals <имя-глобальной-переменной>* │

rules <имя-правила>* |

activations <имя-правила>* |

facts <имя-шаблона>* │

instances <имя-класса>* |

slots <имя-класса>* │

message-handlers <определение-обработчика-1>*

[<определение-обработчика-2>]) |

generic-functions <имя-родовой-функции>* │

methods <определение-метода-1>*

[<определение-метода-2>]

<определение-обработчика-1>::= <имя-класса>

<имя-обработчика> <тип-обработчика> <определение-обработчика-2>::= <имя-класса>

<имя-обработчика> [<тип-обработчика>]

<определение-метода-1>::= <имя-родовой-функции> <method-index>

<определение-метода-2>::= <имя-родовой-функции> [<индекс метода>]

Ключ all включает все возможные режимы отображения. Ключ compilations отображает процесс добавления конструкторов в систему. Применение остальных ключей уже было описано выше в соответствующих главах.

Команда unwatch предназначена для отключения режимов просмотра ин­формации об изменении, включенных с помощью команды watch.

Определение 16.81. Команда unwatch

(unwatch <элемент>)

С помощью команды list-watch-items можно увидеть текущее состояние просмотра того или иного элемента.