Skip to content

Commit

Permalink
Updated tutorial to Hotmoka 1.6.0
Browse files Browse the repository at this point in the history
  • Loading branch information
@spoto
spoto committed Jun 2, 2024
1 parent 4b2f118 commit 1aa08ae
Show file tree
Hide file tree
Showing 2 changed files with 34 additions and 42 deletions.
2 changes: 1 addition & 1 deletion pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ Note: submodules whose artifact must be deployed on Maven Central must activate
<properties>
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<maven.compiler.release>17</maven.compiler.release>
<hotmoka.version>1.5.0</hotmoka.version>
<hotmoka.version>1.6.0</hotmoka.version>
<io.takamaka.code.version>1.3.0</io.takamaka.code.version>
<io.hotmoka.annotations.version>1.4.1</io.hotmoka.annotations.version>
<io.hotmoka.cli.version>1.2.1</io.hotmoka.cli.version>
Expand Down
74 changes: 33 additions & 41 deletions tutorial/Tutorial.source
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1486,9 +1486,7 @@ import io.hotmoka.node.TransactionRequests;
import io.hotmoka.node.api.Node;
import io.hotmoka.node.api.requests.SignedTransactionRequest;
import io.hotmoka.node.api.transactions.TransactionReference;
import io.hotmoka.node.api.values.BigIntegerValue;
import io.hotmoka.node.api.values.StorageReference;
import io.hotmoka.node.api.values.StringValue;
import io.hotmoka.node.remote.RemoteNodes;

public class Family {
Expand Down Expand Up @@ -1520,24 +1518,24 @@ public class Family {
// we get the nonce of our account: we use the account itself as caller and
// an arbitrary nonce (ZERO in the code) since we are running
// a @View method of the account
BigInteger nonce = ((BigIntegerValue) node
BigInteger nonce = node
.runInstanceMethodCallTransaction(TransactionRequests.instanceViewMethodCall
(account, // payer
BigInteger.valueOf(50_000), // gas limit
takamakaCode, // class path for the execution of the transaction
MethodSignatures.NONCE, // method
account)).get()) // receiver of the method call
.getValue();
account)).get() // receiver of the method call
.asBigInteger(__ -> new ClassCastException());

// we get the chain identifier of the network
String chainId = ((StringValue) node
String chainId = node
.runInstanceMethodCallTransaction(TransactionRequests.instanceViewMethodCall
(account, // payer
BigInteger.valueOf(50_000), // gas limit
takamakaCode, // class path for the execution of the transaction
MethodSignatures.GET_CHAIN_ID, // method
manifest)).get()) // receiver of the method call
.getValue();
manifest)).get() // receiver of the method call
.asString(__ -> new ClassCastException());

var gasHelper = GasHelpers.of(node);

Expand Down Expand Up @@ -1824,9 +1822,7 @@ import io.hotmoka.node.api.Node;
import io.hotmoka.node.api.requests.SignedTransactionRequest;
import io.hotmoka.node.api.transactions.TransactionReference;
import io.hotmoka.node.api.types.ClassType;
import io.hotmoka.node.api.values.BigIntegerValue;
import io.hotmoka.node.api.values.StorageReference;
import io.hotmoka.node.api.values.StringValue;
import io.hotmoka.node.remote.RemoteNodes;

public class Family2 {
Expand Down Expand Up @@ -1860,24 +1856,24 @@ private final static ClassType PERSON = StorageTypes.classNamed("io.takamaka.fam
// we get the nonce of our account: we use the account itself as caller and
// an arbitrary nonce (ZERO in the code) since we are running
// a @View method of the account
BigInteger nonce = ((BigIntegerValue) node
BigInteger nonce = node
.runInstanceMethodCallTransaction(TransactionRequests.instanceViewMethodCall
(account, // payer
BigInteger.valueOf(50_000), // gas limit
takamakaCode, // class path for the execution of the transaction
MethodSignatures.NONCE, // method
account)).get()) // receiver of the method call
.getValue();
account)).get() // receiver of the method call
.asBigInteger(__ -> new ClassCastException());

// we get the chain identifier of the network
String chainId = ((StringValue) node
String chainId = node
.runInstanceMethodCallTransaction(TransactionRequests.instanceViewMethodCall
(account, // payer
BigInteger.valueOf(50_000), // gas limit
takamakaCode, // class path for the execution of the transaction
MethodSignatures.GET_CHAIN_ID, // method
manifest)).get()) // receiver of the method call
.getValue();
manifest)).get() // receiver of the method call
.asString(__ -> new ClassCastException());

var gasHelper = GasHelpers.of(node);

Expand Down Expand Up @@ -2127,10 +2123,8 @@ import io.hotmoka.node.api.Node;
import io.hotmoka.node.api.requests.SignedTransactionRequest;
import io.hotmoka.node.api.transactions.TransactionReference;
import io.hotmoka.node.api.types.ClassType;
import io.hotmoka.node.api.values.BigIntegerValue;
import io.hotmoka.node.api.values.StorageReference;
import io.hotmoka.node.api.values.StorageValue;
import io.hotmoka.node.api.values.StringValue;
import io.hotmoka.node.remote.RemoteNodes;

