int getTokenType(String tokenName) { final ttype = tokenTypeMap[tokenName]; if (ttype != null) return ttype; return Token.INVALID_TYPE; }