public int readCharIn(string s) { if (!onNULL()) { char c = nextChar(); if (s.IndexOf(c) != -1) { return 1; } prevChar(); } return 0; }