navigation
Deprecated

Class: user

A user of the system

Fields

string fullname [RW]
(string → string) map other_config [RW]
string short_name [RO/constructor]
string uuid [RO/runtime]

Messages

void add_to_other_config (session ref, user ref, string, string)
Deprecated
user ref create (session ref, user record)
Deprecated
void destroy (session ref, user ref)
Deprecated
user ref get_by_uuid (session ref, string)
string get_fullname (session ref, user ref)
(string → string) map get_other_config (session ref, user ref)
Deprecated
user record get_record (session ref, user ref)
string get_short_name (session ref, user ref)
string get_uuid (session ref, user ref)
void remove_from_other_config (session ref, user ref, string)
void set_fullname (session ref, user ref, string)
void set_other_config (session ref, user ref, (string → string) map)