stat/io.github.jmltoolkit.stat/StatisticKeys

StatisticKeys

object StatisticKeys(source)

Properties

val keys: TreeMap<String, StatisticKey<*>>

Functions

fun behavior(keyword: Any): StatisticKey<*>

fun binder(keyword: Any): StatisticKey<*>

fun classExpr(keyword: SimpleName): StatisticKey<*>

fun classExpr(keyword: String): StatisticKey<*>

fun jmlClause(kind: JmlClauseKind): StatisticKey<*>

fun modifier(keyword: Modifier.Keyword): StatisticKey<*>

fun normalize(s: String): String

fun <T : Any> register(key: StatisticKey<T>)