toggle menu
codyze
jvm
switch theme
search in API
coko-core
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.core
/
CokoBackend
/
argumentOrigin
argument
Origin
abstract
fun
argumentOrigin
(
targetOp
:
KFunction
<
Op
>
,
argPos
:
Int
,
originOp
:
KFunction
<
Op
>
)
:
Evaluator
(
source
)
Verifies that the argument at
argPos
of
targetOp
stems from a call to
originOp