ADD NAMES IN A STRUCTURE
CALL SEQUENCE
void tadd_names_set (strid, label, names_list)
INPUT PARAMETERS
Pint strid;
Pint label;
Pint_list *names_list;
ARGUMENTS
- strid
- Structure identifier.
- label
- Number of the label of the structure strid after which the new
names are inserted.
- names_list
- List of names added in the structure.
TYPES
typedef struct {
Pint num_ints;
Pint *ints;
} Pint_list;
EFFECT
This function inserts an add name to set element after the first
label element (of the value specified in label) found in the
structure whose identifier is strid. The values given in the list
names_list are then added to the current name set.