UModel API

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 http://www.altova.com/umodel

Thu Apr 30 14:03:32 2026

Please enable JavaScript to view this site.