ExampleofLoanContract - 版本历史

20201027：/* Loan contract */

2021-09-12T07:41:56Z

Loan contract

2021年3月9日 (二) 13:48 20201027

2021-03-09T13:48:15Z

20201027：建立内容为“===
Loan contract
=== {| class="wikitable" || &nbs…”的新页面

2021-03-09T13:46:57Z

建立内容为“=== <div style=" background:#EBEBEB; padding-top: 10px; height:45px; padding-left:15px "> Loan contract </div> === {| class="wikitable" || &nbs…”的新页面

新页面

=== <div style=" background:#EBEBEB; padding-top: 10px; height:45px; padding-left:15px "> Loan contract </div> ===
{| class="wikitable"
||     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: <br>     1) the borrower shall submit a loan application stating the amount he/she wants to borrow, and <br>     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.
|}
'''<syntaxhighlight lang="spec" line="1">
// Lend Spesc.scs
contract Lend{
party User{
loan : Loan
SubmitLoanApplication(l : Loan)
confirm()
getHisLoan()
payback()
}

party Funder{
moneyFunded : Money
moneyWillGet : Money
Contribute(uid : User)
refund(uid : User)
}

term term1 : User can SubmitLoanApplication.

term term2 : Funder can Contribute
when before uid::loan::timelimit
while deposit $ value <= uid::loan::fundingGoal.

term term3 : Funder can refund
when after uid::loan::timelimit and uid::loan::amount < uid::loan::fundingGoal
while withdraw $ his::moneyFunded.

term term4 : User must confirm
when within 3 day after his::loan::timelimit and his::loan::amount = his::loan::fundingGoal.

term term5 : User can getHisLoan
when after User did confirm
while withdraw $ his::loan::amount.

term term6 : User must payback
when after User did confirm and before his::loan::tenorM
while
deposit $ his::loan::balance + his::loan::installment
transfer $ his::loan::funders::moneyWillGet to his::loan::funders.

type Loan
{
operationName : Name//use of money
beneficiary : User//Borrower
timelimit : Date//time limit of collecting money
fundingGoal : integer//the amount borrower want to borrow
amount : integer//the money collected now
balance : integer//the Capital have to pay back
numFunders : integer
interestRateM : integer// monthly
gracePeriod : integer//the period you don't have to pay the interest
tenorM : integer//monthly//you have to pay back tenorM month later
installment : integer//monthly//the interest have to pay back
funders : set Funder
}
}
</syntaxhighlight>'''
'''<syntaxhighlight lang="spec" line="1">
/* FunderT.sol */
pragma solidity >=0.4.0 <0.6.0;

contract FunderT{

uint moneyFunded;
uint moneyWillGet;

address _FunderAddress;
uint _max;

function funderT() public{
_max = now*1000;
}
function regist(address a) public {
_FunderAddress = a;
}

function getAddress() public returns (address a){
return _FunderAddress;
}

function getmoneyFunded() public returns(uint _result){
return moneyFunded;
}

function setmoneyFunded ( uint a) public{
moneyFunded = a;
}

/* function getmoneyWillGet() public returns(uint _result){
return moneyWillGet;
}

function setmoneyWillGet(uint a) public {
moneyWillGet = a;
}*/

function setmoneyWillGet(uint256 newValue) public {
moneyWillGet = newValue;
}

function getmoneyWillGet() public view returns (uint256) {
return moneyWillGet;
}
}
</syntaxhighlight>'''
'''<syntaxhighlight lang="spec" line="1">
/* Lend.sol */
pragma solidity >=0.4.0 <0.6.0;
pragma experimental ABIEncoderV2;

import "./UserT.sol";
import "./FunderT.sol";

contract Lend {

UserT User;
FunderT Funder;
uint start;

mapping (string => Loan) loan;

struct Loan{
bytes32 operationName;
address beneficiary;
uint timelimit;
uint fundingGoal;
uint amount;
uint balance;
uint numFunders;
uint interestRateM;
uint gracePeriod;
uint tenorM;
uint installment;
address funders;
}

constructor() public{
start = now;
User = new UserT();
Funder = new FunderT();
}

/* constructor() public{
start = now;
User = new UserT();
Funder = new FunderT();
}*/

modifier onlyUser{
require(User.getAddress()==msg.sender);
_;
}

modifier onlyFunder{
require(Funder.getAddress()==msg.sender);
_;
}

modifier term2Modifier(UserT uid){
// require(now < uid.loan.timelimit);
// require(msg.value <= uid.loan.fundingGoal);
_;
}

modifier term3Modifier(UserT uid){
// require(now > (uid.loan.timelimit && uid.loan.amount < uid.loan.fundingGoal));
_;
}

modifier term4Modifier{
// require((now > (User.getloan.timelimit(msg.sender) && User.getloan.amount(msg.sender) == User.getloan.fundingGoal(msg.sender))) &&(now < (User.getloan.timelimit(msg.sender) && User.getloan.amount(msg.sender) == User.getloan.fundingGoal(msg.sender))+259200));
_;
}

modifier term5Modifier{
require(now > User.confirmTime());
_;
}

modifier term6Modifier{
// require(now > (User.confirmTime() && now < User.getloan.tenorM(msg.sender)));
// require(User.getloan.balance(msg.sender) + User.getloan.installment(msg.sender));
_;
}

function SubmitLoanApplication( Loan memory l) onlyUser() public {
//USER CODE HERE
//CHECK

}

function Contribute(UserT uid) onlyFunder() term2Modifier(uid) public payable {
//USER CODE HERE
//CHECK

}

function refund(UserT uid) onlyFunder() term3Modifier(uid) public payable {
//USER CODE HERE
msg.sender.transfer(Funder.getmoneyFunded());
//CHECK

}

function confirm() onlyUser() term4Modifier() public {
//USER CODE HERE
//CHECK

}

function getHisLoan() onlyUser() term5Modifier() public payable {
//USER CODE HERE
msg.sender.transfer(User.getloan().amount);
//CHECK

}

function payback() onlyUser() term6Modifier() public payable {
//USER CODE HERE
//User.getloan().funders.transfer(msg.sender);
msg.sender.transfer(User.getloan().amount);
//CHECK

}

}
</syntaxhighlight>'''
'''<syntaxhighlight lang="spec" line="1">
/* UserT.sol */
pragma solidity >=0.4.0 <0.6.0;
pragma experimental ABIEncoderV2;

import "./Lend.sol";

contract UserT{

struct Loan{
bytes32 operationName;
address beneficiary;
uint timelimit;
uint fundingGoal;
uint amount;
uint balance;
uint numFunders;
uint interestRateM;
uint gracePeriod;
uint tenorM;
uint installment;
address funders;
}

Loan loan;
//attributes of actionconfirm
bool _isconfirmDone;
uint _confirmTime;

address _UserAddress;
uint _max;

constructor ()public{
_max = now*1000;
}

function regist(address a) public {
_UserAddress = a;
}

function getAddress() public returns (address a){
return _UserAddress;
}

function getloan() public returns(Loan memory _result) {
return loan;
}

function setloan(Loan memory a) public{
loan = a;
}

function confirmDone() public{
_confirmTime = now;
_isconfirmDone = true;
}

function confirmTime() public returns (uint result){
if(_isconfirmDone){
return _confirmTime;
}
return _max;
}

}

</syntaxhighlight>'''

←上一版本		2021年3月9日 (二) 13:48的版本
第1行：		第1行：
		+	{{DISPLAYTITLE:<span style="position: absolute; clip: rect(1px 1px 1px 1px); clip: rect(1px, 1px, 1px, 1px);">{{FULLPAGENAME}}</span>}}
	=== <div style=" background:#EBEBEB; padding-top: 10px; height:45px; padding-left:15px "> Loan contract </div> ===		=== <div style=" background:#EBEBEB; padding-top: 10px; height:45px; padding-left:15px "> Loan contract </div> ===
	{\| class="wikitable"		{\| class="wikitable"

@@ 第4行： / 第4行： @@
 ||  &nbsp;&nbsp;&nbsp;&nbsp;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: <br> &nbsp;&nbsp;&nbsp;&nbsp;1) the borrower shall submit a loan application stating the amount he/she wants to borrow, and <br> &nbsp;&nbsp;&nbsp;&nbsp;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.
 |}
-'''<syntaxhighlight lang="spec" line="1">
+----
-// Lend Spesc.scs
+'''
-contract Lend{
+<font color=green>// Lend Spesc.scs</font><br>
-	party User{
+<font color=blue>contract</font> Lend{<br>
-		loan : Loan
+:<font color=blue>party</font> User{<br>
-		SubmitLoanApplication(l : Loan)
+::loan : Loan<br>
-		confirm()
+::SubmitLoanApplication(l : Loan)<br>
-		getHisLoan()
+::confirm()<br>
-		payback()
+::getHisLoan()<br>
+::payback()<br>
+:}
-	party Funder{
+<br>
-		moneyFunded : Money
+:<font color=blue>party</font> Funder{<br>
-		moneyWillGet : Money
+::moneyFunded : Money<br>
-		Contribute(uid : User)
+::moneyWillGet : Money<br>
-		refund(uid : User)
+::Contribute(uid : User)<br>
+::refund(uid : User)<br>
+:}
-	term term1 : User can SubmitLoanApplication.
+<br>
+:<font color=blue>term</font> <font color=blue>term</font>1 : User <font color=blue>can</font> SubmitLoanApplication.<br>
-	term term2 : Funder can Contribute
+<br>
-		when before uid::loan::timelimit
+:<font color=blue>term</font> <font color=blue>term</font>2 : Funder <font color=blue>can</font> Contribute <br>
-		while deposit $ value <= uid::loan::fundingGoal.
+::<font color=blue>when</font> <font color=blue>before</font> uid::loan::timelimit<br>
+::<font color=blue>while</font> <font color=blue>deposit</font> $ value <= uid::loan::fundingGoal.
-	term term3 : Funder can refund
+<br>
-		when after uid::loan::timelimit and uid::loan::amount < uid::loan::fundingGoal
+:<font color=blue>term</font> <font color=blue>term</font>3 : Funder <font color=blue>can</font> refund <br>
-		while withdraw $ his::moneyFunded.
+::<font color=blue>when</font> <font color=blue>after</font> uid::loan::timelimit <font color=blue>and</font> uid::loan::amount < uid::loan::fundingGoal<br>
+::<font color=blue>while</font> <font color=blue>withdraw</font> $ his::moneyFunded.
-	term term4 : User must confirm
+<br>
-		when within 3 day after his::loan::timelimit and his::loan::amount = his::loan::fundingGoal.
+:<font color=blue>term</font> <font color=blue>term</font>4 : User must confirm <br>
+::<font color=blue>when</font> <font color=blue>within</font> 3 <font color=blue>day</font> <font color=blue>after</font> his::loan::timelimit <font color=blue>and</font> his::loan::amount = his::loan::fundingGoal.
-	term term5 : User can getHisLoan
+<br>
-		when after User did confirm
+:<font color=blue>term</font> <font color=blue>term</font>5 : User <font color=blue>can</font> getHisLoan <br>
-		while withdraw $ his::loan::amount.
+::<font color=blue>when</font> <font color=blue>after</font> User <font color=blue>did</font> confirm <br>
+::<font color=blue>while</font> <font color=blue>withdraw</font> $ his::loan::amount.
-	term term6 : User must payback
+<br>
-		when after User did confirm and before his::loan::tenorM
+:<font color=blue>term</font> <font color=blue>term</font>6 : User must payback <br>
-		while
+::<font color=blue>when</font> <font color=blue>after</font> User <font color=blue>did</font> confirm <font color=blue>and</font> <font color=blue>before</font> his::loan::tenorM<br>
-			deposit $ his::loan::balance + his::loan::installment
+::<font color=blue>while</font> <br>
-			transfer $ his::loan::funders::moneyWillGet to his::loan::funders.
+:::<font color=blue>deposit</font> $ his::loan::balance + his::loan::installment<br>
+:::<font color=blue>transfer</font> $ his::loan::funders::moneyWillGet <font color=blue>to</font> his::loan::funders.
-	type Loan
+<br>
+:<font color=blue>type</font> Loan<br>
-        operationName : Name//use of money
+:{<br>
-        beneficiary : User//Borrower
+::operationName : Name &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// use of money</font><br>
-        timelimit : Date//time limit of collecting money
+::beneficiary : User &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// Borrower</font><br>
-        fundingGoal : integer//the amount borrower want to borrow
+::timelimit : Date &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// time limit of collecting money</font><br>
-        amount : integer//the money collected now
+::fundingGoal : integer &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// the amount borrower want to borrow</font><br>
-        balance : integer//the Capital have to pay back
+::amount : integer &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// the money collected now</font><br>
-        numFunders : integer
+::balance : integer &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// the Capital have to pay back</font><br>
-        interestRateM : integer// monthly
+::numFunders : integer<br>
-        gracePeriod : integer//the period you don't have to pay the interest
+::interestRateM : integer &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// monthly</font><br>
-        tenorM :  integer//monthly//you have to pay back tenorM month later
+::gracePeriod : integer &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// the period you don't have to pay the interest</font><br>
-        installment : integer//monthly//the interest have to pay back
+::tenorM :  integer &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// you have to pay back tenorM month later</font><br>
-        funders : set Funder
+::installment : integer &nbsp;&nbsp;&nbsp;&nbsp;<font color=green>// the interest have to pay back</font><br>
+::funders : set Funder<br>
+:}<br>
-</syntaxhighlight>'''
+}'''
 '''<syntaxhighlight lang="spec" line="1">
 /* FunderT.sol */

ExampleofLoanContract - 版本历史

20201027：/* Loan contract */

2021年3月9日 (二) 13:48 20201027

20201027：建立内容为“=== Loan contract === {| class="wikitable" || &nbs…”的新页面

20201027：建立内容为“===
Loan contract
=== {| class="wikitable" || &nbs…”的新页面