C# (CSharp) Microsoft.AbstractInterpretationFramework MultiLatticeの例

コード例 #1

ファイル: MultiLattice.cs プロジェクト: luckysunda/hice-dt

 public SubelementsEnumerable(MultiLattice /*!*/ multiLattice, Elt /*!*/ multiElement)
 {
     Contract.Requires(multiElement != null);
     Contract.Requires(multiLattice != null);
     this.multiLattice = multiLattice;
     this.multiElement = multiElement;
     // base();
 }

コード例 #2

ファイル: MultiLattice.cs プロジェクト: luckysunda/hice-dt

 public SubelementsEnumerator(MultiLattice /*!*/ multiLattice, Elt /*!*/ multiElement)
 {
     Contract.Requires(multiElement != null);
     Contract.Requires(multiLattice != null);
     Contract.Requires(multiElement.elementPerLattice != null);
     this.multiLatticeIter = multiLattice.lattices.GetEnumerator();
     this.multiElementIter = multiElement.elementPerLattice.GetEnumerator();
     // base();
 }

コード例 #3

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

 public SubelementsEnumerable(MultiLattice/*!*/ multiLattice, Elt/*!*/ multiElement) {
   Contract.Requires(multiElement != null);
   Contract.Requires(multiLattice != null);
   this.multiLattice = multiLattice;
   this.multiElement = multiElement;
   // base();
 }

コード例 #4

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

 public SubelementsEnumerator(MultiLattice/*!*/ multiLattice, Elt/*!*/ multiElement) {
   Contract.Requires(multiElement != null);
   Contract.Requires(multiLattice != null);
   Contract.Requires(multiElement.elementPerLattice != null);
   this.multiLatticeIter = multiLattice.lattices.GetEnumerator();
   this.multiElementIter = multiElement.elementPerLattice.GetEnumerator();
   // base();
 }