C# (CSharp) Microsoft.Boogie.TypeErasure MapTypeAbstractionBuilderArgumentsの例

コード例 #1

ファイル: TypeErasureArguments.cs プロジェクト: zvonimir/boogie

 // constructor for cloning
 internal MapTypeAbstractionBuilderArguments(TypeAxiomBuilderArguments axBuilder, VCExpressionGenerator gen,
                                             MapTypeAbstractionBuilderArguments builder)
     : base(axBuilder, gen, builder)
 {
     Contract.Requires(builder != null);
     Contract.Requires(gen != null);
     Contract.Requires(axBuilder != null);
     this.AxBuilderArguments = axBuilder;
 }

コード例 #2

ファイル: TypeErasureArguments.cs プロジェクト: Chenguang-Zhu/ICE-C5

 // constructor for cloning
 internal MapTypeAbstractionBuilderArguments(TypeAxiomBuilderArguments axBuilder, VCExpressionGenerator gen, MapTypeAbstractionBuilderArguments builder)
   : base(axBuilder, gen, builder) {
   Contract.Requires(builder != null);
   Contract.Requires(gen != null);
   Contract.Requires(axBuilder != null);
   this.AxBuilderArguments = axBuilder;
 }