تشريح العقود الذكية

// مثال سوليديتي
// يهيئ بيانات العقد، ويضبط `owner`
// على عنوان مُنشئ العقد.
constructor() public {
    // تعتمد جميع العقود الذكية على المعاملات الخارجية لتشغيل دوالها.
    // `msg` هو متغير عالمي يتضمن البيانات ذات الصلة بالمعاملة المحددة،
    // مثل عنوان المرسل وقيمة ETH المضمنة في المعاملة.
    // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/units-and-global-variables.html#block-and-transaction-properties
    owner = msg.sender;
}

pragma solidity >=0.4.0 <=0.6.0;

contract ExampleDapp {
    string dapp_name; // متغير الحالة

    // تُستدعى عند نشر العقد وتهيئ القيمة
    constructor() public {
        dapp_name = "تطبيقي اللامركزي المثالي";
    }

    // دالة الجلب
    function read_name() public view returns(string) {
        return dapp_name;
    }

    // دالة الضبط
    function update_name(string value) public {
        dapp_name = value;
    }
}

// يحدد إصدار سوليديتي، باستخدام الإصدار الدلالي.
// اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/layout-of-source-files.html#pragma
pragma solidity ^0.5.10;

// يُعرِّف عقدًا باسم `HelloWorld`.
// العقد هو مجموعة من الدوال والبيانات (حالته).
// بمجرد نشره، يقيم العقد على عنوان محدد على بلوكتشين إيثريوم.
// اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/structure-of-a-contract.html
contract HelloWorld {

    // يُعلن عن متغير حالة `message` من النوع `string`.
    // متغيرات الحالة هي متغيرات تُخزن قيمها بشكل دائم في مساحة تخزين العقد.
    // الكلمة المفتاحية `public` تجعل المتغيرات قابلة للوصول من خارج العقد
    // وتنشئ دالة يمكن للعقود الأخرى أو العملاء استدعاؤها للوصول إلى القيمة.
    string public message;

    // على غرار العديد من لغات البرمجة الشيئية القائمة على الأصناف، المُنشئ هو
    // دالة خاصة لا تُنفذ إلا عند إنشاء العقد.
    // تُستخدم المُنشِئات لتهيئة بيانات العقد.
    // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#constructors
    constructor(string memory initMessage) public {
        // يقبل وسيط سلسلة نصية `initMessage` ويضبط القيمة
        // في متغير التخزين `message` الخاص بالعقد).
        message = initMessage;
    }

    // دالة عامة تقبل وسيط سلسلة نصية
    // وتُحدِّث متغير التخزين `message`.
    function update(string memory newMessage) public {
        message = newMessage;
    }
}

pragma solidity ^0.5.10;

