Merge pull request #77 from gayanW/java-10-72

cyrille-artho · web-flow · commit de446c40fcc6 · 2018-06-06T03:10:27.000+09:00
Suppress warning ChoiceGeneratorBase() has been deprecated
diff --git a/src/main/gov/nasa/jpf/vm/ChoiceGeneratorBase.java b/src/main/gov/nasa/jpf/vm/ChoiceGeneratorBase.java
@@ -100,7 +100,7 @@ public static boolean useRandomization() {
    *  don't use this since it is not safe for cascaded ChoiceGenerators
    * (we need the 'id' to be as context specific as possible)
    */
-  @Deprecated
+  @Deprecated(forRemoval = true)
   protected ChoiceGeneratorBase() {
     id = "?";
   }
diff --git a/src/main/gov/nasa/jpf/vm/choice/PermutationCG.java b/src/main/gov/nasa/jpf/vm/choice/PermutationCG.java
@@ -32,6 +32,8 @@ public class PermutationCG extends ChoiceGeneratorBase<int[]>{
   protected PermutationGenerator pg;
   protected int[] permutation;
   
+  @Deprecated(forRemoval = true)
+  @SuppressWarnings("removal")
   public PermutationCG (PermutationGenerator pg){
     this.pg = pg;
   }

Original file line number	Diff line number	Diff line change
`@@ -100,7 +100,7 @@ public static boolean useRandomization() {`
`100`	`100`	`* don't use this since it is not safe for cascaded ChoiceGenerators`
`101`	`101`	`* (we need the 'id' to be as context specific as possible)`
`102`	`102`	`*/`
`103`		`- @Deprecated`
	`103`	`+ @Deprecated(forRemoval = true)`
`104`	`104`	`protected ChoiceGeneratorBase() {`
`105`	`105`	`id = "?";`
`106`	`106`	`}`
Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,8 @@ public class PermutationCG extends ChoiceGeneratorBase<int[]>{`
`32`	`32`	`protected PermutationGenerator pg;`
`33`	`33`	`protected int[] permutation;`
`34`	`34`
	`35`	`+ @Deprecated(forRemoval = true)`
	`36`	`+ @SuppressWarnings("removal")`
`35`	`37`	`public PermutationCG (PermutationGenerator pg){`
`36`	`38`	`this.pg = pg;`
`37`	`39`	`}`