Remove an unused Parser.scanWhitespace() method (#770)

Closes #767
This commit is contained in:
Natalie Weizenbaum 2019-07-18 21:50:41 +01:00 committed by GitHub
parent ea4436b87d
commit c971615fbf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -78,14 +78,6 @@ class Parser {
} while (scanComment());
}
/// Like [whitespace], but returns whether any was consumed.
@protected
bool scanWhitespace() {
var start = scanner.position;
whitespace();
return scanner.position != start;
}
/// Consumes whitespace, but not comments.
@protected
void whitespaceWithoutComments() {