Operation  FactsShop (), in Class FactsShop

Documentation
Creates an object to process a FACTSSHOP message.

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
GenerateFullyQualifiedThrows AbstractFalse
StaticFalseFinalFalse
NativeFalseSynchronizedFalse
StrictfpFalseGenerateFullyQualifiedArgument 
GenerateFullyQualifiedReturnFalseReplaceExistingCodeTrue