visit

open override fun visit(n: NameExpr, arg: Any?): SExpr(source)
open override fun visit(n: ArrayAccessExpr, arg: Any?): SExpr(source)
open override fun visit(n: ArrayCreationExpr, arg: Any?): SExpr(source)
open override fun visit(n: ArrayInitializerExpr, arg: Any?): SExpr(source)
open override fun visit(n: AssignExpr, arg: Any?): SExpr(source)
open override fun visit(n: BinaryExpr, arg: Any?): SExpr(source)
open override fun visit(n: BooleanLiteralExpr, arg: Any?): SExpr(source)
open override fun visit(n: CastExpr, arg: Any?): SExpr(source)
open override fun visit(n: CharLiteralExpr, arg: Any?): SExpr(source)
open override fun visit(n: ClassExpr, arg: Any?): SExpr(source)
open override fun visit(n: DoubleLiteralExpr, arg: Any?): SExpr(source)
open override fun visit(n: EnclosedExpr, arg: Any?): SExpr(source)
open override fun visit(n: FieldAccessExpr, arg: Any?): SExpr(source)
open override fun visit(n: InstanceOfExpr, arg: Any?): SExpr(source)
open override fun visit(n: IntegerLiteralExpr, arg: Any?): SExpr(source)
open override fun visit(n: StringLiteralExpr, arg: Any?): SExpr(source)
open override fun visit(n: SuperExpr, arg: Any?): SExpr(source)
open override fun visit(n: ThisExpr, arg: Any?): SExpr(source)
open override fun visit(n: UnaryExpr, arg: Any?): SExpr(source)
open override fun visit(n: LambdaExpr, arg: Any?): SExpr(source)
open override fun visit(n: MethodReferenceExpr, arg: Any?): SExpr(source)
open override fun visit(n: TypeExpr, arg: Any?): SExpr(source)
open override fun visit(n: SwitchExpr, arg: Any?): SExpr(source)
open override fun visit(n: TextBlockLiteralExpr, arg: Any?): SExpr(source)
open override fun visit(n: RecordPatternExpr, arg: Any?): SExpr(source)
open override fun visit(n: TypePatternExpr, arg: Any?): SExpr(source)
open override fun visit(n: JmlQuantifiedExpr, arg: Any?): SExpr(source)
open override fun visit(n: JmlExpressionStmt, arg: Any?): SExpr(source)
open override fun visit(n: JmlLabelExpr, arg: Any?): SExpr(source)
open override fun visit(n: JmlLetExpr, arg: Any?): SExpr(source)
open override fun visit(n: JmlClassExprDeclaration, arg: Any?): SExpr(source)
open override fun visit(n: JmlTypeExpr, arg: Any?): SExpr(source)
open override fun visit(n: JmlMultiExprClause, arg: Any?): SExpr(source)
open override fun visit(n: MethodCallExpr, arg: Any?): SExpr(source)