This repository has been archived on 2022-12-21. You can view files and clone it, but cannot push or open issues or pull requests.

Go to file

Claudio Maggioni 6e91fed54c Added submission		2022-12-21 10:18:27 +01:00
src	Adding 3 pre/post conditions	2022-12-06 15:41:01 +01:00
.gitignore	Added sources from apache commons lang	2022-12-06 15:35:18 +01:00
Assignment04-design_by_contract.pdf	Added submission	2022-12-21 10:18:27 +01:00
README.md	Added report	2022-12-20 17:02:13 +01:00
pom.xml	Added more contracts	2022-12-06 15:40:51 +01:00
report.pdf	Added report	2022-12-20 17:02:13 +01:00
report.tex	Added report	2022-12-20 17:02:13 +01:00

SDM assigment 04

Classes come from https://github.com/apache/commons-lang revision 770e72d2f78361b14f3fe27caea41e5977d3c638

List of semantically different functions with contracts

Class math.IEEE754rUtils:
- static double min(double[]) and overloads
- static double max(double[]) and overloads
Class math.Fraction
- static Fraction getFraction(int, int) and static Fraction getFraction(int, int, int)
- static Fraction getReducedFraction(int, int)
- public int getDenominator()
- public Fraction negate()
- public Fraction abs()
- public Fraction reduce()
Class CharRange
- boolean contains(CharRange)
Class util.FluentBitSet
- FluentBitSet and(FluentBitSet) and overloads
- FluentBitSet andNot(FluentBitSet) and overloads
- FluentBitSet or(FluentBitSet) and overloads
- FluentBitSet clear() and overloads
- boolean get(int) and overloads
- boolean isEmpty()
- FluentBitSet flip(int) and overloads
- (TODO) FluentBitSet xor(FluentBitSet)==> done/ to review
- (TODO) FluentBitSet set(int) ==> done/ to review
- (TODO) int nextSetBit(int) and int previousSetBit(int) ==> done
- (TODO) int nextClearBit(int) and int previousClearBit(int) ==>done

mvn clean test