TerminalSearchResult class
Represents a search result. This instance will be replaced as a whole when the search has to be re-triggered It stores the hits the search produced and the navigation state inside the search results
Constructors
- TerminalSearchResult.empty()
- creates an empty search result
-
TerminalSearchResult.fromHits(List<
TerminalSearchHit> hits) - creates a new search result instance from the given hits
Properties
-
allHits
→ List<
TerminalSearchHit> -
returns all hits of this search result
no setter
- currentSearchHit ↔ int?
-
returns the number of the current search hit
getter/setter pair
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
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