第4行：

||&nbsp;&nbsp;&nbsp;&nbsp;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.

||&nbsp;&nbsp;&nbsp;&nbsp;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.

|}

|}

−

'''<syntaxhighlight lang="spec" line="1">

+

----

−

// Simple Auction.scs

+

'''

−

contract SimpleAuction{

+

<font color=green>// Simple Auction.scs</font><br>

−

	party group bidders{

+

<font color=blue>contract</font> SimpleAuction{<br>

−

		amount : Money

+

:<font color=blue>party</font> group bidders{<br>

−

		Bid()

+

::amount : Money<br>

−

		withdrawOverbidMoney()

+

::Bid()<br>

−

}

+

::withdrawOverbidMoney()<br>

−

+

:}

−

	party auctioneer{

+

<br>	

−

		StartBidding(reservePrice : Money, biddingTime : Date)

+

:<font color=blue>party</font> auctioneer{<br>

−

		StopBidding()

+

::StartBidding(reservePrice : Money, biddingTime : Date)<br>

−

}

+

::StopBidding()<br>

−

+

:}

−

	highestPrice : Money

+

<br>

−

	highestBidder : biddersBiddingStop

+

:highestPrice : Money<br>

−

	Time : Date

+

:highestBidder : biddersBiddingStop<br>

−

+

:Time : Date

−

	term no1 : auctioneer can StartBidding,

+

<br>

−

		when before auctioneer did StartBidding

+

:<font color=blue>term</font> no1 : auctioneer <font color=blue>can</font> StartBidding,<br>

−

		where highestPrice = reservePrice and BiddingStopTime = biddingTime + now.

+

::<font color=blue>when</font> <font color=blue>before</font> auctioneer <font color=blue>did</font> StartBidding<br>

−

+

::where highestPrice = reservePrice <font color=blue>and</font> BiddingStopTime = biddingTime + now.

−

	term no2 : bidders can Bid,

+

<br>		

−

		when after auctioneer did StartBidding and before BiddingStopTime

+

:<font color=blue>term</font> no2 : bidders <font color=blue>can</font> Bid,<br>

−

		while deposit $ value > highestPrice

+

::<font color=blue>when</font> <font color=blue>after</font> auctioneer <font color=blue>did</font> StartBidding <font color=blue>and</font> <font color=blue>before</font> BiddingStopTime<br>

−

		where highestPrice = value and highestBidder = this bidder and

+

::<font color=blue>while</font> deposit $ value > highestPrice<br>

−

			this bidder : : amount = this bidder: :0ri amount + value .

+

::where highestPrice = value <font color=blue>and</font> highestBidder = <font color=blue>this</font> bidder <font color=blue>and</font><br>

−

+

:::<font color=blue>this</font> bidder : : amount = <font color=blue>this</font> bidder: :0ri amount + value .

−

	term no3_1 : bidders can withdrawOverbidMoney,

+

<br>				

−

		when this bidder isn't highestBidder and this bidder: :amount > 0

+

:<font color=blue>term</font> no3_1 : bidders <font color=blue>can</font> <font color=blue>withdraw</font>OverbidMoney,<br>

−

		while withdraw $this bidder : :amount

+

::<font color=blue>when</font> <font color=blue>this</font> bidder isn't highestBidder <font color=blue>and</font> <font color=blue>this</font> bidder: :amount > 0<br>

−

		where this bidder : : amount = 0.

+

::<font color=blue>while</font> <font color=blue>withdraw</font> $<font color=blue>this</font> bidder : :amount<br>

−

+

::where <font color=blue>this</font> bidder : : amount = 0.

−

+

<br>		

−

	term no3_2 : bidders can withdrawOverbidMoney,

+

:<font color=blue>term</font> no3_2 : bidders <font color=blue>can</font> <font color=blue>withdraw</font>OverbidMoney,<br>

−

		when this bidder is highestBidder and this bidder : : amount > highestPrice

+

::<font color=blue>when</font> <font color=blue>this</font> bidder is highestBidder <font color=blue>and</font> <font color=blue>this</font> bidder : : amount > highestPrice<br>

−

		while withdraw $this bidder : : amount - highestPrice

+

::<font color=blue>while</font> <font color=blue>withdraw</font> $<font color=blue>this</font> bidder : : amount - highestPrice<br>

−

		where this bidder : : amount = highestPrice.

+

::where <font color=blue>this</font> bidder : : amount = highestPrice.<br>

−

+

<br>		

−

	term no4 : auctioneer can StopBidding,

+

:<font color=blue>term</font> no4 : auctioneer <font color=blue>can</font> StopBidding,<br>

−

		when after BiddingStopTime and before auctioneer did StopBidding

+

::<font color=blue>when</font> <font color=blue>after</font> BiddingStopTime <font color=blue>and</font> <font color=blue>before</font> auctioneer <font color=blue>did</font> StopBidding<br>

−

		while withdraw $highestPrice.

+

::<font color=blue>while</font> <font color=blue>withdraw</font> $highestPrice.<br>

}

}

−

</syntaxhighlight>'''

+

'''

'''<syntaxhighlight lang="spec" line="1">

'''<syntaxhighlight lang="spec" line="1">

/* auctioneerT.sol */

/* auctioneerT.sol */

ExampleofAuctionContract - 版本历史

20201027：/* Auction contract */

20201027：建立内容为“{{DISPLAYTITLE:{{FULLPAGENAME}}}} ===