AnalysisGetNavigationParams class

analysis.getNavigation params

{ "file": FilePath "offset": int "length": int }

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

Constructors

AnalysisGetNavigationParams(String file, int offset, int length)

AnalysisGetNavigationParams.fromJson(JsonDecoder jsonDecoder, String jsonPath, Object? json, {ClientUriConverter? clientUriConverter})

factory

AnalysisGetNavigationParams.fromRequest(Request request, {ClientUriConverter? clientUriConverter})

factory

Properties

file ↔ String

The file in which navigation information is being requested.

getter/setter pair

hashCode → int

The hash code for this object.

no setter, override

length ↔ int

The length of the region for which navigation information is being requested.

getter/setter pair

offset ↔ int

The offset of the region for which navigation information is being requested.

getter/setter pair

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toJson({ClientUriConverter? clientUriConverter}) → Map<String, Object>

Returns a JSON presentation of the object.

toRequest(String id, {ClientUriConverter? clientUriConverter}) → Request

Return a request whose parameters are taken from this object and that has the given id.

toString() → String

A string representation of this object.

override

Operators

operator ==(Object other) → bool

The equality operator.

override