contract Token {
    // يشبه `address` عنوان البريد الإلكتروني - يُستخدم لتعريف حساب على إيثريوم.
    // يمكن أن تمثل العناوين عقدًا ذكيًا أو حسابات خارجية (للمستخدمين).
    // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/types.html#address
    address public owner;

    // `mapping` هو في الأساس بنية بيانات جدول التجزئة (هاش).
    // يقوم هذا الـ `mapping` بتعيين عدد صحيح غير مُشار إليه (رصيد الرمز) إلى عنوان (حامل الرمز).
    // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/types.html#mapping-types
    mapping (address => uint) public balances;

    // تسمح الأحداث بتسجيل النشاط على البلوكتشين.
    // يمكن لعملاء إيثريوم الاستماع إلى الأحداث من أجل التفاعل مع تغييرات حالة العقد.
    // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#events
    event Transfer(address from, address to, uint amount);

    // يهيئ بيانات العقد، ويضبط `owner`
    // على عنوان مُنشئ العقد.
    constructor() public {
        // تعتمد جميع العقود الذكية على المعاملات الخارجية لتشغيل دوالها.
        // `msg` هو متغير عالمي يتضمن البيانات ذات الصلة بالمعاملة المحددة،
        // مثل عنوان المرسل وقيمة ETH المضمنة في المعاملة.
        // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/units-and-global-variables.html#block-and-transaction-properties
        owner = msg.sender;
    }

    // ينشئ كمية من الرموز الجديدة ويرسلها إلى عنوان.
    function mint(address receiver, uint amount) public {
        // `require` هي بنية تحكم تستخدم لفرض شروط معينة.
        // إذا تم تقييم عبارة `require` إلى `false`، يتم إطلاق استثناء،
        // والذي يعكس جميع التغييرات التي تم إجراؤها على الحالة أثناء الاستدعاء الحالي.
        // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/control-structures.html#error-handling-assert-require-revert-and-exceptions

        // يمكن لمالك العقد فقط استدعاء هذه الدالة
        require(msg.sender == owner, "أنت لست المالك.");

        // يفرض حدًا أقصى لكمية الرموز
        require(amount < 1e60, "تم تجاوز الحد الأقصى للإصدار");

        // يزيد رصيد `receiver` بمقدار `amount`
        balances[receiver] += amount;
    }

    // يرسل كمية من الرموز الموجودة من أي مستدعٍ إلى عنوان.
    function transfer(address receiver, uint amount) public {
        // يجب أن يكون لدى المرسل ما يكفي من الرموز لإرسالها
        require(amount <= balances[msg.sender], "رصيد غير كافٍ.");

        // يعدل أرصدة الرموز للعنوانين
        balances[msg.sender] -= amount;
        balances[receiver] += amount;

        // يُصدر الحدث المحدد سابقًا
        emit Transfer(msg.sender, receiver, amount);
    }
}

pragma solidity ^0.5.10;

// يستورد الرموز من ملفات أخرى إلى العقد الحالي.
// في هذه الحالة، سلسلة من العقود المساعدة من OpenZeppelin.
// اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/layout-of-source-files.html#importing-other-source-files

import "../node_modules/@openzeppelin/contracts/token/ERC721/IERC721.sol";
import "../node_modules/@openzeppelin/contracts/token/ERC721/IERC721Receiver.sol";
import "../node_modules/@openzeppelin/contracts/introspection/ERC165.sol";
import "../node_modules/@openzeppelin/contracts/math/SafeMath.sol";

