CheckResult class
Result of running the invariant checker on a single file's source.
Exactly one of violations, skipDirective, or "clean" (both null /
empty) is materially set per file. violations lists Dart-level rule
breaks; skipDirective records a valid CHECK_JS_INVARIANTS_SKIP_FILE
directive in the file header.
Constructors
-
CheckResult({required String filePath, required List<
String> violations, required ({int issue, String reason})? skipDirective}) -
Creates a CheckResult; produced by checkSource.
const
Properties
- filePath → String
-
The path the source was attributed to (used in violation messages).
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- isClean → bool
-
Whether the file passed with no violations and no skip directive.
no setter
- isSkipped → bool
-
Whether the file was exempted by a valid skip directive.
no setter
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- skipDirective → ({int issue, String reason})?
-
The parsed skip directive, when the file opted out via a valid
CHECK_JS_INVARIANTS_SKIP_FILEheader line.final -
violations
→ List<
String> -
Human-readable violation messages, one per rule break.
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