stat/io.github.jmltoolkit.stat/JmlStatisticsReporter

JmlStatisticsReporter

class JmlStatisticsReporter : VoidVisitorAdapter<Statistics> (source)

Computes the statistics resursively for each node of interest.

Author

Alexander Weigl

Constructors

JmlStatisticsReporter

constructor()

Functions

open fun visit(n: ArrayCreationLevel?, arg: Statistics?)

open fun visit(n: ImportDeclaration?, arg: Statistics?)

open fun visit(n: NodeList<*>?, arg: Statistics?)

open fun visit(n: PackageDeclaration?, arg: Statistics?)

open fun visit(n: AnnotationDeclaration?, arg: Statistics?)

open fun visit(n: AnnotationMemberDeclaration?, arg: Statistics?)

open fun visit(n: CompactConstructorDeclaration?, arg: Statistics?)

open fun visit(n: ConstructorDeclaration?, arg: Statistics?)

open fun visit(n: EnumConstantDeclaration?, arg: Statistics?)

open fun visit(n: EnumDeclaration?, arg: Statistics?)

open fun visit(n: InitializerDeclaration?, arg: Statistics?)

open fun visit(n: Parameter?, arg: Statistics?)

open fun visit(n: ReceiverParameter?, arg: Statistics?)

open fun visit(n: RecordDeclaration?, arg: Statistics?)

open fun visit(n: VariableDeclarator?, arg: Statistics?)

open fun visit(n: BlockComment?, arg: Statistics?)

open fun visit(n: LineComment?, arg: Statistics?)

open fun visit(n: MarkdownComment?, arg: Statistics?)

open fun visit(n: TraditionalJavadocComment?, arg: Statistics?)

open fun visit(n: ArrayAccessExpr?, arg: Statistics?)

open fun visit(n: ArrayCreationExpr?, arg: Statistics?)

open fun visit(n: ArrayInitializerExpr?, arg: Statistics?)

open fun visit(n: AssignExpr?, arg: Statistics?)

open fun visit(n: BinaryExpr?, arg: Statistics?)

open fun visit(n: BooleanLiteralExpr?, arg: Statistics?)

open fun visit(n: CastExpr?, arg: Statistics?)

open fun visit(n: CharLiteralExpr?, arg: Statistics?)

open fun visit(n: ClassExpr?, arg: Statistics?)

open fun visit(n: ConditionalExpr?, arg: Statistics?)

open fun visit(n: DoubleLiteralExpr?, arg: Statistics?)

open fun visit(n: EnclosedExpr?, arg: Statistics?)

open fun visit(n: FieldAccessExpr?, arg: Statistics?)

open fun visit(n: InstanceOfExpr?, arg: Statistics?)

open fun visit(n: IntegerLiteralExpr?, arg: Statistics?)

open fun visit(n: LambdaExpr?, arg: Statistics?)

open fun visit(n: LongLiteralExpr?, arg: Statistics?)

open fun visit(n: MarkerAnnotationExpr?, arg: Statistics?)

open fun visit(n: MatchAllPatternExpr?, arg: Statistics?)

open fun visit(n: MemberValuePair?, arg: Statistics?)

open fun visit(n: MethodCallExpr?, arg: Statistics?)

open fun visit(n: MethodReferenceExpr?, arg: Statistics?)

open fun visit(n: Name?, arg: Statistics?)

open fun visit(n: NameExpr?, arg: Statistics?)

open fun visit(n: NormalAnnotationExpr?, arg: Statistics?)

open fun visit(n: NullLiteralExpr?, arg: Statistics?)

open fun visit(n: ObjectCreationExpr?, arg: Statistics?)

open fun visit(n: RecordPatternExpr?, arg: Statistics?)

open fun visit(n: SimpleName?, arg: Statistics?)

open fun visit(n: SingleMemberAnnotationExpr?, arg: Statistics?)

open fun visit(n: StringLiteralExpr?, arg: Statistics?)

open fun visit(n: SuperExpr?, arg: Statistics?)

open fun visit(n: SwitchExpr?, arg: Statistics?)

open fun visit(n: TextBlockLiteralExpr?, arg: Statistics?)

open fun visit(n: ThisExpr?, arg: Statistics?)

open fun visit(n: TypeExpr?, arg: Statistics?)

open fun visit(n: TypePatternExpr?, arg: Statistics?)

open fun visit(n: UnaryExpr?, arg: Statistics?)

open fun visit(n: VariableDeclarationExpr?, arg: Statistics?)

open fun visit(n: JmlFieldDeclaration?, arg: Statistics?)

open fun visit(n: JmlRepresentsDeclaration?, arg: Statistics?)

open fun visit(n: JmlMethodSignature?, arg: Statistics?)

open fun visit(n: JmlDoc?, arg: Statistics?)

open fun visit(n: JmlDocDeclaration?, arg: Statistics?)

open fun visit(n: JmlDocStmt?, arg: Statistics?)

open fun visit(n: JmlDocType?, arg: Statistics?)

open fun visit(n: JmlBinaryInfixExpr?, arg: Statistics?)

open fun visit(n: JmlLabelExpr?, arg: Statistics?)

open fun visit(n: JmlMultiCompareExpr?, arg: Statistics?)

open fun visit(n: JmlSetComprehensionExpr?, arg: Statistics?)

open fun visit(n: JmlTypeExpr?, arg: Statistics?)

open fun visit(n: JmlBeginStmt?, arg: Statistics?)

