VisitorValidator

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

Inheritors

Constructors

Link copied to clipboard
constructor()

Functions

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