set_name

Description:

public void set_name (string name)

Sets the name of the structure to the given name.

The string provided is copied before being used. It must not be empty, start with a letter and can be followed by letters, numbers and any of "/-_.:".

Parameters:

this	a Structure
name	the new name of the structure