Fixes codespell.

This commit is contained in:
Erik Kundt 2019-09-12 19:36:37 +02:00 committed by chriseth
parent 192946c1ba
commit ad5fe2bf45
3 changed files with 10 additions and 9 deletions

View File

@ -244,14 +244,14 @@ We will use a destructuring notation for the AST nodes.
G1, L1, mode
E(G, L, FunctionDefinition) =
G, L, regular
E(G, L, <let var1, ..., varn := rhs>: VariableDeclaration) =
E(G, L, <var1, ..., varn := rhs>: Assignment)
E(G, L, <let var1, ..., varn>: VariableDeclaration) =
let L1 be a copy of L where L1[$vari] = 0 for i = 1, ..., n
E(G, L, <let var_1, ..., var_n := rhs>: VariableDeclaration) =
E(G, L, <var_1, ..., var_n := rhs>: Assignment)
E(G, L, <let var_1, ..., var_n>: VariableDeclaration) =
let L1 be a copy of L where L1[$var_i] = 0 for i = 1, ..., n
G, L1, regular
E(G, L, <var1, ..., varn := rhs>: Assignment) =
E(G, L, <var_1, ..., var_n := rhs>: Assignment) =
let G1, L1, v1, ..., vn = E(G, L, rhs)
let L2 be a copy of L1 where L2[$vari] = vi for i = 1, ..., n
let L2 be a copy of L1 where L2[$var_i] = vi for i = 1, ..., n
G, L2, regular
E(G, L, <for { i1, ..., in } condition post body>: ForLoop) =
if n >= 1:

View File

@ -9,3 +9,4 @@ ba
fo
compilability
errorstring
hist

View File

@ -149,7 +149,7 @@ contract provider is module, safeMath, announcementTypes {
}
function getUserDetails(address payable addr, uint256 schellingRound) public view returns (address ProviderAddress, uint256 ProviderHeight, uint256 ConnectedOn, uint256 value) {
/*
Collecting the datas of the client.
Collecting the data of the client.
@addr Address of the client.
@schellingRound Number of the schelling round. If it is not defined then the current one.
@ -272,7 +272,7 @@ contract provider is module, safeMath, announcementTypes {
}
function setProviderDetails(address payable addr, string calldata website, string calldata country, string calldata info, uint8 rate, address payable admin) isReady external {
/*
Modifying the datas of the provider.
Modifying the data of the provider.
This can only be invited by the providers admin.
The emission rate is only valid for the next schelling round for this one it is not.
The admin can only be changed by the address of the provider.
@ -323,7 +323,7 @@ contract provider is module, safeMath, announcementTypes {
}
function getProviderDetails(address payable addr, uint256 height) public view returns (uint8 rate, bool isForRent, uint256 clientsCount, bool priv, bool getInterest, bool valid) {
/*
Asking for the datas of the provider.
Asking for the data of the provider.
In case the height is unknown then the system will use the last known height.
@addr Address of the provider