Renamed io-hotmoka-toolsinto io-hotmoka-moka

Hotmoka · Mar 29, 2024 · b3de382 · b3de382
1 parent ddf9ebb
commit b3de382
Show file tree

Hide file tree

Showing 38 changed files with 59 additions and 59 deletions.
diff --git a/io-hotmoka-tools/moka → io-hotmoka-moka/moka b/io-hotmoka-tools/moka → io-hotmoka-moka/moka
@@ -13,4 +13,4 @@ while [ -h "$SOURCE" ]; do # resolve $SOURCE until the file is no longer a symli
 done
 DIR="$( cd -P "$( dirname "$SOURCE" )" >/dev/null 2>&1 && pwd )"
 
-java --module-path $DIR/modules/explicit:$DIR/modules/automatic --class-path $DIR"/modules/unnamed/*" --module io.hotmoka.tools/io.hotmoka.tools.Moka "$@"
+java --module-path $DIR/modules/explicit:$DIR/modules/automatic --class-path $DIR"/modules/unnamed/*" --module io.hotmoka.moka/io.hotmoka.moka.Moka "$@"
diff --git a/io-hotmoka-tools/moka.bat → io-hotmoka-moka/moka.bat b/io-hotmoka-tools/moka.bat → io-hotmoka-moka/moka.bat
@@ -2,4 +2,4 @@
 set SOURCE=%~dp0
 set DIR=%SOURCE%
 
-java --module-path "%DIR%modules\explicit";"%DIR%modules\automatic" --class-path "%DIR%modules\unnamed\*" --module io.hotmoka.tools/io.hotmoka.tools.Moka %*
+java --module-path "%DIR%modules\explicit";"%DIR%modules\automatic" --class-path "%DIR%modules\unnamed\*" --module io.hotmoka.moka/io.hotmoka.moka.Moka %*
diff --git a/io-hotmoka-tools/pom.xml → io-hotmoka-moka/pom.xml b/io-hotmoka-tools/pom.xml → io-hotmoka-moka/pom.xml
@@ -2,9 +2,9 @@
   xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
   <modelVersion>4.0.0</modelVersion>
 
-  <artifactId>io-hotmoka-tools</artifactId>
+  <artifactId>io-hotmoka-moka</artifactId>
   <packaging>jar</packaging>
-  <name>io-hotmoka-tools</name>
+  <name>io-hotmoka-moka</name>
   <version>${hotmoka.version}</version>
 
   <parent>

diff --git a/.../src/main/java/io/hotmoka/tools/Moka.java → ...a/src/main/java/io/hotmoka/moka/Moka.java b/.../src/main/java/io/hotmoka/tools/Moka.java → ...a/src/main/java/io/hotmoka/moka/Moka.java
@@ -14,35 +14,35 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools;
+package io.hotmoka.moka;
 
 import java.io.IOException;
 import java.net.URL;
 import java.util.logging.LogManager;
 
