[sv-ec] event control on class member of event type

I cannot find description of such case in LRM. Event has no value in
contrast to other types - so this case is quite different than event control
on class member on not event type.
IMHO this should be explicitly defined by the LRM.
 
class C;
   event e;
endclass
module top;
   C c1=new, c2=new;
   always @c1.e $display("event triggered"); //what happens when c1 will
change?
   initial begin
       #1 c1=c2; //here c1 changes - what about c1.e ???
       #1 ->c1.e;
   end
endmodule
 
 
DANiel

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