92 |
// TODO ignorableWhitespace |
// TODO ignorableWhitespace |
93 |
ignorableWhitespace = whitespace && false; |
ignorableWhitespace = whitespace && false; |
94 |
return new CharactersImpl(location, text, |
return new CharactersImpl(location, text, |
95 |
whitespace, true, ignorableWhitespace); |
whitespace, false, ignorableWhitespace); |
96 |
case XMLStreamConstants.COMMENT: |
case XMLStreamConstants.COMMENT: |
97 |
text = reader.getText(); |
text = reader.getText(); |
98 |
return new CommentImpl(location, text); |
return new CommentImpl(location, text); |
130 |
// TODO ignorableWhitespace |
// TODO ignorableWhitespace |
131 |
ignorableWhitespace = whitespace && false; |
ignorableWhitespace = whitespace && false; |
132 |
return new CharactersImpl(location, text, |
return new CharactersImpl(location, text, |
133 |
whitespace, true, ignorableWhitespace); |
whitespace, false, ignorableWhitespace); |
134 |
case XMLStreamConstants.START_DOCUMENT: |
case XMLStreamConstants.START_DOCUMENT: |
135 |
String systemId = location.getLocationURI(); |
String systemId = location.getLocationURI(); |
136 |
String encoding = reader.getCharacterEncodingScheme(); |
String encoding = reader.getCharacterEncodingScheme(); |