Operation void main (String[] args), in Class MessageManager

Documentation
Entry point for application.
@param args no parameters required.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
GenerateFullyQualifiedReturnFalseGenerateFullyQualifiedThrows 
AbstractFalseStaticTrue
FinalFalseNativeFalse
SynchronizedFalseStrictfpFalse
GenerateFullyQualifiedArgument ReplaceExistingCodeTrue