PluginVersionCheckResult class
plugin.versionCheck result
{ "isCompatible": bool "name": String "version": String "contactInfo": optional String "interestingFiles": List
Clients may not extend, implement or mix-in this class.
Constructors
-
PluginVersionCheckResult(bool isCompatible, String name, String version, List<
String> interestingFiles, {String? contactInfo}) - PluginVersionCheckResult.fromJson(JsonDecoder jsonDecoder, String jsonPath, Object? json)
-
factory
- PluginVersionCheckResult.fromResponse(Response response)
-
factory
Properties
- contactInfo ↔ String?
-
Information that the user can use to use to contact the maintainers of
the plugin when there is a problem.
getter/setter pair
- hashCode → int
-
The hash code for this object.
no setteroverride
-
interestingFiles
↔ List<
String> -
The glob patterns of the files for which the plugin will provide
information. This value is ignored if the isCompatible field is false.
Otherwise, it will be used to identify the files for which the plugin
should be notified of changes.
getter/setter pair
- isCompatible ↔ bool
-
A flag indicating whether the plugin supports the same version of the
plugin spec as the analysis server. If the value is false, then the
plugin is expected to shutdown after returning the response.
getter/setter pair
- name ↔ String
-
The name of the plugin. This value is only used when the server needs to
identify the plugin, either to the user or for debugging purposes.
getter/setter pair
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- version ↔ String
-
The version of the plugin. This value is only used when the server needs
to identify the plugin, either to the user or for debugging purposes.
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 givenrequestTime
. -
toString(
) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
override