-import io.hotmoka.tools.internal.moka.BindKey;
-import io.hotmoka.tools.internal.moka.BuyValidation;
-import io.hotmoka.tools.internal.moka.Call;
-import io.hotmoka.tools.internal.moka.Create;
-import io.hotmoka.tools.internal.moka.CreateAccount;
-import io.hotmoka.tools.internal.moka.CreateKey;
-import io.hotmoka.tools.internal.moka.Faucet;
-import io.hotmoka.tools.internal.moka.ImportAccount;
-import io.hotmoka.tools.internal.moka.Info;
-import io.hotmoka.tools.internal.moka.InitDisk;
-import io.hotmoka.tools.internal.moka.InitTendermint;
-import io.hotmoka.tools.internal.moka.Install;
-import io.hotmoka.tools.internal.moka.Instrument;
-import io.hotmoka.tools.internal.moka.PrintExceptionMessageHandler;
-import io.hotmoka.tools.internal.moka.ResumeTendermint;
-import io.hotmoka.tools.internal.moka.RotateKey;
-import io.hotmoka.tools.internal.moka.SellValidation;
-import io.hotmoka.tools.internal.moka.Send;
-import io.hotmoka.tools.internal.moka.ShowAccount;
-import io.hotmoka.tools.internal.moka.StartTendermint;
-import io.hotmoka.tools.internal.moka.State;
-import io.hotmoka.tools.internal.moka.Verify;
-import io.hotmoka.tools.internal.moka.Version;
+import io.hotmoka.moka.internal.BindKey;
+import io.hotmoka.moka.internal.BuyValidation;
+import io.hotmoka.moka.internal.Call;
+import io.hotmoka.moka.internal.Create;
+import io.hotmoka.moka.internal.CreateAccount;
+import io.hotmoka.moka.internal.CreateKey;
+import io.hotmoka.moka.internal.Faucet;
+import io.hotmoka.moka.internal.ImportAccount;
+import io.hotmoka.moka.internal.Info;
+import io.hotmoka.moka.internal.InitDisk;
+import io.hotmoka.moka.internal.InitTendermint;
+import io.hotmoka.moka.internal.Install;
+import io.hotmoka.moka.internal.Instrument;
+import io.hotmoka.moka.internal.PrintExceptionMessageHandler;
+import io.hotmoka.moka.internal.ResumeTendermint;
+import io.hotmoka.moka.internal.RotateKey;
+import io.hotmoka.moka.internal.SellValidation;
+import io.hotmoka.moka.internal.Send;
+import io.hotmoka.moka.internal.ShowAccount;
+import io.hotmoka.moka.internal.StartTendermint;
+import io.hotmoka.moka.internal.State;
+import io.hotmoka.moka.internal.Verify;
+import io.hotmoka.moka.internal.Version;
 import picocli.CommandLine;
 import picocli.CommandLine.Command;
 

diff --git a/.../tools/internal/moka/AbstractCommand.java → ...otmoka/moka/internal/AbstractCommand.java b/.../tools/internal/moka/AbstractCommand.java → ...otmoka/moka/internal/AbstractCommand.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.io.IOException;
 import java.math.BigInteger;

diff --git a/.../hotmoka/tools/internal/moka/BindKey.java → ...ava/io/hotmoka/moka/internal/BindKey.java b/.../hotmoka/tools/internal/moka/BindKey.java → ...ava/io/hotmoka/moka/internal/BindKey.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.nio.file.Paths;
 import java.util.Base64;

diff --git a/...ka/tools/internal/moka/BuyValidation.java → .../hotmoka/moka/internal/BuyValidation.java b/...ka/tools/internal/moka/BuyValidation.java → .../hotmoka/moka/internal/BuyValidation.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.math.BigInteger;
 import java.security.KeyPair;

diff --git a/.../io/hotmoka/tools/internal/moka/Call.java → ...n/java/io/hotmoka/moka/internal/Call.java b/.../io/hotmoka/tools/internal/moka/Call.java → ...n/java/io/hotmoka/moka/internal/Call.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.lang.annotation.Annotation;
 import java.lang.reflect.Executable;

diff --git a/...tools/internal/moka/CommandException.java → ...tmoka/moka/internal/CommandException.java b/...tools/internal/moka/CommandException.java → ...tmoka/moka/internal/CommandException.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.util.Objects;
 

diff --git a/...o/hotmoka/tools/internal/moka/Create.java → ...java/io/hotmoka/moka/internal/Create.java b/...o/hotmoka/tools/internal/moka/Create.java → ...java/io/hotmoka/moka/internal/Create.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.lang.annotation.Annotation;
 import java.lang.reflect.Constructor;

diff --git a/...ka/tools/internal/moka/CreateAccount.java → .../hotmoka/moka/internal/CreateAccount.java b/...ka/tools/internal/moka/CreateAccount.java → .../hotmoka/moka/internal/CreateAccount.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.math.BigInteger;
 import java.nio.file.Paths;

diff --git a/...otmoka/tools/internal/moka/CreateKey.java → ...a/io/hotmoka/moka/internal/CreateKey.java b/...otmoka/tools/internal/moka/CreateKey.java → ...a/io/hotmoka/moka/internal/CreateKey.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.nio.file.Paths;
 import java.security.KeyPair;

diff --git a/...o/hotmoka/tools/internal/moka/Faucet.java → ...java/io/hotmoka/moka/internal/Faucet.java b/...o/hotmoka/tools/internal/moka/Faucet.java → ...java/io/hotmoka/moka/internal/Faucet.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import static io.hotmoka.beans.StorageTypes.BIG_INTEGER;
 import static io.hotmoka.beans.StorageTypes.GAMETE;

