Operation Color fade (Color foreground, int time), in Class DisplayWorldModel

Documentation
* Fades the color to the background
* depending on the time variable. If time
* equals 0, then the foreground color is returned.
* If time equals the age value the class was
* constructed with, the background color is returned.
* @param foreground the foreground color
* @param time how old the data from the server is
* @return the foreground color faded towards the
* background color

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
AbstractFalseStaticFalse
FinalFalseNativeFalse
SynchronizedFalse  


Data Modeler
dmItemFalseDMName 
IsConstraintFalseConstraintType 
IsIndexFalseIsTriggerFalse
IsClusterFalseTableSpace 
FillFactor0KeyList 
CheckPredicate IsUniqueFalse
DeferalMode InitialCheckTime 
TriggerType TriggerReferencePart 
IsInsertEventFalseIsUpdateEventFalse
IsDeleteEventFalse