stat/io.github.jmltoolkit.stat/StatisticKey

StatisticKey

sealed class StatisticKey<T : Any>(source)

Inheritors

Types

ArbitraryIntSumKey

data class ArbitraryIntSumKey(val name: String) : StatisticKey.IntSumKey

data object ASSIGNABLES : StatisticKey.IntSumKey

BODY_ACCESSIBLE

data object BODY_ACCESSIBLE : StatisticKey.IntSumKey

data object CONTRACT_BLOCK : StatisticKey.IntSumKey

CONTRACT_LAMBDA

data object CONTRACT_LAMBDA : StatisticKey.IntSumKey

data object CONTRACT_LOOP : StatisticKey.IntSumKey

CONTRACT_LOOPINV

data object CONTRACT_LOOPINV : StatisticKey.IntSumKey

CONTRACT_METHOD

data object CONTRACT_METHOD : StatisticKey.IntSumKey

CONTRACT_STATEMENT

data object CONTRACT_STATEMENT : StatisticKey.IntSumKey

data object GHOST_FIELDS : StatisticKey.IntSumKey

data object helperMethods : StatisticKey.IntSumKey

open class IntMaxKey : StatisticKey<Int>

open class IntSumKey : StatisticKey<Int>

data object INVARIANTS : StatisticKey.IntSumKey

JML_BODY_DECLARATION

data object JML_BODY_DECLARATION : StatisticKey.IntSumKey

data object JML_CLAUSE : StatisticKey.IntSumKey

data object LET : StatisticKey.IntSumKey

data object pureMethods : StatisticKey.IntSumKey

data object REQUIRES : StatisticKey.IntSumKey

SPECIFIED_METHODS

data object SPECIFIED_METHODS : StatisticKey.IntSumKey

data object TOTAL_FIELDS : StatisticKey.IntSumKey

data object TOTAL_METHODS : StatisticKey.IntSumKey

data object TOTALCLASSES : StatisticKey.IntSumKey

totalModelMethods

data object totalModelMethods : StatisticKey.IntSumKey

totalQuantifiers

data object totalQuantifiers : StatisticKey.IntSumKey

Properties

val defValue: Any

open val name: String?

Functions

abstract fun aggregate(a: Any, b: Any): Any

abstract fun inc(any: Any): Any

open override fun toString(): String?

abstract fun toString(a: Any): String