Некоторые примеры сообщений и их результатов

Время. Экземплярыкласса «Время» представляют собой время, такое как 10 или

12:15.

Число. Система поддерживает три вида числа:

• целое;

• вещественное с плавающей точкой (если есть сопроцессор);

• дробь - рациональные целое.

Символ обозначается с помощью знака $, например,

$a,$9,$M.

В языке Smalltalk имеется 6 типов переменных:

• экземплярные переменные, существуют в течение всего жизненного цикла объекта экземпляра класса, в заголовке которого они описаны;

• временные переменные, описываются внутри метода и существуют только во время выполнения данного метода;

• переменные класса, декларируются в описании класса, доступны всем экземплярам данного класса;

• глобальные переменные, доступны всем экземплярам всех классов;

•переменные пула, декларируются в описании класса и доступныэкземплярамнекоторого подмножества классов;

• псевдопеременные, специально зарезервированные идентификаторы, указывающие на специальные объекты.

Для присвоения значения какой-либо переменной(исключая псевдопеременные)используется операция : : = (присваивание).

Экземпляры объектов можно сравнивать друг с другом.

Класс «Объект» содержит методы сравнения: =, ~=.Все классы, являющиеся подклассами этого класса, наследуют эти методы.Помимо этого, каждый класс может определить для себя другие методы сравнения. Например, классы из группы «Величина» имеют еще несколько методов: > < <= >=. Аналогичные методы определены для класса «Строка».

Результат сравнения объектов - экземпляр класса «Логический». Этот класс имеет два подкласса: Истина и Ложь. Экземплярами этих классов являются псевдопеременные истина и ложь соответственно. Задание новых экземпляров этих классов приводит к ошибке.

Классы «Истина» и «Ложь» имеют следующий набор методов:

и: - истина, если адресат и параметр - «истина», в противном случае -«ложь» (существует аналогичное бинарное сообщение - &)

или: - ложь, если адресат и параметр - «ложь», в противном случае -«истина» (существует аналогичное бинарное сообщение -|).

На основе этих методов реализованы условные конструкции. В общем виде условная конструкция имеет вид:

<условие>

если условие истинно, выполнить <выражение1> если условие ложно, выполнить <выражение2>.

На языке ООП эта конструкция записывается таким образом:

<объект-адресат класса Истина или Ложь>

если Истина:<объект-параметр1>

если Ложь: <объект-параметр2>.

В данном случае <объект-параметр> представляет собойблок сообщений.

Возможна конструкция

<условие> еслиИстина: <объект-параметр>,

а также

<условие> еслиЛожь: <объект-параметр>.

Блок сообщений -это группа сообщений, заключенная в квадратные скобки. Блоки - это объекты специального вида, вычисление которых (т.е. выполнение списка внутренних операторов) производится путем посылкик ним сообщения-значения.

Блок может иметь аргументы. В этом случае сообщение для его вычисления будет ключевым:

[блок] значение: <значение аргумента>

Программирование на SmalTalk. Язык Smalltalk обладает богатым набором циклических конструкций, отраженных в табл. 3.9.

Программирование на SmallTalk состоит не только в использовании предопределенных в языке объектов и их методов, но и в задании новых методов и объектов.

Вначале рассмотрим создание новых методов для уже существующих классов. Перед созданием нового метода необходимо ответить на следующие вопросы:

1) что будет объектом-адресатом для создаваемого метода;

2) каким будет объект-параметр;

3) что будет результатом, возвращаемым новым методом. Таким образом определяется сообщение, обращающееся к новому методу. Затем можно описать и добавить в соответствующий класс сам создаваемый метод по форме

имя Сообщения

"комментарии"

| локальные переменные сообщения |

^ возвращаемый результат.

Таблица 3.9