Operation String getUserId (), in Class EntireXBroker

Documentation
Returns the User Id.
@return the user id.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
GenerateFullyQualifiedReturnFalseGenerateFullyQualifiedThrows 
AbstractFalseStaticFalse
FinalFalseNativeFalse
SynchronizedFalseStrictfpFalse
GenerateFullyQualifiedArgument ReplaceExistingCodeTrue