[sv-ac] question on VPI diagrams

I'd like to know if vpiDefLineNo and vpiDefFile should be defined for
vpiSequenceInst.  

This is not listed in the model diagrams in IEEE-1800-2005, but they are
defined for vpiPropertyInst, which seems inconsistent.

Lisa

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