php-deal /
framework
| 43 added classes/operations | |||
|
B | Contract::ensureContractSatisfied() added | |
|
|
A | MethodArgument added | |
|
|
A | Fetcher added | |
|
|
A | InvariantFetcher added | |
|
|
A | MethodConditionFetcher added | |
|
|
A | MethodConditionWithInheritDocFetcher added | |
|
|
A | PostconditionContract added | |
|
|
A | PreconditionContract added | |
|
|
A | Ensure::__toString() added | |
|
|
A | Invariant::__toString() added | |
| view all | |||
| Head |  Alexander Lisachenko
|
|---|---|
| ⋮ | 19 more commits |
| Base | Lisachenko Alexander
|
