toggle menu
codyze
jvm
switch theme
search in API
coko-core
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.core
/
Finding
/
Kind
/
Fail
Fail
Fail
Members
Properties
name
Link copied to clipboard
val
name
:
String
ordinal
Link copied to clipboard
val
ordinal
:
Int
result
Kind
Link copied to clipboard
val
resultKind
:
ResultKind