Исправления для КА

Author: Pastor

vol8/src/main/java/ru/mifi/practice/vol8/otp/Main.java

@@ -2,14 +2,26 @@
 
 import ru.mifi.practice.vol8.Machine;
 
+import java.util.UUID;
+
 import static ru.mifi.practice.vol8.otp.OTPKey.CODE;
 import static ru.mifi.practice.vol8.otp.OTPMachine.PERSISTENCE_CODE;
 
 public abstract class Main {
     public static void main(String[] args) {
         Machine machine = new OTPMachine();
         Machine.Context context = machine.getContext();
+        OTPKey.MAX_SEND_CODE_ATTEMPTS.set(context, 3);
         Machine.State state = machine.execute();
+        if (state.equals(OTP.WAS_SENT)) {
+            context.set(CODE, UUID.randomUUID().toString());
+        }
+        state = machine.execute();
+        if (!state.equals(OTP.FAILED_VERIFIED)) {
+            throw new IllegalStateException();
+        }
+        OTPKey.RESENT.set(context, Boolean.TRUE);
+        state = machine.execute();
         if (state.equals(OTP.WAS_SENT)) {
             context.set(CODE, context.get(PERSISTENCE_CODE, String.class).orElseThrow());
         }

vol8/src/main/java/ru/mifi/practice/vol8/otp/OTP.java

@@ -85,6 +85,7 @@ public State next(Context context, Handler handler) {
             }
             case WAS_SENT -> {
                 if (RESENT.is(context)) {
+                    RESENT.clear(context);
                     return CHECK_SEND;
                 }
                 if (handler.isCodeEquals(context, CODE)) {
@@ -108,6 +109,7 @@ public State next(Context context, Handler handler) {
             }
             case FAILED_VERIFIED -> {
                 if (RESENT.is(context)) {
+                    RESENT.clear(context);
                     VERIFICATION_CODE_ATTEMPTS.clear(context);
                     return CHECK_SEND;
                 } else if (VERIFICATION_CODE_ATTEMPTS.isOverflow(context, MAX_VERIFICATION_CODE_ATTEMPTS)) {

vol_/src/main/java/ru/mifi/practice/voln/prime/MersenneNumbers.java

@@ -49,9 +49,6 @@ public static boolean isMersennePrime(int p) {
 
     /**
      * Возвращает список показателей p ≤ maxP, для которых M_p — простое число.
-     *
-     * @param maxP верхняя граница показателя p (включительно)
-     * @return массив показателей p
      */
     public static int[] mersennePrimeExponentsUpTo(int maxP) {
         if (maxP < 2) {

vol_/src/test/java/ru/mifi/practice/voln/prime/DiffieHellmanTest.java

@@ -42,19 +42,19 @@ void bitLengthConstructorFlow() {
         assertTrue(g.compareTo(BigInteger.ONE) >= 0);
         assertTrue(g.compareTo(p) < 0);
 
-        BigInteger priv1 = party1.getPrivateKey();
-        BigInteger priv2 = party2.getPrivateKey();
-        assertTrue(priv1.compareTo(BigInteger.ONE) >= 0);
-        assertTrue(priv1.compareTo(p.subtract(BigInteger.ONE)) < 0);
-        assertTrue(priv2.compareTo(BigInteger.ONE) >= 0);
-        assertTrue(priv2.compareTo(p.subtract(BigInteger.ONE)) < 0);
+        BigInteger privateKey1 = party1.getPrivateKey();
+        BigInteger privateKey2 = party2.getPrivateKey();
+        assertTrue(privateKey1.compareTo(BigInteger.ONE) >= 0);
+        assertTrue(privateKey1.compareTo(p.subtract(BigInteger.ONE)) < 0);
+        assertTrue(privateKey2.compareTo(BigInteger.ONE) >= 0);
+        assertTrue(privateKey2.compareTo(p.subtract(BigInteger.ONE)) < 0);
 
-        BigInteger pub1 = party1.getPublicKey();
-        BigInteger pub2 = party2.getPublicKey();
-        assertTrue(pub1.compareTo(BigInteger.ONE) >= 0);
-        assertTrue(pub1.compareTo(p) < 0);
-        assertTrue(pub2.compareTo(BigInteger.ONE) >= 0);
-        assertTrue(pub2.compareTo(p) < 0);
+        BigInteger publicKey1 = party1.getPublicKey();
+        BigInteger publicKey2 = party2.getPublicKey();
+        assertTrue(publicKey1.compareTo(BigInteger.ONE) >= 0);
+        assertTrue(publicKey1.compareTo(p) < 0);
+        assertTrue(publicKey2.compareTo(BigInteger.ONE) >= 0);
+        assertTrue(publicKey2.compareTo(p) < 0);
 
         party1.calculateSharedSecret(party2.getPublicKey());
         party2.calculateSharedSecret(party1.getPublicKey());