Top | ![]() |
![]() |
![]() |
![]() |
InfAdoptedUserInfAdoptedUser — User in a InfAdoptedUser. |
InfAdoptedRequestLog * | request-log | Read / Write / Construct Only |
InfAdoptedStateVector * | vector | Read / Write |
InfAdoptedUser is a InfUser-derived class that is used in InfAdoptedSession. It holds all user-specific information that is needed by InfAdoptedAlgorithm to handle the concurrency control. This includes the user's request log which stores all the requests made by the user and a state vector which specifies the document state that the user has, as known to the local host. This information is extracted from the most recent request received from the user.
guint inf_adopted_user_get_component (InfAdoptedUser *user
,guint id
);
Returns the amount of requests user
is guaranteed to have processed from
the user with ID id
.
InfAdoptedStateVector *
inf_adopted_user_get_vector (InfAdoptedUser *user
);
Returns the current vector time of user
.
void inf_adopted_user_set_vector (InfAdoptedUser *user
,InfAdoptedStateVector *vec
);
Updates the state vector of user
. This function takes ownership of vec
.
InfAdoptedRequestLog *
inf_adopted_user_get_request_log (InfAdoptedUser *user
);
Returns the request log of user
.
typedef struct _InfAdoptedUser InfAdoptedUser;
InfAdoptedUser is an opaque data type. You should only access it via the public API functions.
“request-log”
property“request-log” InfAdoptedRequestLog *
Request log of this user.
Owner: InfAdoptedUser
Flags: Read / Write / Construct Only
“vector”
property“vector” InfAdoptedStateVector *
The state this user is currently at.
Owner: InfAdoptedUser
Flags: Read / Write