toggle menu
codyze
jvm
switch theme
search in API
coko-core
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.core
/
CallAssertion
/
CallAssertion
Call
Assertion
constructor
(
op
:
Op
,
location
:
CallLocation
?
=
null
)
(
source
)