INVALID-TITLE - 版本历史

2021年2月26日 (五) 17:07 20201027

2021-02-26T17:07:51Z

显示更改

2021年2月26日 (五) 17:02 20201027

2021-02-26T17:02:29Z

显示更改

2021年2月26日 (五) 16:57 20201027

2021-02-26T16:57:43Z

显示更改

2021年2月26日 (五) 16:54 20201027

2021-02-26T16:54:02Z

2021年2月26日 (五) 16:51 20201027

2021-02-26T16:51:27Z

显示更改

2021年2月26日 (五) 16:33 20201027

2021-02-26T16:33:15Z

2021年2月26日 (五) 16:27 20201027

2021-02-26T16:27:38Z

显示更改

2021年2月26日 (五) 16:23 20201027

2021-02-26T16:23:53Z

2021年2月26日 (五) 16:17 20201027

2021-02-26T16:17:04Z

2021年2月26日 (五) 16:15 20201027

2021-02-26T16:15:47Z

@@ 第100行： / 第100行： @@
+		}
+}
-<br>
 Houselease.sol
 pragma solidity ^0.4.0;
@@ 第236行： / 第236行： @@
+}
-<br>
 RenterT.sol
 pragma solidity ^0.4.22;
@@ 第351行： / 第351行： @@
+}
-<br>
 TenantT.sol
 pragma solidity ^0.4.22;

@@ 第2行： / 第2行： @@
 == <div style="background:#19a8e1; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> EXAMPLE </div> ==
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> Loan contract </div> ===
-    Loan contract, refers to a contract where a lender delivers a certain amount of funds to a borrower, and the latter returns the same amount of funds within a certain period of time and pays interests to the lender. There are 6 terms in the contract that consists of two aspects: 1) the borrower shall submit a loan application stating the amount he/she wants to borrow, and 2) the lender may deposit funds into the contract account until the target of loan is reached. Before borrowing, the contract requires that the borrower must confirm the loan information and check the historical loan records, and then calculate the corresponding interests. Meanwhile, the contract asserts that the borrower pays off the loan amount before the loan date comes.
+    Loan contract, refers to a contract where a lender delivers a certain amount of funds to a borrower, and the latter returns the same amount of funds within a certain period of time and pays interests to the lender. There are 6 terms in the contract that consists of two aspects:
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> Auction contract  </div> ===
     Auction contract involves two parties: auctioneer who is an enterprise legal person engaged in auction activities, and bidders who are some citizens, legal persons or organizations to participate in bidding for auction targets. The highest bidding process is described as the following steps. The auctioneer starts the auction system after setting a reserve price and an auction end time, and waits for the auction to end; The bidders can bid anytime during the system. If the bid is greater than the current highest price, the system records it as new highest price, puts the bid into the fund pool, and returns the bid paid by the previous highest bidder; otherwise, the bidder fails and the bid is returned; After the auction time is over, the auctioneer can collect the highest bid from the fund pool.
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> House-leasing contract </div> ===
-    House-leasing contract, takes assets as the transaction subject between lessor and lessee. There are 7 terms in the contract, including two aspects: 1) the lessor can register the house after depositing the rental deposit, and 2) the lessee can keep the right to use the house during the leasing period after depositing the rent. After confirming the leased house, the contract requires that the lessee shall pay the rent, and the lessor must transfer the right to the lessee within one week. Meanwhile, the contract stipulates the pre-condition for the lessor to charge the rent paid by the lessee, and the postcondition for both parties to get their deposits back after the house inspection.
+    House-leasing contract, takes assets as the transaction subject between lessor and lessee. There are 7 terms in the contract, including two aspects:
 <syntaxhighlight lang="spec" line="1">
 HouseLease.scs
@@ 第447行： / 第451行： @@
 </syntaxhighlight>
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> Purchase contract </div> ===
-    Purchase contract, transfers the ownership of goods from a seller to a buyer through logistics company. There are 10 terms in the contract, including three parts: 1) once the goods are confirmed, the seller will sign a contract and take twice the contracting price as the delivery price, 2) the goods are sent to the buyer through logistics when the buyer purchases the goods, and 3) only when the logistics successfully delivers the goods to the buyer can the seller get back the payment. According to relevant laws, the contract requires the buyer can apply for compensation if goods do not arrive within 10 days after payment, or the seller can automatically confirm the arrival if the buyer does not confirm or apply for refund within 7 days after arrival.
+    Purchase contract, transfers the ownership of goods from a seller to a buyer through logistics company. There are 10 terms in the contract, including three parts:

@@ 第1行： / 第1行： @@
 {{DISPLAYTITLE:<span style="position: absolute; clip: rect(1px 1px 1px 1px); clip: rect(1px, 1px, 1px, 1px);">{{FULLPAGENAME}}</span>}}
 == <div style="background:#19a8e1; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> EXAMPLE </div> ==
