IStateInvariant

com.change_vision.jude.api.inf.model.sequence diagram interface

com.change_vision.jude.api.inf.model. IInteractionFragment
com.change_vision.jude.api.inf.model. IStateInvariant