Инструкция +=

Инструкция += добавляет реализацию к абстрактному свойству.

Синтаксис

abstractProperty(param1, ..., paramN) +=
    [WHEN conditionExpr THEN]
    implementationExpr;

Описание

Инструкция += не создает новое свойство, а добавляет еще одну реализацию к уже объявленному абстрактному свойству.

Для абстрактного свойства типа CASE используется форма WHEN conditionExpr THEN implementationExpr. Для свойств типов MULTI и VALUE реализация записывается без блока WHEN ... THEN.

Параметры

• abstractProperty

  Идентификатор расширяемого абстрактного свойства.

• param1, ..., paramN

  Список типизированных параметров добавляемой реализации. Он задает ее сигнатуру. Список может быть пустым. Количество параметров и их классы должны быть совместимы с сигнатурой абстрактного свойства. Эти параметры можно использовать в implementationExpr и, для формы CASE, в conditionExpr.

• implementationExpr

  Выражение для реализации свойства. Его класс результата должен быть совместим с классом результата абстрактного свойства.

• conditionExpr

  Выражение для условия выбора этой реализации. Используется только для абстрактного свойства типа CASE.

Примеры

CLASS ABSTRACT AClass;
CLASS BClass : AClass;
CLASS CClass : AClass;
CLASS DClass : AClass;

name(AClass a) = ABSTRACT BPSTRING[50] (AClass);
innerName(BClass b) = DATA BPSTRING[50] (BClass);
innerName(CClass c) = DATA BPSTRING[50] (CClass);
innerName(DClass d) = DATA BPSTRING[50] (DClass);

name(BClass b) = 'B' + innerName(b);
name(CClass c) = 'C' + innerName(c);

name[AClass](BClass b) += name(b);
name(CClass c) += name(c); 
name(DClass d) += 'DClass' + innerName(d) IF d IS DClass;

CLASS Person;
CLASS PersonDocumentType;
name = DATA ISTRING[64] (PersonDocumentType);

caption = ABSTRACT CASE ISTRING[100] (Person, PersonDocumentType);

caption(Person p, PersonDocumentType t) +=
    WHEN p IS Person AND name(t) == 'Passport' THEN 'Паспорт';