Basic HTML version of Foils prepared May 19 99

Foil 29 State Dependent Actions

From Elements of Concurrent Programming in Java Tango Group Internal Technology Seminars -- Spring 99. by Lukasz Beca
Action triggering conditions:
  • external - method on the object was called
  • internal - the object is in appropriate state
State-based preconditions: object must be in proper state upon the reception of the message
State-based postconditions: object must be in proper state when the message handling is finished

© Northeast Parallel Architectures Center, Syracuse University, npac@npac.syr.edu

If you have any comments about this server, send e-mail to webmaster@npac.syr.edu.

Page produced by wwwfoil on Wed May 19 1999