[sv-bc] illegal example 13.16.7

function int[$] GenQueue(int low, int high);

int[$] q;

randsequence()

TOP : BOUND(low) LIST BOUND(high) ;

LIST : LIST ITEM := 8 { q = { q, ITEM }; }

| ITEM := 2 { q = { q, ITEM }; }

;

int ITEM : { return $urandom_range( low, high ); } ;

BOUND(int b) : { q = { q, b }; } ;

endsequence

GenQueue = q;

endfunction

 

In the above example, I think it is illegal because you can't specify an
unpacked dimension in the return type of a function. You need to do a
typedef first.

 

I'll create a mantis for the sv-bc since that part of the example has
nothing to do with randsequence.

 

Dave

 

 

 

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.