C# (CSharp) Microsoft.Boogie.VCExprAST HelperFuns Examples

Example #1

File: TypeErasureArguments.cs Project: 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);
 }

Example #2

File: TypeErasureArguments.cs Project: zvonimir/boogie

            public override bool Equals(object that)
            {
                if (that is OpTypesPair)
                {
                    OpTypesPair thatPair = (OpTypesPair)that;
                    return(this.Op.Equals(thatPair.Op) &&
                           HFNS.SameElements(this.Types, thatPair.Types));
                }

                return(false);
            }