public class FoldingRange
extends java.lang.Object
Constructor and Description |
---|
FoldingRange() |
FoldingRange(int startLine,
int endLine) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Integer |
getEndCharacter()
The zero-based character offset before the folded range ends.
|
int |
getEndLine()
The zero-based line number where the folded range ends.
|
java.lang.String |
getKind()
Describes the kind of the folding range such as
FoldingRangeKind.Comment or FoldingRangeKind.Region . |
java.lang.Integer |
getStartCharacter()
The zero-based character offset from where the folded range starts.
|
int |
getStartLine()
The zero-based line number from where the folded range starts.
|
int |
hashCode() |
void |
setEndCharacter(java.lang.Integer endCharacter)
The zero-based character offset before the folded range ends.
|
void |
setEndLine(int endLine)
The zero-based line number where the folded range ends.
|
void |
setKind(java.lang.String kind)
Describes the kind of the folding range such as
FoldingRangeKind.Comment or FoldingRangeKind.Region . |
void |
setStartCharacter(java.lang.Integer startCharacter)
The zero-based character offset from where the folded range starts.
|
void |
setStartLine(int startLine)
The zero-based line number from where the folded range starts.
|
java.lang.String |
toString() |
public FoldingRange()
public FoldingRange(int startLine, int endLine)
@Pure public int getStartLine()
public void setStartLine(int startLine)
@Pure public int getEndLine()
public void setEndLine(int endLine)
@Pure public java.lang.Integer getStartCharacter()
public void setStartCharacter(java.lang.Integer startCharacter)
@Pure public java.lang.Integer getEndCharacter()
public void setEndCharacter(java.lang.Integer endCharacter)
@Pure public java.lang.String getKind()
FoldingRangeKind.Comment
or FoldingRangeKind.Region
.
The kind is used to categorize folding ranges and used by commands like 'Fold all comments'.
See FoldingRangeKind
for an enumeration of standardized kinds.public void setKind(java.lang.String kind)
FoldingRangeKind.Comment
or FoldingRangeKind.Region
.
The kind is used to categorize folding ranges and used by commands like 'Fold all comments'.
See FoldingRangeKind
for an enumeration of standardized kinds.@Pure public java.lang.String toString()
toString
in class java.lang.Object
@Pure public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
@Pure public int hashCode()
hashCode
in class java.lang.Object