Modifier and Type | Field and Description |
---|---|
protected ResultModelView |
BasicGraphPanel.resultModelView |
Constructor and Description |
---|
BasicGraphPanel(java.lang.String appTitle,
ResultModelView resultModelView,
mxGraphComponent component) |
Modifier and Type | Method and Description |
---|---|
void |
GraphComponentMouseListener.setConformanceCheckingModelView(ResultModelView conformanceCheckingModelView) |
Constructor and Description |
---|
CCModelGraphMouseListener(ResultModelView conformanceCheckingModelView) |
Modifier and Type | Field and Description |
---|---|
protected ResultModelView |
ConformanceCheckingResultView.modelView |
Modifier and Type | Method and Description |
---|---|
ResultModelView |
ConformanceCheckingResultView.getModelView()
get the model view of the conformance checking result;
|