C# (CSharp) VCExprOp.GetHashCode Exemples

Exemple #1

Fichier : TypeErasureArguments.cs Projet : zvonimir/boogie

 public OpTypesPair(VCExprOp op, List <Type /*!*/> /*!*/ types)
 {
     Contract.Requires(op != null);
     Contract.Requires(cce.NonNullElements(types));
     this.Op       = op;
     this.Types    = types;
     this.HashCode = HFNS.PolyHash(op.GetHashCode(), 17, types);
 }

Exemple #2

Fichier : TypeErasureArguments.cs Projet : Chenguang-Zhu/ICE-C5

 public OpTypesPair(VCExprOp op, List<Type/*!*/>/*!*/ types) {
   Contract.Requires(op != null);
   Contract.Requires(cce.NonNullElements(types));
   this.Op = op;
   this.Types = types;
   this.HashCode = HFNS.PolyHash(op.GetHashCode(), 17, types);
 }