C# (CSharp) BvTypeProxy示例

示例#1

文件： TypeAmbiguitySeeker.cs 项目： CrystalMei/boogie

        public override Type VisitBvTypeProxy(BvTypeProxy node)
        {
            //Contract.Requires(node != null);
            Contract.Ensures(Contract.Result <Type>() != null);
            if (node.ProxyFor != null)
            {
                return(base.VisitBvTypeProxy(node));
            }

            return(Instantiate(node, new BvType(node.MinBits)));
        }

示例#2

文件： StandardVisitor.cs 项目： luckysunda/hice-dt

 public virtual Type VisitBvTypeProxy(BvTypeProxy node)
 {
     Contract.Requires(node != null);
     Contract.Ensures(Contract.Result <Type>() != null);
     // if the type proxy is instantiated with some more
     // specific type, we visit the instantiation
     if (node.ProxyFor != null)
     {
         return((Type)this.Visit(node.ProxyFor));
     }
     return(this.VisitType(node));
 }

示例#3

文件： StandardVisitor.cs 项目： qunyanm/boogie

 public override Type VisitBvTypeProxy(BvTypeProxy node)
 {
     Contract.Ensures(Contract.Result<Type>() == node);
     // if the type proxy is instantiated with some more
     // specific type, we visit the instantiation
     if (node.ProxyFor != null)
         this.Visit(node.ProxyFor);
     return this.VisitType(node);
 }

示例#4

文件： StandardVisitor.cs 项目： qunyanm/boogie

 public virtual Type VisitBvTypeProxy(BvTypeProxy node) {
   Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Type>() != null);
   // if the type proxy is instantiated with some more
   // specific type, we visit the instantiation
   if (node.ProxyFor != null)
     return (Type)this.Visit(node.ProxyFor);
   return this.VisitType(node);
 }

示例#5

文件： TypeAmbiguitySeeker.cs 项目： qunyanm/boogie

    public override Type VisitBvTypeProxy(BvTypeProxy node) {
      //Contract.Requires(node != null);
      Contract.Ensures(Contract.Result<Type>() != null);
      if (node.ProxyFor != null)
        return base.VisitBvTypeProxy(node);

      return Instantiate(node, new BvType(node.MinBits));
    }

示例#6

 public override Type VisitBvTypeProxy(BvTypeProxy node)
 {
     problematicNode = node;
     return(node);
 }