public class KielerJUnitTestExtendedModels extends KielerJUnitTest
This class uses models such as ptolemy/domains/modal/demo/SystemLevelType, which is not shipped with Cape Code, so these tests are in a separate file.
Constructor and Description |
---|
KielerJUnitTestExtendedModels() |
Modifier and Type | Method and Description |
---|---|
void |
runCarTracking()
Test the layout of the CarTracking model.
|
void |
runCSPDomain()
Test the layout of the CSPDomain FSM Model.
|
void |
runInterrupter()
Test the layout of the Interrupter FSM Model.
|
void |
runMonitor()
Test the layout of the Monitor FSM Model.
|
void |
runRouter()
Test the layout of the Router model.
|
_layoutModelCompareAgainstFile, _layoutTest, _redo, _sleep, _undo, closeSentinelModel, main, openSentinelModel, runModulation
public void runCarTracking() throws java.lang.Exception
java.lang.Exception
- If there is a problem reading or laying
out a model.public void runRouter() throws java.lang.Exception
java.lang.Exception
- If there is a problem reading or laying
out a model.public void runCSPDomain() throws java.lang.Exception
java.lang.Exception
- If there is a problem reading or laying
out a model.public void runInterrupter() throws java.lang.Exception
java.lang.Exception
- If there is a problem reading or laying
out a model.public void runMonitor() throws java.lang.Exception
java.lang.Exception
- If there is a problem reading or laying
out a model.