code: protected LexIdentifierToken readIdToken(String message)
  			throws LexException, ParserException
  	{
  		LexToken tok = reader.getLast();
  
  		if (tok.type == VDMToken.IDENTIFIER)
  		{
  			nextToken();
  			LexIdentifierToken id = (LexIdentifierToken) tok;
  
  			if (id.isOld())
  			{
  				throwMessage(2295, "Can't use old name here", tok);
  			}
  
  			return id;
  		}
  
  		if (tok.type == VDMToken.NAME)
  		{
  			message = "Found qualified name " + tok + ". " + message;
  		}
  
  		throwMessage(2060, message);
  		return null;
  	}
docs: Return the last token as an identifier, and advance by one token. This is similar to calling {@link #lastIdToken}
  followed by nextToken, and returning the result of the lastIdToken.
  
  @param message
  The message to throw if the last token is not an id.
  @return The last token as a LexIdentifierToken.
  @throws LexException
  @throws ParserException