Flutter Engine
The Flutter Engine
|
Public Member Functions | |
FoldingRegion (String kind, int offset, int length) | |
boolean | equals (Object obj) |
String | getKind () |
int | getLength () |
int | getOffset () |
int | hashCode () |
JsonObject | toJson () |
String | toString () |
Static Public Member Functions | |
static FoldingRegion | fromJson (JsonObject jsonObject) |
static List< FoldingRegion > | fromJsonArray (JsonArray jsonArray) |
Static Public Attributes | |
static final FoldingRegion[] | EMPTY_ARRAY = new FoldingRegion[0] |
static final List< FoldingRegion > | EMPTY_LIST = Lists.newArrayList() |
A description of a region that can be folded.
@coverage dart.server.generated.types
Definition at line 32 of file FoldingRegion.java.
|
inline |
Constructor for FoldingRegion
.
Definition at line 56 of file FoldingRegion.java.
|
inline |
Definition at line 63 of file FoldingRegion.java.
|
inlinestatic |
Definition at line 74 of file FoldingRegion.java.
|
inlinestatic |
Definition at line 81 of file FoldingRegion.java.
|
inline |
|
inline |
The length of the region to be folded.
Definition at line 103 of file FoldingRegion.java.
|
inline |
The offset of the region to be folded.
Definition at line 110 of file FoldingRegion.java.
|
inline |
Definition at line 115 of file FoldingRegion.java.
|
inline |
Definition at line 123 of file FoldingRegion.java.
|
inline |
Definition at line 132 of file FoldingRegion.java.
|
static |
Definition at line 34 of file FoldingRegion.java.
|
static |
Definition at line 36 of file FoldingRegion.java.