EditGetFixesParams class

edit.getFixes params

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

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

Constructors

EditGetFixesParams(String file, int offset)
EditGetFixesParams.fromJson(JsonDecoder jsonDecoder, String jsonPath, Object? json)
factory
EditGetFixesParams.fromRequest(Request request)
factory

Properties

file String
The file containing the errors for which fixes are being requested.
getter/setter pair
hashCode int
The hash code for this object.
no setteroverride
offset int
The offset used to select the errors for which fixes will be returned.
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() Map<String, Object>
Returns a JSON presentation of the object.
toRequest(String id) 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