Specman e subtyped: Как ссылаться на FALSE значение условного поля в when/extend subtyped?

У меня есть модуль my_unit с логическим полем my_bool. Мне нужно добавить определенную логику к my_unit, когда my_bool == FALSE. Является ли это возможным?

unit my_unit {
    my_bool : bool;

    when my_bool {
        // Works fine, I can add logic to my_unit
    };

    when not my_bool {
         // This causes compilation error!!!
         // Here I need to add another logic 
    };
};

Есть ли способ сделать это? спасибо за помощь


specman e
person Halona    schedule 26.09.2017    source источник

Ответы (1)


arrow_upward
3
arrow_downward

Компилятор, кажется, обрабатывает when my_bool как when TRUE'my_bool. Если вы хотите написать код для when переменной FALSE, вы можете написать:

unit my_unit {
    // ...

    when FALSE'my_bool {
        // ...
    };
};
person Tudor Timi    schedule 26.09.2017