Grammar of language E about check that

The else branch has to be dut_error, not some arbitrary code (otherwise you would just use an "if" instead of "check".

This works:

<'
extend sys {
 foo : list of bit;
 run() is also {
 check that foo.is_empty() then {
 out("foo is empty");
 } else dut_error("foo is not empty");
 };
}
'>

Thanks Stephen, I think is the else dut-error-action, which, as you said, can only be the dut_error, is the reason of compile error. it seems dut_error statement can not be put in {} here.

One more question, as the dut_error will terminate the simulation in an dut error, is there anything has the same function like `uvm_error in UVM that count an error, but the simulation continues?

If you name the check, then you can procedurally control it, for example:

<'
extend sys {
 foo : list of bit;
 run() is also {
 set_check_by_name("sys","FOOCHK",ERROR_CONTINUE);
 check FOOCHK that foo.is_empty() then {
 out("foo is empty");
 } else dut_error("foo is not empty");
 };
}
'>


% specman -c "load check; test"
Welcome to Specman Elite (18.10.001-a Build 318) - Linked on Mon Oct 22
16:04:27 2018

Protected by U.S. Patents 6,141,630 ;6,182,258; 6,219,809; 6,347,388;
6,487,704; 6,499,132; 6,502,232; 6,519,727; 6,530,054; 6,675,138; 6,684,359;
6,687,662; 6,907,599; 6,918,076; 6,920,583; Other Patents Pending.

Checking license ... OK
Loading check.e ...
read...parse...update...patch...h code...code...clean...GC(sys)...


Doing setup ...
Generating the test with IntelliGen using seed 1...

Starting the test ...
Running the test ...


-------------------------------------------------------
 *** Dut error at time 0
 Checked at line 6 in @check
 In sys-@1.run() (unit: sys):

FOOCHK: foo is not empty
-------------------------------------------------------
Will continue execution (check effect is ERROR_CONTINUE)

No actual running requested.
Checking the test ...
Checking is complete - 1 DUT errors, 0 DUT warnings.

Hi, Stephen, that exactly I want to know, many thanks!