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);
 }