public override int GetHashCode() { return((output == null ? 0 : output.GetHashCode()) ^ (highlighting == null ? 0 : highlighting.GetHashCode())); }