Minor modifications to the sample

Author: j-fliegenschmidt

src/main/java/de/rub/nds/modifiablevariable/biginteger/BigIntegerInteractiveModification.java

@@ -17,18 +17,17 @@
  * @author Janis Fliegenschmidt - janis.fliegenschmidt@rub.de
  */
 @XmlRootElement
-@XmlType(propOrder = {"interactive", "modificationFilter", "postModification"})
+@XmlType(propOrder = { "interactive", "modificationFilter", "postModification" })
 public class BigIntegerInteractiveModification extends VariableModification<BigInteger> {
 
     private InteractiveBigIntegerModification modification;
 
-    public BigIntegerInteractiveModification() {
+    protected BigIntegerInteractiveModification() {
         this(new InteractiveBigIntegerModification() {
             @Override
             public BigInteger modify(BigInteger oldVal) {
                 // Fail fast
-                throw new UnsupportedOperationException("No interactive modifi"
-                        + "cation specified.");
+                throw new UnsupportedOperationException("No interactive modifi" + "cation specified.");
             }
         });
     }

src/main/java/de/rub/nds/modifiablevariable/biginteger/BigIntegerModificationFactory.java

@@ -88,24 +88,32 @@ public static VariableModification<BigInteger> explicitValueFromFile(int value)
         return modifications.get(pos);
     }
 
-    public static VariableModification<BigInteger> interactive() {
-        return new BigIntegerInteractiveModification(
-                new BigIntegerInteractiveModification.InteractiveBigIntegerModification() {
+    public static VariableModification<BigInteger> interactive(final String variableName) {
+        return interactive(new BigIntegerInteractiveModification.InteractiveBigIntegerModification() {
             @Override
             public BigInteger modify(BigInteger oldVal) {
                 BigInteger result = null;
-                
-                System.out.println("Enter new value for BigInt (Old value is " 
-                        + oldVal.toString() + "): ");
+
+                System.out.println("Enter new value for " + variableName + " (Old value is " + oldVal.toString()
+                        + "): ");
                 String input = System.console().readLine().trim();
-                
+
                 result = new BigInteger(input);
-                
+
                 return result;
             }
         });
     }
 
+    public static VariableModification<BigInteger> interactive() {
+        return interactive("BigInt");
+    }
+
+    public static VariableModification<BigInteger> interactive(
+            BigIntegerInteractiveModification.InteractiveBigIntegerModification modification) {
+        return new BigIntegerInteractiveModification(modification);
+    }
+
     public static synchronized List<VariableModification<BigInteger>> modificationsFromFile() {
         try {
             if (modificationsFromFile == null) {