diff --git a/...ka/tools/internal/moka/ImportAccount.java → .../hotmoka/moka/internal/ImportAccount.java b/...ka/tools/internal/moka/ImportAccount.java → .../hotmoka/moka/internal/ImportAccount.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import io.hotmoka.crypto.BIP39Dictionaries;
 import io.hotmoka.crypto.BIP39Mnemonics;

diff --git a/.../io/hotmoka/tools/internal/moka/Info.java → ...n/java/io/hotmoka/moka/internal/Info.java b/.../io/hotmoka/tools/internal/moka/Info.java → ...n/java/io/hotmoka/moka/internal/Info.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import io.hotmoka.helpers.ManifestHelpers;
 import io.hotmoka.node.remote.RemoteNodes;

diff --git a/...hotmoka/tools/internal/moka/InitDisk.java → ...va/io/hotmoka/moka/internal/InitDisk.java b/...hotmoka/tools/internal/moka/InitDisk.java → ...va/io/hotmoka/moka/internal/InitDisk.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.io.IOException;
 import java.math.BigInteger;

diff --git a/...a/tools/internal/moka/InitTendermint.java → ...hotmoka/moka/internal/InitTendermint.java b/...a/tools/internal/moka/InitTendermint.java → ...hotmoka/moka/internal/InitTendermint.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.io.File;
 import java.io.IOException;

diff --git a/.../hotmoka/tools/internal/moka/Install.java → ...ava/io/hotmoka/moka/internal/Install.java b/.../hotmoka/tools/internal/moka/Install.java → ...ava/io/hotmoka/moka/internal/Install.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.math.BigInteger;
 import java.nio.file.Files;

diff --git a/...tmoka/tools/internal/moka/Instrument.java → .../io/hotmoka/moka/internal/Instrument.java b/...tmoka/tools/internal/moka/Instrument.java → .../io/hotmoka/moka/internal/Instrument.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.io.IOException;
 import java.io.UncheckedIOException;

diff --git a/...hotmoka/tools/internal/moka/PrintAPI.java → ...va/io/hotmoka/moka/internal/PrintAPI.java b/...hotmoka/tools/internal/moka/PrintAPI.java → ...va/io/hotmoka/moka/internal/PrintAPI.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.lang.annotation.Annotation;
 import java.lang.reflect.Constructor;

diff --git a/...al/moka/PrintExceptionMessageHandler.java → ...nternal/PrintExceptionMessageHandler.java b/...al/moka/PrintExceptionMessageHandler.java → ...nternal/PrintExceptionMessageHandler.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import picocli.CommandLine;
 import picocli.CommandLine.IExecutionExceptionHandler;

diff --git a/...tools/internal/moka/ResumeTendermint.java → ...tmoka/moka/internal/ResumeTendermint.java b/...tools/internal/moka/ResumeTendermint.java → ...tmoka/moka/internal/ResumeTendermint.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.math.BigInteger;
 import java.nio.file.Path;

diff --git a/...otmoka/tools/internal/moka/RotateKey.java → ...a/io/hotmoka/moka/internal/RotateKey.java b/...otmoka/tools/internal/moka/RotateKey.java → ...a/io/hotmoka/moka/internal/RotateKey.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.math.BigInteger;
 import java.security.KeyPair;

diff --git a/...a/tools/internal/moka/SellValidation.java → ...hotmoka/moka/internal/SellValidation.java b/...a/tools/internal/moka/SellValidation.java → ...hotmoka/moka/internal/SellValidation.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.math.BigInteger;
 import java.security.KeyPair;

diff --git a/.../io/hotmoka/tools/internal/moka/Send.java → ...n/java/io/hotmoka/moka/internal/Send.java b/.../io/hotmoka/tools/internal/moka/Send.java → ...n/java/io/hotmoka/moka/internal/Send.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.math.BigInteger;
 import java.security.KeyPair;

diff --git a/...moka/tools/internal/moka/ShowAccount.java → ...io/hotmoka/moka/internal/ShowAccount.java b/...moka/tools/internal/moka/ShowAccount.java → ...io/hotmoka/moka/internal/ShowAccount.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.math.BigInteger;
 import java.security.KeyPair;

diff --git a/.../tools/internal/moka/StartTendermint.java → ...otmoka/moka/internal/StartTendermint.java b/.../tools/internal/moka/StartTendermint.java → ...otmoka/moka/internal/StartTendermint.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.io.File;
 import java.io.IOException;

