CompletedRewind class final
A completed rewind retained for the repeat-call guard (omp's
CompletedRewindState).
Constructors
- CompletedRewind({required String report, required DateTime startedAt, required DateTime rewoundAt})
-
Creates a CompletedRewind.
const
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- report → String
-
The report retained after the rewind, verbatim.
final
- rewoundAt → DateTime
-
When the rewind completed.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- startedAt → DateTime
-
When the rewound checkpoint was created.
final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited