Adding Behavior Example
In certain cases, you may need to simulate a system modifying parameters that were passed into it. While it is not good to have a contract like this with params that are used for in/out operations, these do exist. One example is jdk's nio write methods that take a ByteBuffer
This example consists of a few tests on one system. Here are the files for this example....