-=== <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of Loan contract </div> ===
+=== <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> Loan contract </div> ===
     Loan contract, refers to a contract where a lender delivers a certain amount of funds to a borrower, and the latter returns the same amount of funds within a certain period of time and pays interests to the lender. There are 6 terms in the contract that consists of two aspects: 1) the borrower shall submit a loan application stating the amount he/she wants to borrow, and 2) the lender may deposit funds into the contract account until the target of loan is reached. Before borrowing, the contract requires that the borrower must confirm the loan information and check the historical loan records, and then calculate the corresponding interests. Meanwhile, the contract asserts that the borrower pays off the loan amount before the loan date comes.
-=== <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of Auction contract  </div> ===
+=== <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> Auction contract  </div> ===
     Auction contract involves two parties: auctioneer who is an enterprise legal person engaged in auction activities, and bidders who are some citizens, legal persons or organizations to participate in bidding for auction targets. The highest bidding process is described as the following steps. The auctioneer starts the auction system after setting a reserve price and an auction end time, and waits for the auction to end; The bidders can bid anytime during the system. If the bid is greater than the current highest price, the system records it as new highest price, puts the bid into the fund pool, and returns the bid paid by the previous highest bidder; otherwise, the bidder fails and the bid is returned; After the auction time is over, the auctioneer can collect the highest bid from the fund pool.
-=== <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of House-leasing contract </div> ===
+=== <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> House-leasing contract </div> ===
     House-leasing contract, takes assets as the transaction subject between lessor and lessee. There are 7 terms in the contract, including two aspects: 1) the lessor can register the house after depositing the rental deposit, and 2) the lessee can keep the right to use the house during the leasing period after depositing the rent. After confirming the leased house, the contract requires that the lessee shall pay the rent, and the lessor must transfer the right to the lessee within one week. Meanwhile, the contract stipulates the pre-condition for the lessor to charge the rent paid by the lessee, and the postcondition for both parties to get their deposits back after the house inspection.
 <syntaxhighlight lang="spec" line="1">
 contract Houselease{
 	party Renter{
@@ 第93行： / 第94行： @@
+}
 </syntaxhighlight>
-=== <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of Purchase contract </div> ===
+=== <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> Purchase contract </div> ===
     Purchase contract, transfers the ownership of goods from a seller to a buyer through logistics company. There are 10 terms in the contract, including three parts: 1) once the goods are confirmed, the seller will sign a contract and take twice the contracting price as the delivery price, 2) the goods are sent to the buyer through logistics when the buyer purchases the goods, and 3) only when the logistics successfully delivers the goods to the buyer can the seller get back the payment. According to relevant laws, the contract requires the buyer can apply for compensation if goods do not arrive within 10 days after payment, or the seller can automatically confirm the arrival if the buyer does not confirm or apply for refund within 7 days after arrival.

@@ 第3行： / 第3行： @@
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of Loan contract </div> ===
     Loan contract, refers to a contract where a lender delivers a certain amount of funds to a borrower, and the latter returns the same amount of funds within a certain period of time and pays interests to the lender. There are 6 terms in the contract that consists of two aspects: 1) the borrower shall submit a loan application stating the amount he/she wants to borrow, and 2) the lender may deposit funds into the contract account until the target of loan is reached. Before borrowing, the contract requires that the borrower must confirm the loan information and check the historical loan records, and then calculate the corresponding interests. Meanwhile, the contract asserts that the borrower pays off the loan amount before the loan date comes.
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of Auction contract  </div> ===
     Auction contract involves two parties: auctioneer who is an enterprise legal person engaged in auction activities, and bidders who are some citizens, legal persons or organizations to participate in bidding for auction targets. The highest bidding process is described as the following steps. The auctioneer starts the auction system after setting a reserve price and an auction end time, and waits for the auction to end; The bidders can bid anytime during the system. If the bid is greater than the current highest price, the system records it as new highest price, puts the bid into the fund pool, and returns the bid paid by the previous highest bidder; otherwise, the bidder fails and the bid is returned; After the auction time is over, the auctioneer can collect the highest bid from the fund pool.
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of House-leasing contract </div> ===
     House-leasing contract, takes assets as the transaction subject between lessor and lessee. There are 7 terms in the contract, including two aspects: 1) the lessor can register the house after depositing the rental deposit, and 2) the lessee can keep the right to use the house during the leasing period after depositing the rent. After confirming the leased house, the contract requires that the lessee shall pay the rent, and the lessor must transfer the right to the lessee within one week. Meanwhile, the contract stipulates the pre-condition for the lessor to charge the rent paid by the lessee, and the postcondition for both parties to get their deposits back after the house inspection.
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of Purchase contract </div> ===
     Purchase contract, transfers the ownership of goods from a seller to a buyer through logistics company. There are 10 terms in the contract, including three parts: 1) once the goods are confirmed, the seller will sign a contract and take twice the contracting price as the delivery price, 2) the goods are sent to the buyer through logistics when the buyer purchases the goods, and 3) only when the logistics successfully delivers the goods to the buyer can the seller get back the payment. According to relevant laws, the contract requires the buyer can apply for compensation if goods do not arrive within 10 days after payment, or the seller can automatically confirm the arrival if the buyer does not confirm or apply for refund within 7 days after arrival.