// تُستخدم الكلمة المفتاحية `is` لوراثة الدوال والكلمات المفتاحية من العقود الخارجية.
// في هذه الحالة، يرث `CryptoPizza` من عقود `IERC721` و `ERC165`.
// اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#inheritance
contract CryptoPizza is IERC721, ERC165 {
    // يستخدم مكتبة SafeMath من OpenZeppelin لإجراء العمليات الحسابية بأمان.
    // اعرف المزيد: https://docs.openzeppelin.com/contracts/2.x/api/math#SafeMath
    using SafeMath for uint256;

    // متغيرات الحالة الثابتة في سوليديتي تشبه اللغات الأخرى
    // ولكن يجب عليك التعيين من تعبير ثابت في وقت الترجمة.
    // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#constant-state-variables
    uint256 constant dnaDigits = 10;
    uint256 constant dnaModulus = 10 ** dnaDigits;
    bytes4 private constant _ERC721_RECEIVED = 0x150b7a02;

    // تتيح لك أنواع Struct تحديد النوع الخاص بك
    // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/types.html#structs
    struct Pizza {
        string name;
        uint256 dna;
    }

    // ينشئ مصفوفة فارغة من هياكل Pizza
    Pizza[] public pizzas;

    // ربط من معرف البيتزا إلى عنوان مالكها
    mapping(uint256 => address) public pizzaToOwner;

    // ربط من عنوان المالك إلى عدد الرموز المملوكة
    mapping(address => uint256) public ownerPizzaCount;

    // ربط من معرف الرمز إلى العنوان المعتمد
    mapping(uint256 => address) pizzaApprovals;

    // يمكنك تداخل عمليات الربط، هذا المثال يربط المالك بموافقات المشغل
    mapping(address => mapping(address => bool)) private operatorApprovals;

    // دالة داخلية لإنشاء بيتزا عشوائية من سلسلة نصية (الاسم) والحمض النووي (DNA)
    function _createPizza(string memory _name, uint256 _dna)
        // الكلمة المفتاحية `internal` تعني أن هذه الدالة مرئية فقط
        // داخل هذا العقد والعقود التي تشتق من هذا العقد
        // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#visibility-and-getters
        internal
        // `isUnique` هو مُعدِّل دالة يتحقق مما إذا كانت البيتزا موجودة بالفعل
        // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/structure-of-a-contract.html#function-modifiers
        isUnique(_name, _dna)
    {
        // يضيف البيتزا إلى مصفوفة البيتزا ويحصل على المعرف
        uint256 id = SafeMath.sub(pizzas.push(Pizza(_name, _dna)), 1);

        // يتحقق من أن مالك البيتزا هو نفس المستخدم الحالي
        // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/control-structures.html#error-handling-assert-require-revert-and-exceptions

        // لاحظ أن address(0) هو العنوان الصفري،
        // مما يشير إلى أن pizza[id] لم يتم تخصيصها بعد لمستخدم معين.

        assert(pizzaToOwner[id] == address(0));

        // يربط البيتزا بالمالك
        pizzaToOwner[id] = msg.sender;
        ownerPizzaCount[msg.sender] = SafeMath.add(
            ownerPizzaCount[msg.sender],
            1
        );
    }

    // ينشئ بيتزا عشوائية من سلسلة نصية (الاسم)
    function createRandomPizza(string memory _name) public {
        uint256 randDna = generateRandomDna(_name, msg.sender);
        _createPizza(_name, randDna);
    }

    // يولد حمضًا نوويًا عشوائيًا (DNA) من سلسلة نصية (الاسم) وعنوان المالك (المنشئ)
    function generateRandomDna(string memory _str, address _owner)
        public
        // الدوال المعلمة بأنها `pure` تعد بعدم القراءة من الحالة أو تعديلها
        // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#pure-functions
        pure
        returns (uint256)
    {
        // يولد عددًا صحيحًا عشوائيًا غير مُشار إليه من سلسلة نصية (الاسم) + عنوان (المالك)
        uint256 rand = uint256(keccak256(abi.encodePacked(_str))) +
            uint256(_owner);
        rand = rand % dnaModulus;
        return rand;
    }

    // يعيد مصفوفة من البيتزا التي تم العثور عليها حسب المالك
    function getPizzasByOwner(address _owner)
        public
        // الدوال المعلمة بأنها `view` تعد بعدم تعديل الحالة
        // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#view-functions
        view
        returns (uint256[] memory)
    {
        // يستخدم موقع التخزين `memory` لتخزين القيم فقط لـ
        // دورة حياة استدعاء هذه الدالة.
        // اعرف المزيد: https://solidity.readthedocs.io/en/v0.5.10/introduction-to-smart-contracts.html#storage-memory-and-the-stack
        uint256[] memory result = new uint256[](ownerPizzaCount[_owner]);
        uint256 counter = 0;
        for (uint256 i = 0; i < pizzas.length; i++) {
            if (pizzaToOwner[i] == _owner) {
                result[counter] = i;
                counter++;
            }
        }
        return result;
    }

    // ينقل البيتزا والملكية إلى عنوان آخر
    function transferFrom(address _from, address _to, uint256 _pizzaId) public {
        require(_from != address(0) && _to != address(0), "عنوان غير صالح.");
        require(_exists(_pizzaId), "البيتزا غير موجودة.");
        require(_from != _to, "لا يمكن النقل إلى نفس العنوان.");
        require(_isApprovedOrOwner(msg.sender, _pizzaId), "العنوان غير معتمد.");

        ownerPizzaCount[_to] = SafeMath.add(ownerPizzaCount[_to], 1);
        ownerPizzaCount[_from] = SafeMath.sub(ownerPizzaCount[_from], 1);
        pizzaToOwner[_pizzaId] = _to;

        // يُصدر الحدث المحدد في عقد IERC721 المستورد
        emit Transfer(_from, _to, _pizzaId);
        _clearApproval(_to, _pizzaId);
    }

    /**
     * ينقل بأمان ملكية معرف رمز معين إلى عنوان آخر
     * إذا كان العنوان المستهدف عقدًا، فيجب عليه تنفيذ `onERC721Received`،
     * والذي يتم استدعاؤه عند النقل الآمن، وإرجاع القيمة السحرية
     * `bytes4(keccak256(\"onERC721Received(address,address,uint256,bytes)\"))`؛
     * وإلا، يتم التراجع عن النقل.
    */
    function safeTransferFrom(address from, address to, uint256 pizzaId)
        public
    {
        // solium-disable-next-line arg-overflow
        this.safeTransferFrom(from, to, pizzaId, "");
    }

    /**
     * ينقل بأمان ملكية معرف رمز معين إلى عنوان آخر
     * إذا كان العنوان المستهدف عقدًا، فيجب عليه تنفيذ `onERC721Received`،
     * والذي يتم استدعاؤه عند النقل الآمن، وإرجاع القيمة السحرية
     * `bytes4(keccak256(\"onERC721Received(address,address,uint256,bytes)\"))`؛
     * وإلا، يتم التراجع عن النقل.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 pizzaId,
        bytes memory _data
    ) public {
        this.transferFrom(from, to, pizzaId);
        require(_checkOnERC721Received(from, to, pizzaId, _data), "يجب تنفيذ onERC721Received.");
    }

    /**
     * دالة داخلية لاستدعاء `onERC721Received` على عنوان مستهدف
     * لا يتم تنفيذ الاستدعاء إذا لم يكن العنوان المستهدف عقدًا
     */
    function _checkOnERC721Received(
        address from,
        address to,
        uint256 pizzaId,
        bytes memory _data
    ) internal returns (bool) {
        if (!isContract(to)) {
            return true;
        }

        bytes4 retval = IERC721Receiver(to).onERC721Received(
            msg.sender,
            from,
            pizzaId,
            _data
        );
        return (retval == _ERC721_RECEIVED);
    }

    // حرق بيتزا - يدمر الرمز بالكامل
    // مُعدِّل الدالة `external` يعني أن هذه الدالة
    // جزء من واجهة العقد ويمكن للعقود الأخرى استدعاؤها
    function burn(uint256 _pizzaId) external {
        require(msg.sender != address(0), "عنوان غير صالح.");
        require(_exists(_pizzaId), "البيتزا غير موجودة.");
        require(_isApprovedOrOwner(msg.sender, _pizzaId), "العنوان غير معتمد.");

        ownerPizzaCount[msg.sender] = SafeMath.sub(
            ownerPizzaCount[msg.sender],
            1
        );
        pizzaToOwner[_pizzaId] = address(0);
    }

    // يعيد عدد البيتزا حسب العنوان
    function balanceOf(address _owner) public view returns (uint256 _balance) {
        return ownerPizzaCount[_owner];
    }

    // يعيد مالك البيتزا الذي تم العثور عليه بالمعرف
    function ownerOf(uint256 _pizzaId) public view returns (address _owner) {
        address owner = pizzaToOwner[_pizzaId];
        require(owner != address(0), "معرف بيتزا غير صالح.");
        return owner;
    }

    // يوافق لعنوان آخر على نقل ملكية البيتزا
    function approve(address _to, uint256 _pizzaId) public {
        require(msg.sender == pizzaToOwner[_pizzaId], "يجب أن يكون مالك البيتزا.");
        pizzaApprovals[_pizzaId] = _to;
        emit Approval(msg.sender, _to, _pizzaId);
    }

    // يعيد العنوان المعتمد لبيتزا معينة
    function getApproved(uint256 _pizzaId)
        public
        view
        returns (address operator)
    {
        require(_exists(_pizzaId), "البيتزا غير موجودة.");
        return pizzaApprovals[_pizzaId];
    }

    /**
     * دالة خاصة لمسح الموافقة الحالية لمعرف رمز معين
     * يتم التراجع إذا لم يكن العنوان المحدد هو مالك الرمز بالفعل
     */
    function _clearApproval(address owner, uint256 _pizzaId) private {
        require(pizzaToOwner[_pizzaId] == owner, "يجب أن يكون مالك البيتزا.");
        require(_exists(_pizzaId), "البيتزا غير موجودة.");
        if (pizzaApprovals[_pizzaId] != address(0)) {
            pizzaApprovals[_pizzaId] = address(0);
        }
    }

    /*
     * يضبط أو يلغي ضبط موافقة مشغل معين
     * يُسمح للمشغل بنقل جميع رموز المرسل نيابة عنهم
     */
    function setApprovalForAll(address to, bool approved) public {
        require(to != msg.sender, "لا يمكن الموافقة على العنوان الخاص بك");
        operatorApprovals[msg.sender][to] = approved;
        emit ApprovalForAll(msg.sender, to, approved);
    }

    // يوضح ما إذا كان المشغل معتمدًا من قبل مالك معين
    function isApprovedForAll(address owner, address operator)
        public
        view
        returns (bool)
    {
        return operatorApprovals[owner][operator];
    }

    // يستحوذ على ملكية البيتزا - للمستخدمين المعتمدين فقط
    function takeOwnership(uint256 _pizzaId) public {
        require(_isApprovedOrOwner(msg.sender, _pizzaId), "العنوان غير معتمد.");
        address owner = this.ownerOf(_pizzaId);
        this.transferFrom(owner, msg.sender, _pizzaId);
    }

    // يتحقق مما إذا كانت البيتزا موجودة
    function _exists(uint256 pizzaId) internal view returns (bool) {
        address owner = pizzaToOwner[pizzaId];
        return owner != address(0);
    }

    // يتحقق مما إذا كان العنوان مالكًا أو معتمدًا لنقل البيتزا
    function _isApprovedOrOwner(address spender, uint256 pizzaId)
        internal
        view
        returns (bool)
    {
        address owner = pizzaToOwner[pizzaId];
        // Disable solium check because of
        // https://github.com/duaraghav8/Solium/issues/175
        // solium-disable-next-line operator-whitespace
        return (spender == owner ||
            this.getApproved(pizzaId) == spender ||
            this.isApprovedForAll(owner, spender));
    }

    // تحقق مما إذا كانت البيتزا فريدة وغير موجودة بعد
    modifier isUnique(string memory _name, uint256 _dna) {
        bool result = true;
        for (uint256 i = 0; i < pizzas.length; i++) {
            if (
                keccak256(abi.encodePacked(pizzas[i].name)) ==
                keccak256(abi.encodePacked(_name)) &&
                pizzas[i].dna == _dna
            ) {
                result = false;
            }
        }
        require(result, "توجد بالفعل بيتزا بهذا الاسم.");
        _;
    }

    // يُرجع ما إذا كان العنوان المستهدف عقدًا
    function isContract(address account) internal view returns (bool) {
        uint256 size;
        // حاليًا لا توجد طريقة أفضل للتحقق مما إذا كان هناك عقد في عنوان ما
        // من التحقق من حجم النص البرمجي في ذلك العنوان.
        // انظر https://ethereum.stackexchange.com/a/14016/36603
        // لمزيد من التفاصيل حول كيفية عمل هذا.
        // TODO تحقق من هذا مرة أخرى قبل إصدار Serenity، لأن جميع العناوين ستكون
        // عقودًا في ذلك الحين.
        // solium-disable-next-line security/no-inline-assembly
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }
}