- Enclosing class:
- TestAccount
public static class TestAccount.Account
extends Object
An implementation of a bank account data type used to test state-based
validation. The basic data type just carries the account balance. An
instance of that data type may be wrapped up in transactional state (low,
high, and change). A transactional instance knows how to validate against
the basic data type and on commit it updates the basic data type.
- Version:
- $Id$
- Author:
- Bryan Thompson
- See Also:
http://www.cs.brown.edu/~mph/Herlihy90a/p96-herlihy.pdf, section 5.2
page 112.