GeneratorRegulatorProtectorWithSpecificationAsAspect

SpecificationMonitormodel <h2>DE Director</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>startTime</td><td>&nbsp;</td><td>null</td></tr><tr><td>stopTime</td><td>&nbsp;</td><td>null</td></tr><tr><td>stopWhenQueueIsEmpty</td><td>true</td><td>true</td></tr><tr><td>synchronizeToRealTime</td><td>false</td><td>false</td></tr><tr><td>enforceMicrostepSemantics</td><td>false</td><td>false</td></tr></table> <h2>RecordDisassembler3</h2>Has no parameters. <h2>RecordDisassembler2</h2>Has no parameters. <h2>RecordDisassembler</h2>Has no parameters. <h2>onOff</h2>Has no parameters. <h2>fault</h2>Has no parameters. <h2>ThrowModelError</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>message</td><td>Specification was not met.</td><td>Specification was not met.</td></tr><tr><td>throwInPostfire</td><td>false</td><td>false</td></tr></table> <h2>SpecificationMonitor</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>stateDependentCausality</td><td>false</td><td>false</td></tr><tr><td>directorClass</td><td>ptolemy.domains.modal.kernel.FSMDirector</td><td>ptolemy.domains.modal.kernel.FSMDirector</td></tr><tr><td>X</td><td>2.0</td><td>2.0</td></tr><tr><td>Y1</td><td>1.0</td><td>1.0</td></tr><tr><td>Y2</td><td>1.0</td><td>1.0</td></tr></table> <h2>contactor</h2>Has no parameters.