@@ 第2行： / 第2行： @@
 == <div style="background:#19a8e1; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> EXAMPLE </div> ==
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of Loan contract </div> ===
-  Loan contract, refers to a contract where a lender delivers a certain amount of funds to a borrower, and the latter returns the same amount of funds within a certain period of time and pays interests to the lender. There are 6 terms in the contract that consists of two aspects: 1) the borrower shall submit a loan application stating the amount he/she wants to borrow, and 2) the lender may deposit funds into the contract account until the target of loan is reached. Before borrowing, the contract requires that the borrower must confirm the loan information and check the historical loan records, and then calculate the corresponding interests. Meanwhile, the contract asserts that the borrower pays off the loan amount before the loan date comes.
+   Loan contract, refers to a contract where a lender delivers a certain amount of funds to a borrower, and the latter returns the same amount of funds within a certain period of time and pays interests to the lender. There are 6 terms in the contract that consists of two aspects: 1) the borrower shall submit a loan application stating the amount he/she wants to borrow, and 2) the lender may deposit funds into the contract account until the target of loan is reached. Before borrowing, the contract requires that the borrower must confirm the loan information and check the historical loan records, and then calculate the corresponding interests. Meanwhile, the contract asserts that the borrower pays off the loan amount before the loan date comes.
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of Auction contract  </div> ===
-  Auction contract involves two parties: auctioneer who is an enterprise legal person engaged in auction activities, and bidders who are some citizens, legal persons or organizations to participate in bidding for auction targets. The highest bidding process is described as the following steps. The auctioneer starts the auction system after setting a reserve price and an auction end time, and waits for the auction to end; The bidders can bid anytime during the system. If the bid is greater than the current highest price, the system records it as new highest price, puts the bid into the fund pool, and returns the bid paid by the previous highest bidder; otherwise, the bidder fails and the bid is returned; After the auction time is over, the auctioneer can collect the highest bid from the fund pool.
+   Auction contract involves two parties: auctioneer who is an enterprise legal person engaged in auction activities, and bidders who are some citizens, legal persons or organizations to participate in bidding for auction targets. The highest bidding process is described as the following steps. The auctioneer starts the auction system after setting a reserve price and an auction end time, and waits for the auction to end; The bidders can bid anytime during the system. If the bid is greater than the current highest price, the system records it as new highest price, puts the bid into the fund pool, and returns the bid paid by the previous highest bidder; otherwise, the bidder fails and the bid is returned; After the auction time is over, the auctioneer can collect the highest bid from the fund pool.
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of House-leasing contract </div> ===
-  House-leasing contract, takes assets as the transaction subject between lessor and lessee. There are 7 terms in the contract, including two aspects: 1) the lessor can register the house after depositing the rental deposit, and 2) the lessee can keep the right to use the house during the leasing period after depositing the rent. After confirming the leased house, the contract requires that the lessee shall pay the rent, and the lessor must transfer the right to the lessee within one week. Meanwhile, the contract stipulates the pre-condition for the lessor to charge the rent paid by the lessee, and the postcondition for both parties to get their deposits back after the house inspection.
+   House-leasing contract, takes assets as the transaction subject between lessor and lessee. There are 7 terms in the contract, including two aspects: 1) the lessor can register the house after depositing the rental deposit, and 2) the lessee can keep the right to use the house during the leasing period after depositing the rent. After confirming the leased house, the contract requires that the lessee shall pay the rent, and the lessor must transfer the right to the lessee within one week. Meanwhile, the contract stipulates the pre-condition for the lessor to charge the rent paid by the lessee, and the postcondition for both parties to get their deposits back after the house inspection.
 === <div style="background:#CC99FF; color:#FFF; padding-top: 10px; height:45px; padding-left:15px "> example of Purchase contract </div> ===
-  Purchase contract, transfers the ownership of goods from a seller to a buyer through logistics company. There are 10 terms in the contract, including three parts: 1) once the goods are confirmed, the seller will sign a contract and take twice the contracting price as the delivery price, 2) the goods are sent to the buyer through logistics when the buyer purchases the goods, and 3) only when the logistics successfully delivers the goods to the buyer can the seller get back the payment. According to relevant laws, the contract requires the buyer can apply for compensation if goods do not arrive within 10 days after payment, or the seller can automatically confirm the arrival if the buyer does not confirm or apply for refund within 7 days after arrival.
+   Purchase contract, transfers the ownership of goods from a seller to a buyer through logistics company. There are 10 terms in the contract, including three parts: 1) once the goods are confirmed, the seller will sign a contract and take twice the contracting price as the delivery price, 2) the goods are sent to the buyer through logistics when the buyer purchases the goods, and 3) only when the logistics successfully delivers the goods to the buyer can the seller get back the payment. According to relevant laws, the contract requires the buyer can apply for compensation if goods do not arrive within 10 days after payment, or the seller can automatically confirm the arrival if the buyer does not confirm or apply for refund within 7 days after arrival.