Module io.mokamint.plotter.cli
Package io.mokamint.plotter.cli

Class MokamintPlotter

java.lang.Object
io.hotmoka.cli.internal.AbstractToolCLI
io.hotmoka.cli.AbstractCLI
io.mokamint.plotter.cli.MokamintPlotter
public class MokamintPlotter extends io.hotmoka.cli.AbstractCLI
A command-line interface for creating Mokamint plot files. This class is meant to be run from the parent directory, after building the project, with this command-line: java --module-path modules/explicit:modules/automatic --class-path "modules/unnamed/*" --module io.mokamint.plotter.cli/io.mokamint.plotter.cli.MokamintPlotter

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    static class 
    MokamintPlotter.POMVersionProvider
    A provider of the version of this tool, taken from the property declaration into the POM file.

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    main(String[] args)
    Entry point from the shell.

    Methods inherited from class io.hotmoka.cli.internal.AbstractToolCLI

    loadLoggingConfig, main, run

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Method Details

    • main

      public static void main(String[] args)
      Entry point from the shell.
      Parameters:
      args - the command-line arguments provided to this tool