smt/io.github.jmltoolkit.smt/JmlExpr2Smt/visit

visit

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: ThisExpr?, arg: Any?): SExpr(source)

open override fun visit(n: SuperExpr?, arg: Any?): SExpr(source)

open override fun visit(n: NameExpr, arg: Any?): SExpr(source)

open override fun visit(n: NullLiteralExpr?, 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: ConditionalExpr, arg: Any?): SExpr(source)

open override fun visit(n: DoubleLiteralExpr?, 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: LongLiteralExpr, arg: Any?): SExpr(source)

open override fun visit(n: MethodCallExpr, arg: Any?): SExpr(source)

open override fun visit(n: ObjectCreationExpr?, arg: Any?): SExpr(source)

open override fun visit(n: StringLiteralExpr, 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: 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: JmlLabelExpr, arg: Any?): SExpr(source)

open override fun visit(n: JmlLetExpr, arg: Any?): SExpr(source)

open override fun visit(n: JmlMultiCompareExpr, arg: Any?): SExpr(source)

open override fun visit(n: JmlBinaryInfixExpr, arg: Any?): SExpr(source)

open override fun visit(n: JmlTypeExpr?, arg: Any?): SExpr(source)