Added missing comment header

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Change EL ordering to be alphabetical.

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Whitespace fix

Signed-off-by: Sebastian Hoß <mail@shoss.de>
getContractVerifierFactory marked as final

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Parameter names are not supposed to be null

Signed-off-by: Sebastian Hoß <mail@shoss.de>
SpringContractLifecycle -> AspectContractLifecycle

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Whitespace fix

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Set current instance as root object

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Added getMaxReportableDamage() method

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Use instance methods in contract

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Reference configuration matrix

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Remove field access example

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Postcondition uses custom exception

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Created contract-aspect

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Moved AspectJ implementation into separate module

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Reference business methods

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Doc update

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Rename module so it has a unique name

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Doc updates

Signed-off-by: Sebastian Hoß <mail@shoss.de>
Unique name for Guice-SpEL example

Signed-off-by: Sebastian Hoß <mail@shoss.de>