[sv-cc] errata PTF 524

Charles,
 
I looked up for VHPI spec for vhpi_get_cb_info
and the function description is appended below.
The paragraphs of interest are in red.
 
We could modify the vpi_get_cb_info to the same effect.
 
 
21.10 vhpi_get_cb_info

Gets information about a registered callback.

Synopsis:

PLI_INT32 vhpi_get_cb_info (vhpiHandleT object, vhpiCbDataT *cb_data_p);

Description:

The object argument is a handle to an object of class callback. The
cb_data_p argument is a pointer to a

callback data structure. The VHPI program calling vhpi_get_cb_info must
allocate memory for the callback

data structure before the call.

The function retrieves information about the callback object referred to by
object and writes the information into the

callback data structure pointed to by cb_data_p. The information returned in
the callback data structure is

equivalent to that provided in a callback data structure to the
vhpi_register_cb function when the callback was

registered. The values of the reason, cb_rtn and user_data members of the
callback data structure written by

vhpi_get_cb_info are the same as the values of the reason, cb_rtn and
user_data members, respectively,

of the registration callback data structure.

If the registration callback data structure included a valid handle in the
obj member, the obj member of the callback

data structure written by vhpi_get_cb_info is a handle that refers to the
same object as that referred to by the

obj member of the registration callback data structure; otherwise, the value
of the obj member of the callback data

structure written by vhpi_get_cb_info is not specified.

If the registration callback data structure included a pointer to a time
structure in the time member, the time member

of the callback data structure written by vhpi_get_cb_info is a pointer to a
time structure, allocated by the tool,

with the same value as the time structure pointed to by the time member of
the registration callback data structure;

otherwise, the time member of the callback data structure written by
vhpi_get_cb_info is NULL.

If the registration callback data structure included a pointer to a value
structure in the value member, the value

member of the callback data structure written by vhpi_get_cb_info is a
pointer to a value structure, allocated by

the tool, with the same value as the value structure pointed to by the value
member of the registration callback data

structure; otherwise, the value member of the callback data structure
written by vhpi_get_cb_info is NULL.

Return value:

0 if the operation completes without error; or 1 otherwise.

Errors:

A VHPI program that releases a handle that is the value of the obj member of
the callback data structure written by

vhpi_get_cb_info is erroneous.

See also:

Copyright C 2004 IEEE All Rights Reserved 319

This is an unapproved IEEE Standards Draft, subject to change.

LANGUAGE REFERENCE MANUAL IEEE P1076/D2.0, December 2, 2004

vhpi_register_cb, vhpi_enable_cb, vhpi_disable_cb, vhpi_remove_cb.