Flutter Engine
The Flutter Engine
|
Public Member Functions | |
HighlightRegion (String type, int offset, int length) | |
boolean | containsInclusive (int x) |
boolean | equals (Object obj) |
int | getLength () |
int | getOffset () |
String | getType () |
int | hashCode () |
JsonObject | toJson () |
String | toString () |
Static Public Member Functions | |
static HighlightRegion | fromJson (JsonObject jsonObject) |
static List< HighlightRegion > | fromJsonArray (JsonArray jsonArray) |
Static Public Attributes | |
static final HighlightRegion[] | EMPTY_ARRAY = new HighlightRegion[0] |
static final List< HighlightRegion > | EMPTY_LIST = Lists.newArrayList() |
A description of a region that could have special highlighting associated with it.
@coverage dart.server.generated.types
Definition at line 32 of file HighlightRegion.java.
|
inline |
Constructor for HighlightRegion
.
Definition at line 56 of file HighlightRegion.java.
|
inline |
Definition at line 62 of file HighlightRegion.java.
|
inline |
Definition at line 67 of file HighlightRegion.java.
|
inlinestatic |
Definition at line 78 of file HighlightRegion.java.
|
inlinestatic |
Definition at line 85 of file HighlightRegion.java.
|
inline |
The length of the region to be highlighted.
Definition at line 100 of file HighlightRegion.java.
|
inline |
The offset of the region to be highlighted.
Definition at line 107 of file HighlightRegion.java.
|
inline |
The type of highlight associated with the region.
Definition at line 114 of file HighlightRegion.java.
|
inline |
Definition at line 119 of file HighlightRegion.java.
|
inline |
Definition at line 127 of file HighlightRegion.java.
|
inline |
Definition at line 136 of file HighlightRegion.java.
|
static |
Definition at line 34 of file HighlightRegion.java.
|
static |
Definition at line 36 of file HighlightRegion.java.