Un Token capace di distinguere caratteri che sono 'spazi' da caratteri che non lo sono (e viceversa).
@author Andrea La Rosa
581582583584585586587588589590591592593594
break; case NONDIGIT: tokens[i] = new DigitToken(false); break; case WHITESPACE: tokens[i] = new WhitespaceToken(true); break; case NONWHITESPACE: tokens[i] = new WhitespaceToken(false); break; case ALPHA: tokens[i] = new AlphabethicToken(true); break; case NONALPHA: