AnalysisGetNavigationResult class

analysis.getNavigation result

{ "files": List

Clients may not extend, implement or mix-in this class.

Constructors

AnalysisGetNavigationResult(List<String> files, List<NavigationTarget> targets, List<NavigationRegion> regions)

AnalysisGetNavigationResult.fromJson(JsonDecoder jsonDecoder, String jsonPath, Object? json)

factory

AnalysisGetNavigationResult.fromResponse(Response response)

factory

Properties

files ↔ List<String>

A list of the paths of files that are referenced by the navigation targets.

getter/setter pair

hashCode → int

The hash code for this object.

no setter, override

regions ↔ List<NavigationRegion>

A list of the navigation regions within the requested region of the file.

getter/setter pair

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

targets ↔ List<NavigationTarget>

A list of the navigation targets that are referenced by the navigation regions.

getter/setter pair

Methods

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toJson() → Map<String, Object>

Returns a JSON presentation of the object.

toResponse(String id, int requestTime) → Response

Return a response whose result data is this object for the request with the given id, where the request was received at the given requestTime.

toString() → String

A string representation of this object.

override

Operators

operator ==(Object other) → bool

The equality operator.

override