Altova UModel 2025 Professional Edition

Interface IUMLStateInvariant

diagram

UModelAPI_diagrams/UModelAPI_p541.png

hierarchy

UModelAPI_diagrams/UModelAPI_p542.png

 

Operation IUMLStateInvariant::Covered

parameter

name  

direction  

type  

type modifier  

multiplicity  

default  

return

return

IUMLLifeline

 

 

 

 

Operation IUMLStateInvariant::Invariant

parameter

name  

direction  

type  

type modifier  

multiplicity  

default  

return

return

IUMLConstraint

 

 

 

 

Operation IUMLStateInvariant::SetNewInvariant

parameter

name  

direction  

type  

type modifier  

multiplicity  

default  

strKind

in

string

 

 

 

return

return

IUMLConstraint

 

 

 

 

 

 

UML documentation generated by UModel UML Editor https://www.altova.com/umodel

Wed Sep 25 10:33:04 2024

© 2018-2024 Altova GmbH