Check
abstract class
abstract class Check {
final bool quiet;
Check(this.quiet);
check(Property);
void display(String message) {
if (!quiet) {
stdout.write("\r\u001b[K$message");
}
}
void clear() => display('');
static String _errorMessage(int counter, _Product prod) {
final res = new StringBuffer("falsified after $counter tests\n");
final args = prod.toStrings();
for (int i = 0; i < args.length; i++) {
res.write(" argument ${i+1}: ${args[i]}\n");
}
return res.toString();
}
}
Subclasses
QuickCheck, SmallCheck
Constructors
new Check(bool quiet) #
Creates a new Object instance.
Object instances have no meaningful state, and are only useful
through their identity. An Object instance is equal to itself
only.
Check(this.quiet);
Methods
abstract dynamic check(Property) #
void clear() #
void clear() => display('');
void display(String message) #
void display(String message) {
if (!quiet) {
stdout.write("\r\u001b[K$message");
}
}