public class SectionHeader
extends java.lang.Object
| Constructor and Description |
|---|
SectionHeader(int level,
java.lang.String text,
int startIndex,
int endIndex,
DiagCollector diagCollector,
Location sourceLocation) |
| Modifier and Type | Method and Description |
|---|---|
void |
error(java.lang.String message,
java.lang.Object... params)
Reports error message.
|
int |
getEndIndex()
The end index (exclusive) of the content the node represents from the source.
|
int |
getLevel()
Returns the heading level.
|
int |
getStartIndex()
The start index (inclusive) of the content the node represents from the source.
|
java.lang.String |
getText()
Returns the header text.
|
public SectionHeader(int level,
java.lang.String text,
int startIndex,
int endIndex,
DiagCollector diagCollector,
Location sourceLocation)
public int getLevel()
public java.lang.String getText()
public int getStartIndex()
public int getEndIndex()
public void error(java.lang.String message,
java.lang.Object... params)