open fun visit(n: JmlEndStmt?, arg: Statistics?)

open fun visit(n: JmlExpressionStmt?, arg: Statistics?)

open fun visit(n: JmlGhostStmt?, arg: Statistics?)

open fun visit(n: JmlLabelStmt?, arg: Statistics?)

open fun visit(n: JmlRefiningStmt?, arg: Statistics?)

open fun visit(n: JmlUnreachableStmt?, arg: Statistics?)

open fun visit(n: KeyCatchAllStmt?, arg: Statistics?)

open fun visit(n: KeyCcatchBreak?, arg: Statistics?)

open fun visit(n: KeyCcatchContinue?, arg: Statistics?)

open fun visit(n: KeyCcatchParameter?, arg: Statistics?)

open fun visit(n: KeyCcatchReturn?, arg: Statistics?)

open fun visit(n: KeyEscapeExpression?, arg: Statistics?)

open fun visit(n: KeyExecStmt?, arg: Statistics?)

open fun visit(n: KeyExecutionContext?, arg: Statistics?)

open fun visit(n: KeyLoopScopeBlockStmt?, arg: Statistics?)

open fun visit(n: KeyMarkerStatement?, arg: Statistics?)

open fun visit(n: KeyMergePointStmt?, arg: Statistics?)

open fun visit(n: KeyMethodBodyStatement?, arg: Statistics?)

open fun visit(n: KeyMethodCallStmt?, arg: Statistics?)

open fun visit(n: KeyMethodSignature?, arg: Statistics?)

open fun visit(n: KeyPassiveExpression?, arg: Statistics?)

open fun visit(n: KeyTransactionStmt?, arg: Statistics?)

open fun visit(n: KeyCcatchSV?, arg: Statistics?)

open fun visit(n: KeyContextStatementBlock?, arg: Statistics?)

open fun visit(n: KeyExecCtxtSV?, arg: Statistics?)

open fun visit(n: KeyExecutionContextSV?, arg: Statistics?)

open fun visit(n: KeyExpressionSV?, arg: Statistics?)

open fun visit(n: KeyJumpLabelSV?, arg: Statistics?)

open fun visit(n: KeyMetaConstruct?, arg: Statistics?)

open fun visit(n: KeyMetaConstructExpression?, arg: Statistics?)

open fun visit(n: KeyMetaConstructType?, arg: Statistics?)

open fun visit(n: KeyMethodSignatureSV?, arg: Statistics?)

open fun visit(n: KeyProgramVariableSV?, arg: Statistics?)

open fun visit(n: KeyStatementSV?, arg: Statistics?)

open fun visit(n: KeyTypeSV?, arg: Statistics?)

open fun visit(n: ModuleDeclaration?, arg: Statistics?)

open fun visit(n: ModuleExportsDirective?, arg: Statistics?)

open fun visit(n: ModuleOpensDirective?, arg: Statistics?)

open fun visit(n: ModuleProvidesDirective?, arg: Statistics?)

open fun visit(n: ModuleRequiresDirective?, arg: Statistics?)

open fun visit(n: ModuleUsesDirective?, arg: Statistics?)

open fun visit(n: AssertStmt?, arg: Statistics?)

open fun visit(n: BlockStmt?, arg: Statistics?)

open fun visit(n: BreakStmt?, arg: Statistics?)

open fun visit(n: CatchClause?, arg: Statistics?)

open fun visit(n: ContinueStmt?, arg: Statistics?)

open fun visit(n: DoStmt?, arg: Statistics?)

open fun visit(n: EmptyStmt?, arg: Statistics?)

open fun visit(n: ExplicitConstructorInvocationStmt?, arg: Statistics?)

open fun visit(n: ExpressionStmt?, arg: Statistics?)

open fun visit(n: ForEachStmt?, arg: Statistics?)

open fun visit(n: ForStmt?, arg: Statistics?)

open fun visit(n: IfStmt?, arg: Statistics?)

open fun visit(n: LabeledStmt?, arg: Statistics?)

open fun visit(n: LocalClassDeclarationStmt?, arg: Statistics?)

open fun visit(n: LocalRecordDeclarationStmt?, arg: Statistics?)

open fun visit(n: ReturnStmt?, arg: Statistics?)

open fun visit(n: SwitchEntry?, arg: Statistics?)

open fun visit(n: SwitchStmt?, arg: Statistics?)

open fun visit(n: SynchronizedStmt?, arg: Statistics?)

open fun visit(n: ThrowStmt?, arg: Statistics?)

open fun visit(n: TryStmt?, arg: Statistics?)

open fun visit(n: UnparsableStmt?, arg: Statistics?)

open fun visit(n: WhileStmt?, arg: Statistics?)

open fun visit(n: YieldStmt?, arg: Statistics?)

open fun visit(n: ArrayType?, arg: Statistics?)

open fun visit(n: ClassOrInterfaceType?, arg: Statistics?)

open fun visit(n: IntersectionType?, arg: Statistics?)

open fun visit(n: PrimitiveType?, arg: Statistics?)

open fun visit(n: TypeParameter?, arg: Statistics?)

open fun visit(n: UnionType?, arg: Statistics?)

open fun visit(n: UnknownType?, arg: Statistics?)

open fun visit(n: VarType?, arg: Statistics?)

open fun visit(n: VoidType?, arg: Statistics?)

open fun visit(n: WildcardType?, arg: Statistics?)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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