simplify interface

Author: hoytech

src/MaglevBase.sol

@@ -114,7 +114,7 @@ abstract contract MaglevBase is EVCUtil, Ownable {
             uint256 newReserve1 = reserve1 + amount1In - amount1Out;
 
             require(newReserve0 <= type(uint112).max && newReserve1 <= type(uint112).max, Overflow());
-            verify(amount0In, amount1In, newReserve0, newReserve1);
+            verify(newReserve0, newReserve1);
 
             reserve0 = uint112(newReserve0);
             reserve1 = uint112(newReserve1);
@@ -214,7 +214,7 @@ abstract contract MaglevBase is EVCUtil, Ownable {
 
     // To be implemented by sub-class
 
-    function verify(uint256 amount0In, uint256 amount1In, uint256 newReserve0, uint256 newReserve1) internal virtual;
+    function verify(uint256 newReserve0, uint256 newReserve1) internal view virtual;
 
     function computeQuote(uint256 amount, bool exactIn, bool asset0IsInput) internal view virtual returns (uint256);
 }

src/MaglevConstantProduct.sol

@@ -12,7 +12,7 @@ contract MaglevConstantProduct is MaglevBase {
         return r0 * r1;
     }
 
-    function verify(uint256, uint256, uint256 newReserve0, uint256 newReserve1) internal view virtual override {
+    function verify(uint256 newReserve0, uint256 newReserve1) internal view virtual override {
         uint256 kBefore = k(reserve0, reserve1);
         uint256 kAfter = k(newReserve0, newReserve1);
         require(kAfter >= kBefore, KNotSatisfied());

src/MaglevConstantSum.sol

@@ -23,7 +23,7 @@ contract MaglevConstantSum is MaglevBase {
         return (r0 * priceA) + (r1 * priceB);
     }
 
-    function verify(uint256, uint256, uint256 newReserve0, uint256 newReserve1) internal view virtual override {
+    function verify(uint256 newReserve0, uint256 newReserve1) internal view virtual override {
         uint256 kBefore = k(reserve0, reserve1);
         uint256 kAfter = k(newReserve0, newReserve1);
         require(kAfter >= kBefore, KNotSatisfied());

src/MaglevEulerSwap.sol

@@ -33,7 +33,7 @@ contract MaglevEulerSwap is MaglevBase {
         _cy = params.cy;
     }
 
-    function verify(uint256, uint256, uint256 newReserve0, uint256 newReserve1) internal view virtual override {
+    function verify(uint256 newReserve0, uint256 newReserve1) internal view virtual override {
         int256 delta = 0;
 
         if (newReserve0 >= initialReserve0) {