Те плагины, что попроще, сделаны без GC и даже без Runtime, а те, что посложнее, используют GC, так что примеры всего спектра возможностей есть в исходниках. См. также http://sourceforge.net/apps/mediawiki/n ... in_Central (поиск по строке "Alexander Iljin").

Целевая программа (для которой плагины) - Notepad++, написана на нативном C++ в Visual Studio.

Я посмотрел исходник Oberon-2 Lexer (пару файлов по диагонали) и заметил слово ASSERT. Это контрактное программирование? А юнит-тесты применяете?

Я плохо представляю, что такое контрактное программирование. ASSERT'ами я часто пресекаю вызов публичных функций с некорректными параметрами, либо защищаюсь от собственных ошибок, когда плохо понимаю, что пишу, либо когда нужно выразить какое-то согласование между частями программы, которое не выражается на данном языке программирования. Это чтобы при изменении и расширении чего-либо в будущем не позабыть, на каких условиях работает уже имеющееся.

Юнит-тесты это в модульной системе понятие ... ну, избыточное.

Для каждого модуля пишутся тесты, и всё.

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

Контрактное программирование -- тоже некое избыточное понятие.

Неконтрактное программирование -- это не программирование, а так ... чмо.

Для каждой процедуры есть пред- и пост-условия.
На всё втыкаются АССЕРТы на уровне инстинкта.

Я детишкам в самом начале логики показываю фрагмент из "Леона":

-- Проверь. Убедись, что это именно то, что тебе нужно.
-- Я тебе доверяю.
-- Не путай одно с другим, Леон!

ASSERT и есть проверка соответствия контракту, при нарушении которого программа завершается нештатным образом.