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

Fri Sep 26 12:29:54 2025