Feature #209: Выделение предусловия реакции в отдельную функцию при трансляции - CTESK - Open-Source Projects

Actions

Copy link

Feature #209

closed

Выделение предусловия реакции в отдельную функцию при трансляции

Added by Alexander Kamkin over 14 years ago. Updated almost 14 years ago.

Status:

Closed

Priority:

High

Assignee:

Alexey Demakov

Target version:

2.8

Start date:

05/24/2010

Due date:

% Done:

Estimated time:

Published in build:

Description

Было бы полезно при трансляции спецификации отложенной реакции, ее предусловие оформлять в виде отдельной функции, которую можно вызывать из кода спецификаций. Например, можно разместить указатель на предусловие функции в структуре SpecificationDesc.

Такая возможность возникает при тестировании моделей аппаратуры.