stat/io.github.jmltoolkit.stat/JmlStatisticsReporter/visit

visit

open override fun visit(n: CompilationUnit, arg: Statistics)(source)

open override fun visit(n: ClassOrInterfaceDeclaration, arg: Statistics)(source)

open override fun visit(n: MethodDeclaration, arg: Statistics)(source)

open override fun visit(n: FieldDeclaration, arg: Statistics)(source)

open override fun visit(n: Modifier, arg: Statistics)(source)

open override fun visit(n: JmlContract, arg: Statistics)(source)

open override fun visit(n: JmlLabeledClause, arg: Statistics)(source)

open override fun visit(n: JmlSimpleExprClause, arg: Statistics)(source)

open override fun visit(n: JmlSignalsClause, arg: Statistics)(source)

open override fun visit(n: JmlSignalsOnlyClause, arg: Statistics)(source)

open override fun visit(n: JmlCallableClause, arg: Statistics)(source)

open override fun visit(n: JmlForallClause, arg: Statistics)(source)

open override fun visit(n: JmlConditionalClause, arg: Statistics)(source)

open override fun visit(n: JmlMultiExprClause, arg: Statistics)(source)

open override fun visit(n: JmlOldClause, arg: Statistics)(source)

open override fun visit(n: JmlInfFlowClause, arg: Statistics)(source)

open override fun visit(n: JmlMethodDeclaration, arg: Statistics)(source)

open override fun visit(n: JmlClassExprDeclaration, arg: Statistics)(source)

open override fun visit(n: JmlClassAccessibleDeclaration, arg: Statistics)(source)

open override fun visit(n: JmlQuantifiedExpr, arg: Statistics)(source)

open override fun visit(n: JmlLetExpr, arg: Statistics)(source)