Contract4j Demo

==============================

Prerequisites:

Download contract4j v0.8.0 from it’s official website or local cache.

The demo was done using Eclipse 3.3.2 with AspectJ develompent tools (AJDT) 1.5.1. (or above version)

(You can download "ajdt_1.5.1_for_eclipse_3.3.zip" and copy files to Eclipse "features" and "plugins" directories.)

Tip: You can try Eclipse and AJDT latest version. But there may be some incompatible problems. Don't ignore them and try to fix these problems by yourself.

If any problem, please refer to: Getting_Started_with_Contract4J(Local cache)

==============================

Steps:

1. Unzip DbCDemo.rar

2. Import DbCDemo project into Eclipse workspace

3. Check whether compilation is ok. Make sure that the “Java Build Path” and “AspectJ Build Inpath” is correctly configured.

4. Right click Client.java, choose “Run as AspectJ/Java Application”

5. Check console output.

6. Try to change some arguments in Client.java and retry.

7. Right click BankAccountTest.java, choose "Run as JUnit Test"

8. Check console output and "Failure Trace" window.

9. Try to add new test cases in BankAccountTest.java and retry.

7. Think more about BankAccount’s Contract.

===============================

Homework:

Try to create your DbC project for BoundedStack.