FoldingRegion class

FoldingRegion

{ "kind": FoldingKind "offset": int "length": int }

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

Constructors

FoldingRegion(FoldingKind kind, int offset, int length)
FoldingRegion.fromJson(JsonDecoder jsonDecoder, String jsonPath, Object? json, {ClientUriConverter? clientUriConverter})
factory

Properties

hashCode int
The hash code for this object.
no setteroverride
kind FoldingKind
The kind of the region.
getter/setter pair
length int
The length of the region to be folded.
getter/setter pair
offset int
The offset of the region to be folded.
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