toggle menu
codyze
jvm
switch theme
search in API
coko-core
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.core.modelling
/
CallConditionComponent
Call
Condition
Component
open
class
CallConditionComponent
(
val
op
:
Op
)
:
ConditionComponent
(
source
)
A
ConditionComponent
that represents a function call
Inheritors
CallAssertion
Members
Constructors
Call
Condition
Component
Link copied to clipboard
constructor
(
op
:
Op
)
Properties
op
Link copied to clipboard
val
op
:
Op
Functions
to
String
Link copied to clipboard
open
override
fun
toString
(
)
:
String