toggle menu
codyze
jvm
switch theme
search in API
cpg
/
de.fraunhofer.aisec.codyze.backends.cpg.coko
/
CokoCpgBackend
/
argumentOrigin
argument
Origin
open
override
fun
argumentOrigin
(
targetOp
:
KFunction
<
Op
>
,
argPos
:
Int
,
originOp
:
KFunction
<
Op
>
)
:
ArgumentEvaluator
(
source
)
Verifies that the argument at
argPos
of
targetOp
stems from a call to
originOp