cli/io.github.jmltoolkit.cli/StatCommand

StatCommand

class StatCommand : FileBasedCommand(source)

Command for computing and printing JML statistics.

Reports coverage, complexity, quality indicators, and size metrics.

Author

Alexander Weigl

Constructors

constructor()

Types

enum OutputFormat : Enum<StatCommand.OutputFormat>

Properties

val activeJmlKeys: List<String>

allowMultipleSubcommands

open val allowMultipleSubcommands: Boolean

autoCompleteEnvvar

open val autoCompleteEnvvar: String?

val commandName: String

val currentContext: Context

val disableJml: Boolean

val files: List<File>

open val helpTags: Map<String, String>

open val hiddenFromHelp: Boolean

invokeWithoutSubcommand

open val invokeWithoutSubcommand: Boolean

val messages: List<String>

printHelpOnEmptyArgs

open val printHelpOnEmptyArgs: Boolean

selectedColumns

val selectedColumns: List<String>

val textOutput: StatCommand.OutputFormat

treatUnknownOptionsAsArgs

open val treatUnknownOptionsAsArgs: Boolean

val verbose: Int

Functions

open fun aliases(): Map<String, List<String>>

open fun allHelpParams(): List<HelpFormatter.ParameterHelp>

open fun ~~commandHelp~~(context: Context): String

commandHelpEpilog

open fun ~~commandHelpEpilog~~(context: Context): String

configureContext

fun configureContext(block: Context.Builder.() -> Unit)

fun echo()

fun echo(message: Any?, trailingNewline: Boolean, err: Boolean)

echoFormattedHelp

fun echoFormattedHelp(error: CliktError?)

getFormattedHelp

fun getFormattedHelp(error: CliktError?): String?

open override fun help(context: Context): String

open fun helpEpilog(context: Context): String

fun issueMessage(message: String)

fun lint(nodes: Collection<Node>)

fun parse(files: List<File>, config: ParserConfiguration): Collection<CompilationUnit>

registerArgument

fun registerArgument(argument: Argument)

registeredArguments

fun registeredArguments(): List<Argument>

registeredOptions

fun registeredOptions(): List<Option>

registeredParameterGroups

fun registeredParameterGroups(): List<ParameterGroup>

registeredSubcommandNames

fun registeredSubcommandNames(): List<String>

registeredSubcommands

fun registeredSubcommands(): List<CoreCliktCommand>

open override fun registerOption(option: GroupableOption)

fun registerOption(option: Option)

registerOptionGroup

fun registerOptionGroup(group: ParameterGroup)

fun resetContext(parent: Context?): Context

open override fun run()

open override fun toString(): String