Un Token capace di riconoscere un carattere numerico (cioe' una cifra da '0' a '9') da uno non numerico (e viceversa)
@author Andrea La Rosa
575576577578579580581582583584585586587588
break; case NONWORD: tokens[i] = new WordToken(false); break; case DIGIT: tokens[i] = new DigitToken(true); break; case NONDIGIT: tokens[i] = new DigitToken(false); break; case WHITESPACE: tokens[i] = new WhitespaceToken(true); break; case NONWHITESPACE: