Java TokenScanner.scanNumbers Examples

Example #1

File: JBEConsole_setTitle.java Project: vhatgithub/stanford-cpp-library

 public void execute(TokenScanner paramTokenScanner, JavaBackEnd jbe) {
   paramTokenScanner.scanNumbers();
   paramTokenScanner.verifyToken("(");
   String title = nextString(paramTokenScanner);
   paramTokenScanner.verifyToken(")");
   jbe.consoleSetTitle(title);
 }