What is label for a task

From: Chris Spear (Chris.Spear@synopsys.com)
Date: Fri May 13 2005 - 12:55:08 PDT

  • Next message: Kausik Datta: "RE: Is it a valid testcase"

    The label on the end of a block is a nice feature that replaces the comment that many people use.

    The label on a method is its name:

            task foo;
            endtask : foo

    But what if the task is defined outside of a class?

            task Packet::foo;

              // which of the following is correct?
            endtask : foo
              // or
            endtask : Packet::foo

    To me, the second looks better. Which is correct? I took Esperanto in college instead of BNF as it was pass/fail.

    /*********************************************************
    Chris Spear              Verification Specialist
    Synopsys, Inc.           Phone 508-263-8114      ..  __@
    377 Simarano Drive       Fax   508-263-8123        _`\<,_ 
    Marlboro, MA 01752 USA   Cell  508-254-7223    .. (*)/ (*)
    Spear@Synopsys.com       http://Chris.Spear.net
    *********************************************************/

    This archive was generated by hypermail 2.1.4 : Fri May 13 2005 - 12:30:27 PDT and
    sponsored by Boyd Technology, Inc.