This should be used as a Ring component.
| Modifier and Type | Field and Description |
|---|---|
| private final ErrorReceiver | |
| private final Model |
| Access | Constructor and Description |
|---|---|
| public |
| Modifier and Type | Method and Description |
|---|---|
| public void | |
| private void | |
| private boolean |
| errorReceiver | back to summary |
|---|---|
| private final ErrorReceiver errorReceiver | |
| model | back to summary |
|---|---|
| private final Model model | |
| ModelChecker | back to summary |
|---|---|
| public ModelChecker() | |
| check | back to summary |
|---|---|
| public void check() | |
| check | back to summary |
|---|---|
| private void check(CClassInfo ci) | |
| checkPropertyCollision | back to summary |
|---|---|
| private boolean checkPropertyCollision(CPropertyInfo p1, CPropertyInfo p2) | |