public class SourceSection
extends java.lang.Object
| Constructor and Description |
|---|
SourceSection(SectionHeader header,
int startIndex,
int endIndex,
DiagCollector diagCollector,
Location sourceLocation) |
| Modifier and Type | Method and Description |
|---|---|
void |
addContents(java.util.Collection<ContentElement> contents)
Adds content to the section.
|
void |
error(java.lang.String message,
java.lang.Object... params)
Reports error message.
|
java.lang.Iterable<ContentElement> |
getContents()
Returns contents of the section.
|
int |
getEndIndex()
The end index (exclusive) of the content the node represents from the source.
|
SectionHeader |
getHeader()
Returns header of the section.
|
int |
getStartIndex()
The start index (inclusive) of the content the node represents from the source.
|
public SourceSection(SectionHeader header, int startIndex, int endIndex, DiagCollector diagCollector, Location sourceLocation)
public void addContents(java.util.Collection<ContentElement> contents)
public SectionHeader getHeader()
public java.lang.Iterable<ContentElement> getContents()
public int getStartIndex()
public int getEndIndex()
public void error(java.lang.String message,
java.lang.Object... params)