public XPathTokenElement(string tokenName, int tokenType) : base(tokenName) { this.tokenType = tokenType; }