public class Family3 {
Expand Down Expand Up @@ -2164,24 +2158,24 @@ public class Family3 {
// we get the nonce of our account: we use the account itself as caller and
// an arbitrary nonce (ZERO in the code) since we are running
// a @View method of the account
BigInteger nonce = ((BigIntegerValue) node
BigInteger nonce = node
.runInstanceMethodCallTransaction(TransactionRequests.instanceViewMethodCall
(account, // payer
BigInteger.valueOf(50_000), // gas limit
takamakaCode, // class path for the execution of the transaction
MethodSignatures.NONCE, // method
account)).get()) // receiver of the method call
.getValue();
BigInteger.valueOf(50_000), // gas limit
takamakaCode, // class path for the execution of the transaction
MethodSignatures.NONCE, // method
account)).get() // receiver of the method call
.asBigInteger(__ -> new ClassCastException());

// we get the chain identifier of the network
String chainId = ((StringValue) node
String chainId = node
.runInstanceMethodCallTransaction(TransactionRequests.instanceViewMethodCall
(account, // payer
BigInteger.valueOf(50_000), // gas limit
takamakaCode, // class path for the execution of the transaction
MethodSignatures.GET_CHAIN_ID, // method
manifest)).get()) // receiver of the method call
.getValue();
manifest)).get() // receiver of the method call
.asString(__ -> new ClassCastException());

var gasHelper = GasHelpers.of(node);

Expand Down Expand Up @@ -4820,7 +4814,6 @@ import io.hotmoka.node.api.transactions.TransactionReference;
import io.hotmoka.node.api.types.ClassType;
import io.hotmoka.node.api.values.StorageReference;
import io.hotmoka.node.api.values.StorageValue;
import io.hotmoka.node.api.values.StringValue;
import io.hotmoka.node.remote.RemoteNodes;

public class Auction {
Expand Down Expand Up @@ -4967,14 +4960,13 @@ public class Auction {

private String getChainId() throws Exception {
StorageReference manifest = node.getManifest();
return ((StringValue) node.runInstanceMethodCallTransaction
(TransactionRequests.instanceViewMethodCall
(accounts[0], // payer
BigInteger.valueOf(50_000), // gas limit
takamakaCode, // class path for the execution of the transaction
MethodSignatures.GET_CHAIN_ID, // method
manifest)).get()) // receiver of the method call
.getValue();
return node.runInstanceMethodCallTransaction(TransactionRequests.instanceViewMethodCall
(accounts[0], // payer
BigInteger.valueOf(50_000), // gas limit
takamakaCode, // class path for the execution of the transaction
MethodSignatures.GET_CHAIN_ID, // method
manifest)).get() // receiver of the method call
.asString(__ -> new ClassCastException());
}

private TransactionReference installJar() throws Exception {
Expand Down Expand Up @@ -6534,7 +6526,7 @@ public class Decorators {
.setInitialSupply(SUPPLY)
.setPublicKeyOfGamete(keys.getPublic()).build();

try (var node = DiskNodes.init(config, consensus)) {
try (var node = DiskNodes.init(config)) {
// first view: store the io-takamaka-code jar and create manifest and gamete
var initialized = InitializedNodes.of(node, consensus, takamakaCodePath);

Expand Down Expand Up @@ -6639,7 +6631,7 @@ public class Publisher {
.setInitialSupply(SUPPLY)
.build();

try (var original = TendermintNodes.init(config, consensus);
try (var original = TendermintNodes.init(config);
// uncomment the next line if you want to initialize the node
// var initialized = InitializedNodes.of(original, consensus, takamakaCodePath);
var service = NodeServices.of(original, 8001)) {
Expand Down Expand Up @@ -6763,9 +6755,8 @@ on a machine `my.validator.com` we can execute:

```java
TendermintNodeConfig config = TendermintNodeConfigBuilders.defaults().build();
ValidatorsConsensusConfig consensus = ValidatorsConsensusConfigBuilders.defaults().build();

try (Node original = TendermintNodes.init(config, consensus);
try (Node original = TendermintNodes.init(config);
NodeService service = NodeServices.of(original, 8001)) {
...
}
Expand Down Expand Up @@ -6830,7 +6821,8 @@ var consensus = ValidatorsConsensusConfigBuilders.defaults()
.setSignatureForRequests(SignatureAlgorithms.ed25519()) // this is the default
.build();

try (Node node = TendermintNodes.init(config, consensus)) {
try (Node node = TendermintNodes.init(config);
Node initialized = InitializedNodes.of(node, consensus, takamakaCodePath)) {
...
}
```
Expand Down

0 comments on commit 1aa08ae

Please sign in to comment.