Altova UModel 2025 Professional Edition

UModelAPI - IUMLStateInvariant

Interface IUMLStateInvariant

diagram
hierarchy

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

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

Wed Sep 25 10:33:04 2024