jmlparser-parent
Toggle table of contents
3.28.2-J8.0-K13.5-SNAPSHOT
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
jmlparser-parent
wd
/
io.github.jmltoolkit.wd
/
WDVisitorExpr
/
visit
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
)