Position class

Position

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

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

Constructors

Position.new(String file, int offset)
Position.fromJson(JsonDecoder jsonDecoder, String jsonPath, Object? json, {ClientUriConverter? clientUriConverter})
factory

Properties

file ↔ String
The file containing the position.
getter/setter pair
hashCode → int
The hash code for this object.
no setteroverride
offset ↔ int
The offset of the position.
getter/setter pair
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
toJson({ClientUriConverter? clientUriConverter}) → Map<String, Object>
Returns a JSON presentation of the object.
toString() → String
A string representation of this object.
override

Operators

operator ==(Object other) → bool
The equality operator.
override