toggle menu
codyze
jvm
switch theme
search in API
coko-core
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.core
/
WheneverEvaluator
/
call
call
fun
call
(
op
:
Op
,
location
:
CallLocationBuilder
.
(
)
->
CallLocation
?
=
{ null }
)
(
source
)
Specifies that
op
has to be called in the given
location
in regard to the
premise
.