Merge pull request #30 from rainlanguage/2025-03-15-v5ot

2025 03 15 v5ot

Author: thedavidmeister

foundry.toml

@@ -21,5 +21,9 @@ optimizer_runs = 1000000
 bytecode_hash = "none"
 cbor_metadata = false
 
+remappings = [
+  "rain.math.float/=lib/rain.interpreter.interface/lib/rain.math.float/src/"
+]
+
 [fuzz]
 runs = 2048

lib/rain.interpreter.interface

@@ -1,4 +1,4 @@
 {
     "detectors_to_exclude": "assembly-usage,solc-version,unused-imports,pragma",
-    "filter_paths": "forge-std,openzeppelin"
+    "filter_paths": "forge-std,openzeppelin,rain.math.float"
 }

slither.config.json

@@ -0,0 +1,32 @@
+// SPDX-License-Identifier: LicenseRef-DCL-1.0
+// SPDX-FileCopyrightText: Copyright (c) 2020 thedavidmeister
+pragma solidity ^0.8.18;
+
+import {PackedFloat} from "rain.math.float/lib/LibDecimalFloat.sol";
+
+interface IOrderBookV5OrderTaker {
+    /// @notice Called by `IOrderBookV5` when `takeOrders` is called with
+    /// non-zero data, if it caused a non-zero input amount. I.e. if the order(s)
+    /// taker received some tokens. Input and output directions are relative to
+    /// the `IOrderBookV5OrderTaker` contract. If the order(s) taker had an
+    /// active debt from a flash loan then that debt will be paid _before_
+    /// calculating any input amounts sent.
+    /// i.e. the debt is deducted from the input amount before this callback is
+    /// called.
+    /// @param inputToken The token that was sent to `IOrderBookV5OrderTaker`.
+    /// @param outputToken The token that `IOrderBookV5` will attempt to pull
+    /// from `IOrderBookV5OrderTaker` after this callback returns.
+    /// @param inputAmountSent The amount of `inputToken` that was sent to
+    /// `IOrderBookV5OrderTaker`.
+    /// @param totalOutputAmount The total amount of `outputToken` that
+    /// `IOrderBookV5` will attempt to pull from `IOrderBookV5OrderTaker` after
+    /// this callback returns.
+    /// @param takeOrdersData The data passed to `takeOrders` by the caller.
+    function onTakeOrders2(
+        address inputToken,
+        address outputToken,
+        PackedFloat inputAmountSent,
+        PackedFloat totalOutputAmount,
+        bytes calldata takeOrdersData
+    ) external;
+}