A port for refinements in modal models that are themselves modal models. This port
mirrors certain changes to it in the ports of the container of the container and
in the ports of the controller and refinements of the modal model that contains it.
It is designed to work closely with RefinementPort and ModalPort, since changes to the
ports can be initiated in either class.
Edward A. Lee
$Id: ModalRefinementPort.java 70402 2014-10-23 00:52:20Z cxh $
Ptolemy II 8.0
Red (eal)
Red (liuxj)