mirror of
https://github.com/ethauvin/JSON-java.git
synced 2025-06-17 07:50:52 -07:00
adds comment for the API change
This commit is contained in:
parent
e8b1b66888
commit
1736a60ffe
1 changed files with 3 additions and 0 deletions
|
@ -298,6 +298,9 @@ public class XMLTokener extends JSONTokener {
|
||||||
* If it is not found, we are left at the end of the source with a result of false.
|
* If it is not found, we are left at the end of the source with a result of false.
|
||||||
* @param to A string to skip past.
|
* @param to A string to skip past.
|
||||||
*/
|
*/
|
||||||
|
// The Android implementation of JSONTokener has a public method of public void skipPast(String to)
|
||||||
|
// even though ours does not have that method, to have API compatibility, our method in the subclass
|
||||||
|
// should match.
|
||||||
public void skipPast(String to) {
|
public void skipPast(String to) {
|
||||||
boolean b;
|
boolean b;
|
||||||
char c;
|
char c;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue