public void UpdateRange(Token token) { if (token.StartPos < StartPos) StartPos = token.StartPos; if (token.EndPos > EndPos) EndPos = token.EndPos; }