Actions
Task #4807
closedAction as interface for BasicBlock, Assertion, Situation
Start date:
04/02/2014
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
Класс действия Action сделать интерфейсом. Интерфейс содержит метод getType() (возможные возвращаемые значения SITUATION, ASSERTION, ASSIGNMENT - хранить в enum).
Интерфейс реализуют следующие классы: BasicBlock, Situation, Assertion.
Situation содержит строку с описанием (String).
Assertion содержит условие (NodeExpr), которое необходимо проверять при достижении данного Action.
При необходимости интерфейс Action можно дополнять.
Actions