TestCase::1_return_verdictkind The type of return parameter of the stereotyped model element shall be VerdictKind. (note this is consistent with the UML Testing Profile).

Icon class
icon_class
fas fa-quote-left
icon_class_computed
fas fa-quote-left
Source
Snippet kind
UML keywords
SysML keywords
Keywords
Full quote
1_return_verdictkind

The type of return parameter of the stereotyped model element shall be VerdictKind. (note this is consistent with the UML Testing Profile).


(self.base_Behavior->notEmpty() implies self.base_Behavior.ownedParameter->exists(p |
     p.direction=UML::ParameterDirectionKind::return and p.type = VerdictKind )) and (self.base_Operation->notEmpty() implies self.base_Operation.ownedParameter->exists(p
     | p.direction=UML::ParameterDirectionKind::return and p.type = VerdictKind ))
Next snippet
Related snippets
Related snippets (backlinks)
Related content
Visit also
Visit also (backlinks)