Java PptSliceの例

コード例 #1

ファイル: SubSequence.java プロジェクト: lukaszzdanikowski/randoop

 // Look up a previously instantiated SubSequence relationship.
 public static SubSequence find(PptSlice ppt) {
   Assert.assertTrue(ppt.arity() == 2);
   for (Invariant inv : ppt.invs) {
     if (inv instanceof SubSequence) return (SubSequence) inv;
   }
   return null;
 }

コード例 #2

ファイル: EltwiseIntEqual.java プロジェクト: lukaszzdanikowski/randoop

 // Look up a previously instantiated invariant.
 public static EltwiseIntEqual find(PptSlice ppt) {
   Assert.assertTrue(ppt.arity() == 1);
   for (Invariant inv : ppt.invs) {
     if (inv instanceof EltwiseIntEqual) return (EltwiseIntEqual) inv;
   }
   return null;
 }

コード例 #3

ファイル: Modulus.java プロジェクト: carolemieux/daikon

 // Look up a previously instantiated invariant.
 public static /*@Nullable*/ Modulus find(PptSlice ppt) {
   assert ppt.arity() == 1;
   for (Invariant inv : ppt.invs) {
     if (inv instanceof Modulus) return (Modulus) inv;
   }
   return null;
 }

コード例 #4

ファイル: EltwiseIntLessThan.java プロジェクト: frenkel/daikon-javascript-output

 // Look up a previously instantiated invariant.
 public static /*@Nullable*/ EltwiseIntLessThan find(PptSlice ppt) {
   assert ppt.arity() == 1;
   for (Invariant inv : ppt.invs) {
     if (inv instanceof EltwiseIntLessThan) return (EltwiseIntLessThan) inv;
   }
   return null;
 }

コード例 #5

ファイル: PairwiseIntLessThan.java プロジェクト: lukaszzdanikowski/randoop

 // Look up a previously instantiated invariant.
 public static PairwiseIntLessThan find(PptSlice ppt) {
   Assert.assertTrue(ppt.arity() == 2);
   for (Invariant inv : ppt.invs) {
     if (inv instanceof PairwiseIntLessThan) return (PairwiseIntLessThan) inv;
   }
   return null;
 }