public override int GetHashCode()
{
unchecked
{
int hashCode = StartElement.GetHashCode();
hashCode = (hashCode * 397) ^ EndOfInputElement.GetHashCode();
hashCode = (hashCode * 397) ^ Productions.GetHashCode();
return(hashCode);
}
}