WincheContractReport class final
The outcome of running a contract suite against an implementation.
Constructors
-
WincheContractReport({required List<
String> passed, required List<WincheContractFailure> failures, required Map<String, String> skipped}) -
Creates a report.
const
Properties
-
failures
→ List<
WincheContractFailure> -
Every check that did not.
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- isSuccess → bool
-
Whether the implementation upholds every check that ran.
no setter
-
passed
→ List<
String> -
Names of the checks that held.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
-
skipped
→ Map<
String, String> -
Checks that could not run because the caller did not supply the driver
they need, with the reason.
final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited