[sv-ec] why contraints is declared as a task

1. Lrm says that constrain_mode is a task:
task object[.constraint_identifier]::constraint_mode( bit on_off );

This implies that constraint_mode cannot be set in functions as function
cannot enable task. This is serious restriction as constrain_mode cannot be
called ie in contructor.

Why not changing the given syntax to void function. The 2nd issue in above
syntax is missuse of scope operator ::. Imho there should be . instead ::

function void object[.constraint_identifier].constraint_mode( bit on_off );

2. The last thing is that whole syntax is at least strange. imho it should
be changed to show the constraint_mode function header:

function void constraint_mode( bit on_off );

and then it should be described that constrain header can be called via dot
on:

object

constraint_identifier

and for static constrtaints it can be also called via scope operator on:

constraint_identifier

DANiel

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