пятница, 18 августа 2017 г.

ToDo. Сделать Named:

Именованные "анонимные функции":

.filter> Named: n1 ( bla )
.filter> Named: n2 global

Их имя нужно только для отладки и диагностики.

Это можно применять для "именования" post- и pred-условий:

Pre:
 ( x = 1 ?assure 'bla' )
 Named: n1 ( y = 2 ?assure 'bla' )
;

Post:
 ( z = 1 ?assure 'bla' )
 Named: n1 ( i = 2 ?assure 'bla' )
;

Или:

Pre:
 ( x = 1 ?assure 'bla' )
 Условие: n1 ( y1 = 2 ?assure 'bla' )
 Условие: n2 ( y2 = 2 ?assure 'bla' )
 global1
 global2
 Условие: n3 ( y3 = 2 ?assure 'bla' )
 ( x1 = 10 ?assure 'bla' )
;

Или:

До:
 ( x = 1 ?верно 'bla' )
 Условие: n1 ( y1 = 2 ?верно 'bla' )
 Условие: n2 ( y2 = 2 ?верно 'bla' )
 global1
 global2
 Условие: n3 ( y3 = 2 ?верно 'bla' )
 ( x1 = 10 ?верно 'bla' )
;

Или:

Предусловия:
 ( должно: ( x = 1 ) 'bla' )
 Условие: n1 ( должно: ( y1 = 2 ) 'bla' )
 Условие: n2 ( должно: ( y2 = 2 ) 'bla' )
 "Глобальное условие 1"
 "Глобальное условие 2"
 Условие: n3 ( должно: ( y3 = 2 ) 'bla' )
 ( должно: ( x1 = 10 ) 'bla' )
;

До:
 "Очищать тестовую базу" // - это ДО
 "Очищать таблицу стилей"
 "Открыть документ" "Конституция"
;

Параметры:
 "Выливать в RTF"
 "Восстанавливать позицию мыши"
;

Тест:
 "Выделить документ"
 "Заменить" 'а' на 'б'
;

Постусловия:
 "Drag&Drop завершён"
;

После:
  "Закрывать все окна"
 "Очищать тестовую базу" // - это ПОСЛЕ
;

В таком порядке и вызывается:
Предусловия, До, Параметры, Тест, Постусловия, После.

Все секции - опциональны.

Для этого сделать TtfwNamedBeginLike с соответствующим конструктором.

И звать его из Named:, который определить на стороне скриптов.

Не забыть про трансляцию resultType и paramTypes, а также innerDictionary etc.

И прочей инфраструктуры для работы с компилированными словами.

Сделать ещё конструкции:

"В диалоге" "Номер 2 или больше" "Удаление конституции" отвечать Всегда
"В диалоге" "Удаление конституции" отвечать Нет
"В диалоге" "Удаление документа" отвечать Да
"В диалоге" "Поиск/замена" выполнять "Выбор метки"
"Для диалога" "Выход из приложения" "Проверять его отсутствие"
"В диалоге" "Любом другом" отвечать Нет

После слова "В диалоге" предполагаются на самом деле две лямбды:
1. Comparator. Туда передаётся DialogInfo, а возвращается Boolean.
2. Executor.

Comparator и Executor - самом деле могут связываться в цепочки, как в примере про диалог #2.

Предикатов на самом деле просто складываются в список и последовательно выполняются для каждого диалога.

По аналогии с RULES.

Никакого "волшебства".

Это некоторым образом похоже на "предикаты" и "машину вывода" Prolog'а.

Порядок предикатов  - влияет на порядок вычисления предикатов.

Это вместо wait:XXX/waited?

Т.е. делаем "декларативность", а не "императивность".

Мы НЕ ОЖИДАЕМ, диалога, а говорим, что надо делать, если он появился.

Ну и старый "добрый" (на самом деле - бардачный) механизм пока оставляем. Для обратной совместимости.

Возможно для наглядности стоит ещё ввести секцию Диалоги: перед секцией Тест:.

Ещё надо сделать конструкцию:

"Локальные диалоги":
(
Предикат1
Предикат2
Предикат3
...
ПредикатN
)
( код )

предикатов для диалогов действительны ТОЛЬКО для указанного локального кода.

Там две лямбды:
1. Регистрация обработчиков диалогов.
2. Код, приводящие к диалогу.

Ели один из ожидаемых дипломов не показан, то надо поднимать исключение - 'неожиданный диалог'.

Для совместимости со старым кодом.

Собственно с этого и надо начать.

Это больше похоже на текущий механизм.

И это похоже на механизм TF aVar (). Тоже лямбда, обёрнутая в try..finally.

