@etherisc/gif-next 0.0.2-4e6a781-730 → 0.0.2-4e99ed1-062

package/artifacts/contracts/experiment/statemachine/SimpleStateMachine.sol/SimpleStateMachine.json

@@ -1,207 +0,0 @@
-{
-  "_format": "hh-sol-artifact-1",
-  "contractName": "SimpleStateMachine",
-  "sourceName": "contracts/experiment/statemachine/SimpleStateMachine.sol",
-  "abi": [
-    {
-      "inputs": [],
-      "stateMutability": "nonpayable",
-      "type": "constructor"
-    },
-    {
-      "inputs": [],
-      "name": "ErrorInitialStateUndefined",
-      "type": "error"
-    },
-    {
-      "inputs": [],
-      "name": "ErrorNextStateUndefined",
-      "type": "error"
-    },
-    {
-      "inputs": [],
-      "name": "ErrorStartStateUndefined",
-      "type": "error"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "StateId",
-          "name": "currentStateId",
-          "type": "uint8"
-        },
-        {
-          "internalType": "StateId",
-          "name": "newStateId",
-          "type": "uint8"
-        }
-      ],
-      "name": "ErrorStateChangeInvalid",
-      "type": "error"
-    },
-    {
-      "anonymous": false,
-      "inputs": [
-        {
-          "indexed": false,
-          "internalType": "StateId",
-          "name": "initialStateId",
-          "type": "uint8"
-        }
-      ],
-      "name": "LogInitialStateSet",
-      "type": "event"
-    },
-    {
-      "anonymous": false,
-      "inputs": [
-        {
-          "indexed": false,
-          "internalType": "StateId",
-          "name": "oldStateId",
-          "type": "uint8"
-        },
-        {
-          "indexed": false,
-          "internalType": "StateId",
-          "name": "newStateId",
-          "type": "uint8"
-        }
-      ],
-      "name": "LogStateChanged",
-      "type": "event"
-    },
-    {
-      "inputs": [],
-      "name": "ACTIVE",
-      "outputs": [
-        {
-          "internalType": "StateId",
-          "name": "stateId",
-          "type": "uint8"
-        }
-      ],
-      "stateMutability": "pure",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "ARCHIVED",
-      "outputs": [
-        {
-          "internalType": "StateId",
-          "name": "stateId",
-          "type": "uint8"
-        }
-      ],
-      "stateMutability": "pure",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "PAUSED",
-      "outputs": [
-        {
-          "internalType": "StateId",
-          "name": "stateId",
-          "type": "uint8"
-        }
-      ],
-      "stateMutability": "pure",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "STATE_ACTIVE",
-      "outputs": [
-        {
-          "internalType": "uint8",
-          "name": "",
-          "type": "uint8"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "STATE_ARCHIVED",
-      "outputs": [
-        {
-          "internalType": "uint8",
-          "name": "",
-          "type": "uint8"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "STATE_PAUSED",
-      "outputs": [
-        {
-          "internalType": "uint8",
-          "name": "",
-          "type": "uint8"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "StateId",
-          "name": "newStateId",
-          "type": "uint8"
-        }
-      ],
-      "name": "changeToState",
-      "outputs": [],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "getState",
-      "outputs": [
-        {
-          "internalType": "StateId",
-          "name": "state",
-          "type": "uint8"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "StateId",
-          "name": "currentStateId",
-          "type": "uint8"
-        },
-        {
-          "internalType": "StateId",
-          "name": "newStateId",
-          "type": "uint8"
-        }
-      ],
-      "name": "isValidTransition",
-      "outputs": [
-        {
-          "internalType": "bool",
-          "name": "isValid",
-          "type": "bool"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    }
-  ],
-  "bytecode": "0x608060405234801561001057600080fd5b5061001d600a6014610044565b6100296014600a610044565b6100356014601e610044565b61003f600a6100c9565b610108565b6100568260005b60ff90811691161490565b156100745760405163b5f9d83760e01b815260040160405180910390fd5b61007f81600061004b565b1561009d5760405163e9c8e0f360e01b815260040160405180910390fd5b60ff9182166000908152602081815260408083209390941682529190915220805460ff19166001179055565b6100d481600061004b565b156100f25760405163251d7b3360e21b815260040160405180910390fd5b6001805460ff191660ff92909216919091179055565b610286806101176000396000f3fe608060405234801561001057600080fd5b50600436106100925760003560e01c806360cb89b91161006657806360cb89b9146100de57806379412d28146100e5578063a9aad58c14610125578063c80c07381461012c578063c90bd0471461013457600080fd5b80622f211a146100975780630c06bb31146100b65780631865c57d146100be57806357c26a35146100c9575b600080fd5b61009f601e81565b60405160ff90911681526020015b60405180910390f35b61009f601481565b60015460ff1661009f565b6100dc6100d73660046101fb565b61013b565b005b601e61009f565b6101156100f336600461021d565b60ff918216600090815260208181526040808320938516835292905220541690565b60405190151581526020016100ad565b601461009f565b61009f600a81565b600a61009f565b60015460ff90811660009081526020818152604080832085851684529091529020541661019057600154604051635d7cbd3d60e01b815260ff9182166004820152908216602482015260440160405180910390fd5b6001805460ff83811660ff1983168117909355604080519190921680825260208201939093527fddbd36f3979db212a01f1175ab2c9205f870d98acf5f28bac835ab5e83337812910160405180910390a15050565b803560ff811681146101f657600080fd5b919050565b60006020828403121561020d57600080fd5b610216826101e5565b9392505050565b6000806040838503121561023057600080fd5b610239836101e5565b9150610247602084016101e5565b9050925092905056fea2646970667358221220c86bc91b6f99eb5927702a99f9c7c9f1aafa586718f762b8f95f1e50db1b38b964736f6c63430008140033",
-  "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100925760003560e01c806360cb89b91161006657806360cb89b9146100de57806379412d28146100e5578063a9aad58c14610125578063c80c07381461012c578063c90bd0471461013457600080fd5b80622f211a146100975780630c06bb31146100b65780631865c57d146100be57806357c26a35146100c9575b600080fd5b61009f601e81565b60405160ff90911681526020015b60405180910390f35b61009f601481565b60015460ff1661009f565b6100dc6100d73660046101fb565b61013b565b005b601e61009f565b6101156100f336600461021d565b60ff918216600090815260208181526040808320938516835292905220541690565b60405190151581526020016100ad565b601461009f565b61009f600a81565b600a61009f565b60015460ff90811660009081526020818152604080832085851684529091529020541661019057600154604051635d7cbd3d60e01b815260ff9182166004820152908216602482015260440160405180910390fd5b6001805460ff83811660ff1983168117909355604080519190921680825260208201939093527fddbd36f3979db212a01f1175ab2c9205f870d98acf5f28bac835ab5e83337812910160405180910390a15050565b803560ff811681146101f657600080fd5b919050565b60006020828403121561020d57600080fd5b610216826101e5565b9392505050565b6000806040838503121561023057600080fd5b610239836101e5565b9150610247602084016101e5565b9050925092905056fea2646970667358221220c86bc91b6f99eb5927702a99f9c7c9f1aafa586718f762b8f95f1e50db1b38b964736f6c63430008140033",
-  "linkReferences": {},
-  "deployedLinkReferences": {}
-}

package/artifacts/contracts/experiment/types/TypeA.sol/TypeALib.dbg.json

@@ -1,4 +0,0 @@
-{
-  "_format": "hh-sol-dbg-1",
-  "buildInfo": "../../../../build-info/11b81a79f72f3a0ca7324b9d494e3b1d.json"
-}

package/artifacts/contracts/experiment/types/TypeA.sol/TypeALib.json

@@ -1,10 +0,0 @@
-{
-  "_format": "hh-sol-artifact-1",
-  "contractName": "TypeALib",
-  "sourceName": "contracts/experiment/types/TypeA.sol",
-  "abi": [],
-  "bytecode": "0x60566037600b82828239805160001a607314602a57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122093fd13de095db220ed5748653d42b1ae7bf41db959dbec592038060eacc641a164736f6c63430008140033",
-  "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122093fd13de095db220ed5748653d42b1ae7bf41db959dbec592038060eacc641a164736f6c63430008140033",
-  "linkReferences": {},
-  "deployedLinkReferences": {}
-}

package/artifacts/contracts/experiment/types/TypeB.sol/TypeBLib.dbg.json

@@ -1,4 +0,0 @@
-{
-  "_format": "hh-sol-dbg-1",
-  "buildInfo": "../../../../build-info/11b81a79f72f3a0ca7324b9d494e3b1d.json"
-}

package/artifacts/contracts/experiment/types/TypeB.sol/TypeBLib.json

@@ -1,10 +0,0 @@
-{
-  "_format": "hh-sol-artifact-1",
-  "contractName": "TypeBLib",
-  "sourceName": "contracts/experiment/types/TypeB.sol",
-  "abi": [],
-  "bytecode": "0x60566037600b82828239805160001a607314602a57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122032a558edadaf027db09db28520087387052afa1b5982f309365dff5079b8c42a64736f6c63430008140033",
-  "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122032a558edadaf027db09db28520087387052afa1b5982f309365dff5079b8c42a64736f6c63430008140033",
-  "linkReferences": {},
-  "deployedLinkReferences": {}
-}

package/contracts/experiment/cloning/Cloner.sol

@@ -1,47 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.20;
-
-import {Clones} from "@openzeppelin/contracts/proxy/Clones.sol";
-
-
-contract Cloner {
-
-    Mock1 public mock1;
-    Mock2 public mock2;
-
-    constructor() {
-        mock1 = new Mock1();
-        mock2 = new Mock2();
-    }
-
-    function createClone(address master)
-        external 
-        returns (address cloned)
-    {
-        cloned = Clones.clone(master);
-    }
-}
-
-
-contract Mock1 {
-    function getValue() external virtual view returns (uint256) {
-        return 42;
-    }
-}
-
-contract Mock2 is Mock1 {
-    uint256 internal _value;
-
-    constructor() {
-        _value = 42;
-    }
-
-    function setValue(uint256 value) external virtual {
-        _value = value;
-    }
-
-    function getValue() external virtual override view returns (uint256) {
-        return _value;
-    }
-}
-

package/contracts/experiment/errors/Require.sol

@@ -1,38 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-contract Require {
-    error AsmallerThanB_S();
-    error AsmallerThanB_M(uint a);
-    error AsmallerThanB_L(uint a, uint b);
-
-    uint256 private _b;
-
-    constructor() {
-        _b = 42;
-    }
-
-    function isAlargerThanBRequire_S(
-        uint a
-    ) external view returns (bool isLarger) {
-        require(a > _b, "ERROR:ABC-001");
-
-        return true;
-    }
-
-    function isAlargerThanBRequire_M(
-        uint a
-    ) external view returns (bool isLarger) {
-        require(a > _b, "ERROR:ABC-002:A_IS_SMALLER");
-
-        return true;
-    }
-
-    function isAlargerThanBRequire_L(
-        uint a
-    ) external view returns (bool isLarger) {
-        require(a > _b, "ERROR:ABC-003:A_IS_SMALLER_THAN_B");
-
-        return true;
-    }
-}

package/contracts/experiment/errors/Revert.sol

@@ -1,44 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-contract Revert {
-    error AsmallerThanB_S();
-    error AsmallerThanB_M(uint a);
-    error AsmallerThanB_L(uint a, uint b);
-
-    uint256 private _b;
-
-    constructor() {
-        _b = 42;
-    }
-
-    function isAlargerThanBRevert_S(
-        uint a
-    ) external view returns (bool isLarger) {
-        if (a <= _b) {
-            revert AsmallerThanB_S();
-        }
-
-        return true;
-    }
-
-    function isAlargerThanBRevert_M(
-        uint a
-    ) external view returns (bool isLarger) {
-        if (a <= _b) {
-            revert AsmallerThanB_M(a);
-        }
-
-        return true;
-    }
-
-    function isAlargerThanBRevert_L(
-        uint a
-    ) external view returns (bool isLarger) {
-        if (a <= _b) {
-            revert AsmallerThanB_L(a, _b);
-        }
-
-        return true;
-    }
-}

package/contracts/experiment/inheritance/A.sol

@@ -1,53 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-import {IA, ISharedA} from "./IA.sol";
-import {B} from "./B.sol";
-import {C} from "./C.sol";
-
-/* 
-
-# dependency graph
-
-   B <...+
-   ^     |
-   |     |
-   A --> C
-
-   - A is the main contract
-   - A provides functionality implemented by modules B and C
-   - B and C rely on functionality shared by A
-   - C accesses functionality of module B
-
-# chisel session
-
-import {A} from "./contracts/experiment/A.sol";
-A a = new A();
-uint(a.getA())
-uint(a.getB()))
-uint(a.getC())
-uint(a.getAfromB())
-uint(a.getAfromC())
-uint(a.getBfromC())
-a.setA(100);
-a.setB(10);
-a.setC(20);
- */
-
-contract AShared is ISharedA {
-    uint256 private _x;
-
-    constructor() {
-        _x = 42;
-    }
-
-    function getA() external view override returns (uint256) {
-        return _x;
-    }
-
-    function setA(uint256 newA) external override {
-        _x = newA;
-    }
-}
-
-contract A is AShared, B, C, IA {}

package/contracts/experiment/inheritance/B.sol

@@ -1,28 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-import {ISharedA} from "./IA.sol";
-import {IB} from "./IB.sol";
-
-abstract contract B is ISharedA, IB {
-    // names of private variables can be re-used in inheritance
-    uint256 private _x;
-
-    constructor() {
-        _x = 1;
-    }
-
-    // access own state
-    function getB() external view override returns (uint256) {
-        return _x;
-    }
-
-    function setB(uint256 newB) external override {
-        _x = newB;
-    }
-
-    // access state from parent contract A
-    function getAfromB() external view override returns (uint256) {
-        return this.getA();
-    }
-}

package/contracts/experiment/inheritance/C.sol

@@ -1,34 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-import {ISharedA} from "./IA.sol";
-import {IB} from "./IB.sol";
-import {IC} from "./IC.sol";
-
-abstract contract C is ISharedA, IC {
-    uint256 private _x;
-
-    constructor() {
-        _x = 2;
-    }
-
-    // access own state
-    function getC() external view override returns (uint256) {
-        return _x;
-    }
-
-    function setC(uint256 newC) external override {
-        _x = newC;
-    }
-
-    // access state from parent contract A
-    function getAfromC() external view override returns (uint256) {
-        return this.getA();
-    }
-
-    // access state from other module B
-    function getBfromC() external view override returns (uint256) {
-        IB b = IB(address(this));
-        return b.getB();
-    }
-}

package/contracts/experiment/inheritance/IA.sol

@@ -1,13 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-import {IB} from "./IB.sol";
-import {IC} from "./IC.sol";
-
-interface ISharedA {
-    function getA() external view returns (uint256);
-
-    function setA(uint256 newA) external;
-}
-
-interface IA is ISharedA, IB, IC {}

package/contracts/experiment/inheritance/IB.sol

@@ -1,10 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-interface IB {
-    function getAfromB() external view returns (uint256);
-
-    function getB() external view returns (uint256);
-
-    function setB(uint256 newA) external;
-}

package/contracts/experiment/inheritance/IC.sol

@@ -1,12 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-interface IC {
-    function getAfromC() external view returns (uint256);
-
-    function getBfromC() external view returns (uint256);
-
-    function getC() external view returns (uint256);
-
-    function setC(uint256 newA) external;
-}

package/contracts/experiment/statemachine/Dummy.sol

@@ -1,27 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-import {ObjectType} from "../../types/ObjectType.sol";
-import {StateId, toStateId, zeroStateId} from "../../types/StateId.sol";
-
-contract LifeCycleModule {
-    mapping(ObjectType objectType => StateId initialState)
-        private _initialState;
-
-    mapping(ObjectType objectType => mapping(StateId stateFrom => mapping(StateId stateTo => bool isValid)))
-        private _isValidTransition;
-
-    function getInitialState(
-        ObjectType objectType
-    ) external view returns (StateId) {
-        return _initialState[objectType];
-    }
-
-    function isValidTransition(
-        ObjectType objectType,
-        StateId fromId,
-        StateId toId
-    ) external view returns (bool) {
-        return _isValidTransition[objectType][fromId][toId];
-    }
-}

package/contracts/experiment/statemachine/ISM.sol

@@ -1,25 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-import {StateId} from "../../types/StateId.sol";
-
-interface ISMEE {
-    error ErrorInitialStateUndefined();
-    error ErrorStartStateUndefined();
-    error ErrorNextStateUndefined();
-    error ErrorStateChangeInvalid(StateId currentStateId, StateId newStateId);
-
-    event LogInitialStateSet(StateId initialStateId);
-    event LogStateChanged(StateId oldStateId, StateId newStateId);
-}
-
-interface ISM is ISMEE {
-    function changeToState(StateId newStateId) external;
-
-    function isValidTransition(
-        StateId currentStateId,
-        StateId newStateId
-    ) external view returns (bool isValid);
-
-    function getState() external view returns (StateId currentStateId);
-}

package/contracts/experiment/statemachine/SM.sol

@@ -1,57 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-import {StateId, toStateId, zeroStateId} from "../../types/StateId.sol";
-import {ISM} from "./ISM.sol";
-
-contract SM is ISM {
-    mapping(StateId currentState => mapping(StateId newState => bool isValid))
-        private _isValidTransition;
-
-    StateId internal _state;
-
-    function setInitialState(StateId initialStateId) internal {
-        if (initialStateId == zeroStateId()) {
-            revert ErrorInitialStateUndefined();
-        }
-
-        _state = initialStateId;
-    }
-
-    function addTransition(
-        StateId currentStateId,
-        StateId nextStateId
-    ) internal {
-        if (currentStateId == zeroStateId()) {
-            revert ErrorStartStateUndefined();
-        }
-
-        if (nextStateId == zeroStateId()) {
-            revert ErrorNextStateUndefined();
-        }
-
-        _isValidTransition[currentStateId][nextStateId] = true;
-    }
-
-    function changeToState(StateId newStateId) external override {
-        if (!_isValidTransition[_state][newStateId]) {
-            revert ErrorStateChangeInvalid(_state, newStateId);
-        }
-
-        StateId stateOld = _state;
-        _state = newStateId;
-
-        emit LogStateChanged(stateOld, _state);
-    }
-
-    function isValidTransition(
-        StateId currentStateId,
-        StateId newStateId
-    ) external view override returns (bool isValid) {
-        return _isValidTransition[currentStateId][newStateId];
-    }
-
-    function getState() external view override returns (StateId state) {
-        return _state;
-    }
-}

package/contracts/experiment/statemachine/SimpleStateMachine.sol

@@ -1,31 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-pragma solidity ^0.8.19;
-
-import {StateId, toStateId} from "../../types/StateId.sol";
-import {SM} from "./SM.sol";
-
-contract SimpleStateMachine is SM {
-    uint8 public constant STATE_ACTIVE = 10;
-    uint8 public constant STATE_PAUSED = 20;
-    uint8 public constant STATE_ARCHIVED = 30;
-
-    constructor() {
-        addTransition(ACTIVE(), PAUSED());
-        addTransition(PAUSED(), ACTIVE());
-        addTransition(PAUSED(), ARCHIVED());
-
-        setInitialState(ACTIVE());
-    }
-
-    function ACTIVE() public pure returns (StateId stateId) {
-        return toStateId(STATE_ACTIVE);
-    }
-
-    function PAUSED() public pure returns (StateId stateId) {
-        return toStateId(STATE_PAUSED);
-    }
-
-    function ARCHIVED() public pure returns (StateId stateId) {
-        return toStateId(STATE_ARCHIVED);
-    }
-}