lint/io.github.jmltoolkit.lint.rules/MethodBodyHasNoContract

MethodBodyHasNoContract

class MethodBodyHasNoContract : VisitorValidator(source)

Constructors

MethodBodyHasNoContract

constructor()

Functions

open fun accept(node: Node?, problemReporter: ProblemReporter?)

open fun andThen(after: BiConsumer<in Node?, in ProblemReporter?>?): BiConsumer<Node?, ProblemReporter?>?

open fun processor(): Processor?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

open fun visit(n: JmlForallClause?, arg: ProblemReporter?)

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

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

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

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

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

open fun visit(n: JmlSignalsClause?, arg: ProblemReporter?)

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

open fun visit(n: JmlSimpleExprClause?, arg: ProblemReporter?)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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