Ещё надо сделать:
PredicatExecutor.
LambdaExecutor.
Etc.

Для удобства работы со словами на стороне Delphi.

В итоге - убрать wait, waited, answer, modal, etc.

А всё свести к modalService и dialogStack.

И написать что-то вроде:

Function modalService.Execute (aForm): TModalResult;

Result := mrCancel;
if dialogStack.Execute(aForm, Result) then
 Exit
else
if TBatchService.IsBatchMode then
 raise EBatchMode.Create('нельзя показывать модальный диалог в пакетном режиме')
else
 Result := aForm.ShowModal;

Слова wait:XXX временно перенести на сторону скриптов, вывести их через wait:Button. А потом их вообще убить.

Потом переделать всё это на Thread. И убрать hackedVCL/needCancelModal.

А потом подобным образом отрефакторить menu.Popup.

Ещё сделать глобальную функцию/примесь для переделки ShowModal и copyPaste "от Димы".

Переделать регистрацию констант mrXXX на RTTI. Ну как TColor и TCursor.

Вообще подумать о регистрации ВСЕХ констант, через RTTI и RegisterIdent.

http://docwiki.embarcadero.com/RADStudio/Seattle/en/Colors_in_the_VCL

четверг, 17 августа 2017 г.

Ссылка. Mock

Инверсия зависимостей

"Правильнее" было бы делать не:

If theForm.ShowModal ... then

А:

If TModalService.Execute(theForm) ... Then

Это и расширяется и тестируется гораздо гибче.

А вместо:

theMenu.Popup

Лучше:

TPopupService.Execute(theMenu)

или вместо:
theSaveDialog.Execute

Пишем:

TSaveDialogService.Execute(theSaveDialog)

А для сервисов можно сделать:

TModalService.Inject(TmyModalService.Instance)
TPopupService.Inject(TmyPopupService.Instance)
TSaveDialogService.Inject(TmySaveDialogService.Instance)

- иньекция реализации.

Подменяем реализацию сервиса. Например для тестирования.

"Клиенты" сервиса про такую "подмену" - даже не узнают.

Они будут "думать", что вызывают "оригинальный" сервис.

Это всё реализуется либо при генерации из UML либо при помощи Generic'ов.

И например для тестов не показываем диалоги/меню. А зовём mock'и. К примеру.

Подумалось. Про инверсию зависимостей

Вот во времена Turbo Pascal/Turbo Vision у контролов была концепция Validator'ов.
Ввода/вывода.

Очень правильная концепция, как я теперь понимаю.

Жалко что Borland когда сделал Delphi - выпилил эту концепцию.

Тогда бы например не надо было бы "городить" отдельный класс типа TMaskEdit.

А уж теперь при наличии "лямбд".

Приходится прикручивать свой аналог.

Даже VisualLiveBinding - "вроде про то же",  но не "про то".

ToDo

1. Васстановить isSmart на imageList.
2. Сделать imageListService.
3. На сервисах делать обёртки iXXX.
4. Попробовать внедрить imageListService в back, через заплатки.
5. Включить stackFrames для nsTest и insiderTest.
6. Обрабатывать исключения в l3GetFileSize.
7. Стирать diff и sdiff перед сравнением.
8. Assert при поиске diff заменить на  вывод в лог.
9. Расширить Il3ImageList и сделать его интеллектуальную фабрику. На imageListService.
10. Дописывать сервисам суффиксы service и serviceImpl.
11. Сделать сервис для showModal. Реализовать его для тестов.

вторник, 8 августа 2017 г.

ToDo. Сделать outx, varx

Сделать outx, varx:

outx obj: iunknown
varx p: Pointer
varx o: TObject

Перевести на них QueryInterface, FreeMem, FreeAndNil etc. 

ToDo. Сделать для Delphi7 UnicodeString

Сделать для Delphi7 UnicodeString, UnicodeChar.

PUnicodeString, PUnicodeChar.

В l3Core.

А также:

Tl3UnicodeString, Tl3UnicodeChar.

Pl3UnicodeString, Pl3UnicodeChar.

PWinApiChar, PWinApiCharA, PWinApiCharW.

PFileChar, PFileCharA, PFileCharW.

А также - всё что связано с IStream/IStorage. Large,ULarge/PLarge/PULarge/StreamPos/StreamSize/HighStreamPos/HighStreamSize/VoidStreamPos/VoidStreamSize.

В модуль l3XE/Berlin.

Поискать IfDef Berlin.

Сделать стереотип TypeDefProxy. Без вывода в код, но с uc.

Перевести на него Tl3NativeInt/Tl3NativeUInt.