cli/io.github.jmltoolkit.cli

Package-level declarations

Types

FileBasedCommand

abstract class FileBasedCommand(name: String) : CliktCommand

class J2JCommand : CliktCommand

class JmlStubCommand : CliktCommand

Command for generating and combining JML stub files.

class LintCommand : CliktCommand

class Main : CliktCommand

PrettyPrintCommand

class PrettyPrintCommand : CliktCommand

class StatCommand : FileBasedCommand

Command for computing and printing JML statistics.

class StatMain : FileBasedCommand

class WdCommand : FileBasedCommand

class XPathCommand : CliktCommand

Functions

fun main(args: Array<String>)