private int readSlashSlashComment() { this.pushPos(); if (nextChar() == '/') { if (nextChar() == '/') { while (readNonReturn()) { } popPos(); return 1; } } popPosBack(); return 0; }