public class DefaultParseResult extends java.lang.Object implements ParseResult
ParseResult
. Most, if not all,
Parser
s can return instances of this class.Parser
构造器和说明 |
---|
DefaultParseResult(Parser parser) |
限定符和类型 | 方法和说明 |
---|---|
void |
addNotice(ParserNotice notice)
Adds a parser notice.
|
void |
clearNotices()
Clears any parser notices in this result.
|
java.lang.Exception |
getError()
Returns an error that occurred while parsing the document, if any.
|
int |
getFirstLineParsed()
Returns the first line parsed.
|
int |
getLastLineParsed()
Returns the first line parsed.
|
java.util.List<ParserNotice> |
getNotices()
Returns the notices for the parsed section.
|
Parser |
getParser()
Returns the parser that generated these notices.
|
long |
getParseTime()
Returns the amount of time this parser took to parse the specified
range of text.
|
void |
setError(java.lang.Exception e)
Sets the error that occurred when last parsing the document, if
any.
|
void |
setParsedLines(int first,
int last)
Sets the line range parsed.
|
void |
setParseTime(long time)
Sets the amount of time it took for this parser to parse the document.
|
public DefaultParseResult(Parser parser)
public void addNotice(ParserNotice notice)
notice
- The new notice.clearNotices()
public void clearNotices()
public java.lang.Exception getError()
getError
在接口中 ParseResult
null
if the document was
successfully parsed.public int getFirstLineParsed()
0
and parse the entire document.getFirstLineParsed
在接口中 ParseResult
ParseResult.getLastLineParsed()
public int getLastLineParsed()
getLastLineParsed
在接口中 ParseResult
ParseResult.getFirstLineParsed()
public java.util.List<ParserNotice> getNotices()
getNotices
在接口中 ParseResult
ParserNotice
s.public long getParseTime()
0
for this value.getParseTime
在接口中 ParseResult
0
if the
parse time was not recorded.public Parser getParser()
getParser
在接口中 ParseResult
public void setError(java.lang.Exception e)
e
- The error that occurred, or null
if no error
occurred.public void setParseTime(long time)
time
- The amount of time, in milliseconds.getParseTime()
public void setParsedLines(int first, int last)
first
- The first line parsed, inclusive.last
- The last line parsed, inclusive.getFirstLineParsed()
,
getLastLineParsed()