public override int GetHashCode()
{
int hash = 1;
if (Selector.Length != 0)
{
hash ^= Selector.GetHashCode();
}
if (Address.Length != 0)
{
hash ^= Address.GetHashCode();
}
if (Deadline != 0D)
{
hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(Deadline);
}
if (MinDeadline != 0D)
{
hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(MinDeadline);
}
if (OperationDeadline != 0D)
{
hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(OperationDeadline);
}
if (PathTranslation != global::Google.Api.BackendRule.Types.PathTranslation.Unspecified)
{
hash ^= PathTranslation.GetHashCode();
}
if (authenticationCase_ == AuthenticationOneofCase.JwtAudience)
{
hash ^= JwtAudience.GetHashCode();
}
if (authenticationCase_ == AuthenticationOneofCase.DisableAuth)
{
hash ^= DisableAuth.GetHashCode();
}
if (Protocol.Length != 0)
{
hash ^= Protocol.GetHashCode();
}
hash ^= (int)authenticationCase_;
if (_unknownFields != null)
{
hash ^= _unknownFields.GetHashCode();
}
return(hash);
}
private void AddPath()
{
var pathTranslation = new PathTranslation(this);
pathTranslations.Add(pathTranslation.TransitionRelationExpr);
if (CommandLineOptions.Clo.WarnNotEliminatedVars)
{
var quantifiedVars = pathTranslation.GetQuantifiedOriginalVariables();
if (quantifiedVars.Any())
{
checkingContext.Warning(Token.NoToken,
string.Format("{0}: could not eliminate variables {{{1}}} on some path",
messagePrefix, string.Join(", ", quantifiedVars)));
}
}
}
public override int GetHashCode()
{
int hash = 1;
if (Selector.Length != 0)
{
hash ^= Selector.GetHashCode();
}
if (Address.Length != 0)
{
hash ^= Address.GetHashCode();
}
if (Deadline != 0D)
{
hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(Deadline);
}
if (MinDeadline != 0D)
{
hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(MinDeadline);
}
if (OperationDeadline != 0D)
{
hash ^= pbc::ProtobufEqualityComparers.BitwiseDoubleEqualityComparer.GetHashCode(OperationDeadline);
}
if (PathTranslation != 0)
{
hash ^= PathTranslation.GetHashCode();
}
if (authenticationCase_ == AuthenticationOneofCase.JwtAudience)
{
hash ^= JwtAudience.GetHashCode();
}
hash ^= (int)authenticationCase_;
if (_unknownFields != null)
{
hash ^= _unknownFields.GetHashCode();
}
return(hash);
}
