stat/io.github.jmltoolkit.stat

Package-level declarations

Types

data class ExpressionCosts(val sum: Int = 1, val minus: Int = 1, val divide: Int = 1, val mult: Int = 1, val mod: Int = 1, val land: Int = 1, val lor: Int = 1, val lnot: Int = 1, val band: Int = 1, val bor: Int = 2, val bnot: Int = 1, val quantor: Int = 3, val binderCostsPerVariable: Int = 1, val nullLiteral: Int = 0, val charLiteral: Int = 0, val stringLiteral: Int = 0, val integerLiteral: Int = 0, val longLiteral: Int = 0, val name: Int = 0, val methodCall: Int = 2, val conditional: Int = 2, val cast: Int = 1, val assign: Int = 1, val let: Int = 1, val compare: Int = 1, val instanceof: Int = 1)

JmlStatisticsReporter

class JmlStatisticsReporter : VoidVisitorAdapter<Statistics>

Computes the statistics resursively for each node of interest.

LineType

enum LineType : Enum<LineType>

StatisticKey

sealed class StatisticKey<T : Any>

StatisticKeys

object StatisticKeys

StatisticOutput