stat/io.github.jmltoolkit.stat/StatVisitor

StatVisitor

class StatVisitor(xmlDocument: Document, keys: List<String>, expressionCosts: ExpressionCosts) : VoidVisitorAdapter<Element> (source)

Author

Alexander Weigl

Constructors

Link copied to clipboard
constructor(xmlDocument: Document, keys: List<String>, expressionCosts: ExpressionCosts)

Types

Link copied to clipboard
object Companion
Link copied to clipboard
interface Update<R>

Functions

Link copied to clipboard
open fun visit(n: ArrayCreationLevel?, arg: Element?)
open fun visit(n: ImportDeclaration?, arg: Element?)
open fun visit(n: Modifier?, arg: Element?)
open fun visit(n: NodeList<*>?, arg: Element?)
open fun visit(n: PackageDeclaration?, arg: Element?)
open fun visit(n: CompactConstructorDeclaration?, arg: Element?)
open fun visit(n: EnumConstantDeclaration?, arg: Element?)
open fun visit(n: FieldDeclaration?, arg: Element?)
open fun visit(n: InitializerDeclaration?, arg: Element?)
open fun visit(n: Parameter?, arg: Element?)
open fun visit(n: ReceiverParameter?, arg: Element?)
open fun visit(n: RecordDeclaration?, arg: Element?)
open fun visit(n: VariableDeclarator?, arg: Element?)
open fun visit(n: BlockComment?, arg: Element?)
open fun visit(n: LineComment?, arg: Element?)
open fun visit(n: MarkdownComment?, arg: Element?)
open fun visit(n: TraditionalJavadocComment?, arg: Element?)
open fun visit(n: ArrayAccessExpr?, arg: Element?)
open fun visit(n: ArrayCreationExpr?, arg: Element?)
open fun visit(n: ArrayInitializerExpr?, arg: Element?)
open fun visit(n: AssignExpr?, arg: Element?)
open fun visit(n: BinaryExpr?, arg: Element?)
open fun visit(n: BooleanLiteralExpr?, arg: Element?)
open fun visit(n: CastExpr?, arg: Element?)
open fun visit(n: CharLiteralExpr?, arg: Element?)
open fun visit(n: ClassExpr?, arg: Element?)
open fun visit(n: ConditionalExpr?, arg: Element?)
open fun visit(n: DoubleLiteralExpr?, arg: Element?)
open fun visit(n: EnclosedExpr?, arg: Element?)
open fun visit(n: FieldAccessExpr?, arg: Element?)
open fun visit(n: InstanceOfExpr?, arg: Element?)
open fun visit(n: IntegerLiteralExpr?, arg: Element?)
open fun visit(n: LambdaExpr?, arg: Element?)
open fun visit(n: LongLiteralExpr?, arg: Element?)
open fun visit(n: MarkerAnnotationExpr?, arg: Element?)
open fun visit(n: MatchAllPatternExpr?, arg: Element?)
open fun visit(n: MemberValuePair?, arg: Element?)
open fun visit(n: MethodCallExpr?, arg: Element?)
open fun visit(n: MethodReferenceExpr?, arg: Element?)
open fun visit(n: Name?, arg: Element?)
open fun visit(n: NameExpr?, arg: Element?)
open fun visit(n: NormalAnnotationExpr?, arg: Element?)
open fun visit(n: NullLiteralExpr?, arg: Element?)
open fun visit(n: ObjectCreationExpr?, arg: Element?)
open fun visit(n: RecordPatternExpr?, arg: Element?)
open fun visit(n: SimpleName?, arg: Element?)
open fun visit(n: SingleMemberAnnotationExpr?, arg: Element?)
open fun visit(n: StringLiteralExpr?, arg: Element?)
open fun visit(n: SuperExpr?, arg: Element?)
open fun visit(n: SwitchExpr?, arg: Element?)
open fun visit(n: TextBlockLiteralExpr?, arg: Element?)
open fun visit(n: ThisExpr?, arg: Element?)
open fun visit(n: TypeExpr?, arg: Element?)
open fun visit(n: TypePatternExpr?, arg: Element?)
open fun visit(n: UnaryExpr?, arg: Element?)
open fun visit(n: VariableDeclarationExpr?, arg: Element?)
open fun visit(n: JmlClassAccessibleDeclaration?, arg: Element?)
open fun visit(n: JmlInfFlowClause?, arg: Element?)
open fun visit(n: JmlLabledClause?, arg: Element?)
open fun visit(n: JmlMethodSignature?, arg: Element?)
open fun visit(n: JmlBinaryInfixExpr?, arg: Element?)
open fun visit(n: JmlLabelExpr?, arg: Element?)
open fun visit(n: JmlLetExpr?, arg: Element?)
open fun visit(n: JmlMultiCompareExpr?, arg: Element?)
open fun visit(n: JmlQuantifiedExpr?, arg: Element?)
open fun visit(n: JmlSetComprehensionExpr?, arg: Element?)
open fun visit(n: JmlTypeExpr?, arg: Element?)
open fun visit(n: KeyCatchAllStmt?, arg: Element?)
open fun visit(n: KeyCcatchBreak?, arg: Element?)
open fun visit(n: KeyCcatchContinue?, arg: Element?)
open fun visit(n: KeyCcatchParameter?, arg: Element?)
open fun visit(n: KeyCcatchReturn?, arg: Element?)
open fun visit(n: KeyEscapeExpression?, arg: Element?)
open fun visit(n: KeyExecStmt?, arg: Element?)
open fun visit(n: KeyExecutionContext?, arg: Element?)
open fun visit(n: KeyLoopScopeBlockStmt?, arg: Element?)
open fun visit(n: KeyMarkerStatement?, arg: Element?)
open fun visit(n: KeyMergePointStmt?, arg: Element?)
open fun visit(n: KeyMethodBodyStatement?, arg: Element?)
open fun visit(n: KeyMethodCallStmt?, arg: Element?)
open fun visit(n: KeyMethodSignature?, arg: Element?)
open fun visit(n: KeyPassiveExpression?, arg: Element?)
open fun visit(n: KeyTransactionStmt?, arg: Element?)
open fun visit(n: KeyCcatchSV?, arg: Element?)
open fun visit(n: KeyContextStatementBlock?, arg: Element?)
open fun visit(n: KeyExecCtxtSV?, arg: Element?)
open fun visit(n: KeyExecutionContextSV?, arg: Element?)
open fun visit(n: KeyExpressionSV?, arg: Element?)
open fun visit(n: KeyJumpLabelSV?, arg: Element?)
open fun visit(n: KeyMetaConstruct?, arg: Element?)
open fun visit(n: KeyMetaConstructExpression?, arg: Element?)
open fun visit(n: KeyMetaConstructType?, arg: Element?)
open fun visit(n: KeyMethodSignatureSV?, arg: Element?)
open fun visit(n: KeyProgramVariableSV?, arg: Element?)
open fun visit(n: KeyStatementSV?, arg: Element?)
open fun visit(n: KeyTypeSV?, arg: Element?)
open fun visit(n: ModuleExportsDirective?, arg: Element?)
open fun visit(n: ModuleOpensDirective?, arg: Element?)
open fun visit(n: ModuleProvidesDirective?, arg: Element?)
open fun visit(n: ModuleRequiresDirective?, arg: Element?)
open fun visit(n: ModuleUsesDirective?, arg: Element?)
open fun visit(n: AssertStmt?, arg: Element?)
open fun visit(n: BlockStmt?, arg: Element?)
open fun visit(n: BreakStmt?, arg: Element?)
open fun visit(n: CatchClause?, arg: Element?)
open fun visit(n: ContinueStmt?, arg: Element?)
open fun visit(n: DoStmt?, arg: Element?)
open fun visit(n: EmptyStmt?, arg: Element?)
open fun visit(n: ExplicitConstructorInvocationStmt?, arg: Element?)
open fun visit(n: ExpressionStmt?, arg: Element?)
open fun visit(n: ForEachStmt?, arg: Element?)
open fun visit(n: ForStmt?, arg: Element?)
open fun visit(n: IfStmt?, arg: Element?)
open fun visit(n: LabeledStmt?, arg: Element?)
open fun visit(n: LocalRecordDeclarationStmt?, arg: Element?)
open fun visit(n: ReturnStmt?, arg: Element?)
open fun visit(n: SwitchEntry?, arg: Element?)
open fun visit(n: SwitchStmt?, arg: Element?)
open fun visit(n: SynchronizedStmt?, arg: Element?)
open fun visit(n: ThrowStmt?, arg: Element?)
open fun visit(n: TryStmt?, arg: Element?)
open fun visit(n: UnparsableStmt?, arg: Element?)
open fun visit(n: WhileStmt?, arg: Element?)
open fun visit(n: YieldStmt?, arg: Element?)
open fun visit(n: ArrayType?, arg: Element?)
open fun visit(n: ClassOrInterfaceType?, arg: Element?)
open fun visit(n: IntersectionType?, arg: Element?)
open fun visit(n: PrimitiveType?, arg: Element?)
open fun visit(n: TypeParameter?, arg: Element?)
open fun visit(n: UnionType?, arg: Element?)
open fun visit(n: UnknownType?, arg: Element?)
open fun visit(n: VarType?, arg: Element?)
open fun visit(n: VoidType?, arg: Element?)
open fun visit(n: WildcardType?, arg: Element?)
open override fun visit(n: CompilationUnit, arg: Element)
open override fun visit(n: AnnotationDeclaration, arg: Element)
open override fun visit(n: AnnotationMemberDeclaration, arg: Element)
open override fun visit(n: ClassOrInterfaceDeclaration, arg: Element)
open override fun visit(n: ConstructorDeclaration, arg: Element)
open override fun visit(n: EnumDeclaration, arg: Element)
open override fun visit(n: MethodDeclaration, arg: Element)
open override fun visit(n: JmlClassExprDeclaration, arg: Element)
open override fun visit(n: JmlFieldDeclaration, arg: Element)
open override fun visit(n: JmlMethodDeclaration, arg: Element)
open override fun visit(n: JmlRepresentsDeclaration, arg: Element)
open override fun visit(n: JmlCallableClause, arg: Element)
open override fun visit(n: JmlConditionalClause, arg: Element)
open override fun visit(n: JmlContract, arg: Element)
open override fun visit(n: JmlForallClause, arg: Element)
open override fun visit(n: JmlMultiExprClause, arg: Element)
open override fun visit(n: JmlOldClause, arg: Element)
open override fun visit(n: JmlSignalsClause, arg: Element)
open override fun visit(n: JmlSignalsOnlyClause, arg: Element)
open override fun visit(n: JmlSimpleExprClause, arg: Element)
open override fun visit(n: JmlDoc, arg: Element)
open override fun visit(n: JmlDocDeclaration, arg: Element)
open override fun visit(n: JmlDocStmt, arg: Element)
open override fun visit(n: JmlDocType, arg: Element)
open override fun visit(n: JmlBeginStmt, arg: Element)
open override fun visit(n: JmlEndStmt, arg: Element)
open override fun visit(n: JmlExpressionStmt, arg: Element)
open override fun visit(n: JmlGhostStmt, arg: Element)
open override fun visit(n: JmlLabelStmt, arg: Element)
open override fun visit(n: JmlRefiningStmt, arg: Element)
open override fun visit(n: JmlUnreachableStmt, arg: Element)
open override fun visit(n: ModuleDeclaration, arg: Element)
open override fun visit(n: LocalClassDeclarationStmt, arg: Element)
Generated by Dokka
© 2026 Copyright