lint/io.github.jmltoolkit.lint.rules/JmlNameClashWithJava

JmlNameClashWithJava

class JmlNameClashWithJava : LintRuleVisitor(source)

Author

Alexander Weigl

Constructors

JmlNameClashWithJava

constructor()

Types

object Companion

Functions

open override fun accept(node: Node, problemReporter: LintProblemReporter, config: JmlLintingConfig)

A validator that uses a visitor for validation. This class is the visitor too. Implement the "visit" methods you want to use for validation.

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

open fun visit(n: CompilationUnit?, arg: LintProblemReporter?)

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

open fun visit(n: Modifier?, arg: LintProblemReporter?)

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

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

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

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

open fun visit(n: ClassOrInterfaceDeclaration?, arg: LintProblemReporter?)

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

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

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

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

open fun visit(n: FieldDeclaration?, arg: LintProblemReporter?)

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

open fun visit(n: MethodDeclaration?, arg: LintProblemReporter?)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

open fun visit(n: JmlClassAccessibleDeclaration?, arg: LintProblemReporter?)

open fun visit(n: JmlClassExprDeclaration?, arg: LintProblemReporter?)

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

open fun visit(n: JmlMethodDeclaration?, arg: LintProblemReporter?)

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

open fun visit(n: JmlCallableClause?, arg: LintProblemReporter?)

open fun visit(n: JmlConditionalClause?, arg: LintProblemReporter?)

open fun visit(n: JmlContract?, arg: LintProblemReporter?)

open fun visit(n: JmlInfFlowClause?, arg: LintProblemReporter?)

open fun visit(n: JmlLabledClause?, arg: LintProblemReporter?)

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

open fun visit(n: JmlMultiExprClause?, arg: LintProblemReporter?)

open fun visit(n: JmlOldClause?, arg: LintProblemReporter?)

open fun visit(n: JmlSignalsOnlyClause?, arg: LintProblemReporter?)

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

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

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

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

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

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

open fun visit(n: JmlLetExpr?, arg: LintProblemReporter?)

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

open fun visit(n: JmlQuantifiedExpr?, arg: LintProblemReporter?)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

open override fun visit(n: JmlForallClause, arg: LintProblemReporter?)

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

open override fun visit(n: JmlSimpleExprClause, arg: LintProblemReporter?)