diff --git a/...io/hotmoka/tools/internal/moka/State.java → .../java/io/hotmoka/moka/internal/State.java b/...io/hotmoka/tools/internal/moka/State.java → .../java/io/hotmoka/moka/internal/State.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.util.stream.Stream;
 

diff --git a/...o/hotmoka/tools/internal/moka/Verify.java → ...java/io/hotmoka/moka/internal/Verify.java b/...o/hotmoka/tools/internal/moka/Verify.java → ...java/io/hotmoka/moka/internal/Verify.java
@@ -14,7 +14,7 @@
 limitations under the License.
 */
 
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import java.io.IOException;
 import java.io.UncheckedIOException;

diff --git a/.../hotmoka/tools/internal/moka/Version.java → ...ava/io/hotmoka/moka/internal/Version.java b/.../hotmoka/tools/internal/moka/Version.java → ...ava/io/hotmoka/moka/internal/Version.java
@@ -1,4 +1,4 @@
-package io.hotmoka.tools.internal.moka;
+package io.hotmoka.moka.internal;
 
 import io.hotmoka.constants.Constants;
 import picocli.CommandLine.Command;

diff --git a/...moka-tools/src/main/java/module-info.java → ...tmoka-moka/src/main/java/module-info.java b/...moka-tools/src/main/java/module-info.java → ...tmoka-moka/src/main/java/module-info.java
@@ -14,8 +14,8 @@
 limitations under the License.
 */
 
-module io.hotmoka.tools {
-	exports io.hotmoka.tools;
+module io.hotmoka.moka {
+	exports io.hotmoka.moka;
 	requires io.hotmoka.node.tendermint;
 	requires io.hotmoka.node.disk;
 	requires io.hotmoka.node.local;
@@ -29,7 +29,7 @@
 	requires io.hotmoka.crypto;
 	requires info.picocli;
 	requires java.logging;
-	opens io.hotmoka.tools to info.picocli; // for injecting CLI options
-    opens io.hotmoka.tools.internal.moka to info.picocli; // for injecting CLI options
+	opens io.hotmoka.moka to info.picocli; // for injecting CLI options
+    opens io.hotmoka.moka.internal to info.picocli; // for injecting CLI options
     requires jdk.unsupported;
 }
diff --git a/...ols/src/main/resources/logging.properties → ...oka/src/main/resources/logging.properties b/...ols/src/main/resources/logging.properties → ...oka/src/main/resources/logging.properties
diff --git a/...int_configs/v1n0/node0/config/config.toml → ...int_configs/v1n0/node0/config/config.toml b/...int_configs/v1n0/node0/config/config.toml → ...int_configs/v1n0/node0/config/config.toml
diff --git a/...nt_configs/v1n0/node0/config/genesis.json → ...nt_configs/v1n0/node0/config/genesis.json b/...nt_configs/v1n0/node0/config/genesis.json → ...nt_configs/v1n0/node0/config/genesis.json
diff --git a/...t_configs/v1n0/node0/config/node_key.json → ...t_configs/v1n0/node0/config/node_key.json b/...t_configs/v1n0/node0/config/node_key.json → ...t_configs/v1n0/node0/config/node_key.json
diff --git a/...v1n0/node0/config/priv_validator_key.json → ...v1n0/node0/config/priv_validator_key.json b/...v1n0/node0/config/priv_validator_key.json → ...v1n0/node0/config/priv_validator_key.json
diff --git a/...v1n0/node0/data/priv_validator_state.json → ...v1n0/node0/data/priv_validator_state.json b/...v1n0/node0/data/priv_validator_state.json → ...v1n0/node0/data/priv_validator_state.json
diff --git a/pom.xml b/pom.xml
@@ -114,7 +114,7 @@ Note: submodules whose artifact must be deployed on Maven Central must activate
     <module>io-hotmoka-node-remote</module>
     <module>io-hotmoka-patricia-api</module>
     <module>io-hotmoka-patricia</module>
-    <module>io-hotmoka-tools</module>
+    <module>io-hotmoka-moka</module>
     <module>io-hotmoka-stores</module>
     <module>io-hotmoka-node-disk-api</module>
     <module>io-hotmoka-node-disk</module>